Higher Order Generalization

Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in applications. This paper discusses syntactic higher order generalization in a higher order language 2 1 . Based on the application ordering, we proved the least general generalization exists and is unique up to renaming. An algorithm to compute the least general generalization is presented.

• Type: Conference
• Year: 1998
• Where: JELIA
• Authors: Jianguo Lu, Masateru Harao, Masami Hagiya
• Keywords: Artificial Intelligence, General Generalization, General Generalization Exists, JELIA 1998, Order Syntactic Generalization