REPORT ON FUNCTION INDUCTION
dc.contributor.author | Pauli, David G. | eng |
dc.date.accessioned | 2008-05-20T23:27:33Z | |
dc.date.available | 2008-05-20T23:27:33Z | |
dc.date.computerscience | 1999-05-27 | eng |
dc.date.issued | 1988-06-01 | eng |
dc.description.abstract | This report outlines research work from May 1 to August 31, 1987. It describes a function induction algorithm that is part of Peter Andreae's robot procedure learning system NODDY. The report also describes a C-Prolog implementation of this algorithm. Two other systems that induce functions are BACON and COPER. Both are discovery systems that determine empirical laws from observational data. In addition to these systems, a general approach to symbolic function induction is discussed. This work was motivated by a desire to investigate the ramifications of using a non-functional language such as Prolog to do function inductions. The discussion focuses on the representation of knowledge-in particular on the representation of inverse operators and the induced expression-and the strength of argument typing. | eng |
dc.description.notes | We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca | eng |
dc.identifier.department | 1988-308-20 | eng |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/31353 | |
dc.identifier.uri | http://hdl.handle.net/1880/46503 | |
dc.language.iso | Eng | eng |
dc.publisher.corporate | University of Calgary | eng |
dc.publisher.faculty | Science | eng |
dc.subject | Computer Science | eng |
dc.title | REPORT ON FUNCTION INDUCTION | eng |
dc.type | unknown | |
thesis.degree.discipline | Computer Science | eng |