A language for describing concepts as programs
A learning program produces, as its output, a boolean function which describes a concept. The function returns true if and only if the argument is an object which satisfies the logical expression in the body of the function. The learning program's input is a set of objects which are instances of the concept to be learnt. A compiler/interpreter has been written which performs the reverse of the learning process. The concept description is regarded as a program which defines the set of objects which satisfy the given conditions. The interpreter takes as its input, a predicate and produces as its output, an object which belongs to the set.
KeywordsBoolean Function Function Return Learning Program Predicate Logic Logical Expression
- COHEN, B.L. (1978): "A Theory of Structural Concept Formation and Pattern Recognition". Ph.D. Thesis, Dept. of Computer Science, University of N.S.W.Google Scholar
- KOWALSKI, R.A. (1974): "Predicate Logic as a Programming Language". 1974 IFIP Congress.Google Scholar
- RULIFSON J.F., DERKSEN J.A., WALDINGER R.L. (1972): "QA4: A Procedural Calculus for Intuitive Reasoning". S.R.I. Artificial Intelligence Center, Technical Note 73. (Note: QLISP was originally known as QA4).Google Scholar