A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 structuresdblp:conf/ijcai/Zadrozny87 fatcat:qp6eljfgizcvna3i5adls6uamq