Intended Models, Circumscription and Commonsense Reasoning

Wlodek Zadrozny
1987 International Joint Conference on Artificial Intelligence  
We describe a new method of formalizing commonsense reasoning : Instead of minimizing extensions of predicates we formalize common sense as "truth in intended models", and we give a mathematical formulation of the proposed method by defining a class of intended models based on preferences in interpretations. We propose to use problem independent natural language constraints to exclude interpretations that contradict common sense. For this reason we augment the usual, two-part formal structures
more » ... onsisting of a metalevel and an object level, with a third level -a referential level. We show that such a model is an adequate tool for generating intended interpretations, and also for problems that cannot be satisfactorily solved by circumscription.
dblp:conf/ijcai/Zadrozny87 fatcat:qp6eljfgizcvna3i5adls6uamq