A general scheme for formalizing defaults using the predicateab(I, S)
- 15 Downloads
In common sense reasoning two typical types of defaults are encountered. One is of the form “All birds can fly exceptb 1,b 2,…, andb m (m≥1)”, and the other “All birds can fly, but there exist exceptions”. The first type of defaults is readily formalized but the other, as some researchers have noticed, is difficult to deal with. This paper establishes a general scheme for formalizing defaults of the two types, the key to which is the introduction of a two-argument predicateab(I, S) to represent exceptional object.
Keywordscommon sense reasoning default formalization
Unable to display preview. Download preview PDF.
- Lifschitz V. Pointwise circumscription. InProc. AAAI-86, Philadelphia, PA, 1986, pp.406–410.Google Scholar
- Moore R. Semantic considerations on nonmonotonic logic.Artificial Intelligence, 1986, 25: 79–94.Google Scholar
- Poole D. What the lottery paradox tells us about nonmonotonic reasoning. InProc. the 1st International Conference on Knowledge Representation and Reasoning, Toronto, Ontario, 1989, pp.333–340.Google Scholar