Learning in Order to Reason: The Approach

Any theory aimed at understanding commonsense reasoning, the process that humans use to cope with the mundane but complex aspects of the world in evaluating everyday situations, should account for its flexibility, its adaptability, and the speed with which it is performed. Current theories of reasoning, however, do not satisfy these requirements, a fact we attribute, at least partly, to their separation from learning.

[1]  Dan Roth,et al.  Learning to reason , 1994, JACM.

[2]  Nader H. Bshouty Exact Learning Boolean Function via the Monotone Theory , 1995, Inf. Comput..

[3]  Dan Roth,et al.  Learning Active Classifiers , 1996, ICML.

[4]  Bart Selman,et al.  Knowledge compilation and theory approximation , 1996, JACM.

[5]  John McCarthy,et al.  Programs with common sense , 1960 .

[6]  Bart Selman,et al.  Knowledge Compilation using Horn Approximations , 1991, AAAI.

[7]  Dan Roth,et al.  Applying Winnow to Context-Sensitive Spelling Correction , 1996, ICML.

[8]  Michael Frazier,et al.  Learning From Entailment: An Application to Propositional Horn Sentences , 1993, ICML.

[9]  Nils J. Nilsson,et al.  Logic and Artificial Intelligence , 1991, Artif. Intell..

[10]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[11]  Eric B. Baum,et al.  Toward a Model of Mind as a Laissez-Faire Economy of Idiots , 1996, ICML.

[12]  Lokendra Shastri,et al.  A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition , 1993, IJCAI.

[13]  Dan Roth,et al.  Reasoning with Models , 1994, Artif. Intell..

[14]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[15]  Nader H. Bshouty,et al.  Exact learning via the Monotone theory , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[16]  Marco Cadoli Tractable Reasoning in Artificial Intelligence , 1995, Lecture Notes in Computer Science.

[17]  David Kirsh,et al.  Foundations of AI: The Big Issues , 1991, Artif. Intell..

[18]  Dan Roth,et al.  Learning to Reason: The Non-Monotonic Case , 1995, IJCAI.

[19]  Moses Moshe TennenholtzFaculty Oo-line Reasoning for On-line Eeciency: Knowledge Bases , 1996 .

[20]  Dan Roth,et al.  Default-Reasoning with Models , 1995, IJCAI.

[21]  Moshe Tennenholtz,et al.  Off-line Reasoning for On-line Efficiency , 1993, IJCAI.

[22]  Dan Roth,et al.  On the Hardness of Approximate Reasoning , 1993, IJCAI.

[23]  C.H. Papadimitriou,et al.  On selecting a satisfying truth assignment , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[24]  Leslie G. Valiant,et al.  Circuits of the mind , 1994 .

[25]  B. Selman Tractable default reasoning , 1991 .