IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Mon, 22 May 2017 17:21:34

Doherty, P. and Lukaszewicz, W. (1992). FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. Technical Report LiTH-IDA-R-92-20, Department of Computer and Information Science, Linköping University, Sweden. This is an extended version of a paper published in the Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 92), Vienna, Austria, Aug 3-7, 1992. (bibtex),

Abstract: In this article, we present FONML3, a first-order version of NML3, a propositional non-monotonic logic with explicit defaults, characterized by the the following features: (1) The use of the strong Kleene three-valued logic as a basis. (2) The addition of an explicit default operator which permits distinguishing {\em tentative} conclusions from ordinary conclusions in the object language. (3) The use of preferential entailment to generate non-monotonic behavior. We also show that FONML3, besides having a number of attractive formal properties such as a cumulative consequence relation, also avoids a number of counter-intuitive limitations associated with existing non-monotonic formalisms which are due to the tight coupling between the minimization of abnormalities and the maximization of normalities. The tight coupling leads to a number of paradoxes which are absent in FONML3.

Goto (at Linköping University): CS Dept TR Overview