@techreport{R-92-20,
PSURL = {/publications/cgi-bin/tr-fetch.pl?r-92-20+ps},
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-92-20+abstr},
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.
},
TITLE = {FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults},
AUTHOR = {Patrick Doherty and Witold Lukaszewicz},
EMAIL = {patdo@ida.liu.se},
YEAR = {1992},
NUMBER = {R-92-20},
INSTITUTION = ida,
ADDRESS = idaaddr,
IDANR = {LiTH-IDA-R-92-20},
NOTE = {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}