Learning Modal Theories

This paper discusses how to learn theories that are modal, concentrating on the issue of how modal hypotheses are formed. Illustrations are given to show the usefulness of the ideas for agent applications.

[1]  Neil D. Lawrence,et al.  Missing Data in Kernel PCA , 2006, ECML.

[2]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[3]  Claude Sammut,et al.  Learning Concepts by Performing Experiments , 1981 .

[4]  J. W. Lloyd.  Logic and Learning , 2003 .

[5]  Kee Siong Ng,et al.  (Agnostic) PAC Learning Concepts in Higher-Order Logic , 2006, ECML.

[6]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[7]  Liviu Badea,et al.  A Refinement Operator for Description Logics , 2000, ILP.

[8]  John W. Lloyd,et al.  An Architecture for Rational Agents , 2005, DALT.

[9]  Luc De Raedt,et al.  Logical Settings for Concept-Learning , 1997, Artif. Intell..

[10]  Claude Sammut,et al.  Machine Learning, Proceedings of the Nineteenth International Conference (ICML 2002), University of New South Wales, Sydney, Australia, July 8-12, 2002 , 2002 .

[11]  L. D. Raedt.  Interactive theory revision: an inductive logic programming approach , 1992 .

[12]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[13]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[14]  J. W. Lloyd,et al.  Logic for Learning , 2003, Cognitive Technologies.

[15]  John W. Lloyd,et al.  Personalisation for user agents , 2005, AAMAS '05.

[16]  R. Rivest.  Learning Decision Lists , 1987, Machine Learning.

[17]  Jörg-Uwe Kietz,et al.  Learnability of Description Logic Programs , 2002, ILP.