|
Besnard, Philippe and Moinard, Yves
Implication connectives for logic with right weakening
, IPMU'94 (Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems), in Advances in Intelligent Computing, selected papers of IPMU'94, LNCS No 945
, Springer-Verlag
, Paris, July 1994
, 360--369
, 1995
|
|
Abstract
We study non-monotonic inference relations, focusing on the properties of the underlying monotonic consequence relation. This sheds new light on the general properties that may or may not be satisfied by a non-monotonic relation. We let the underlying consequence relation to be any monotonic logic, indicating under what precise conditions it gives rise to a non-monotonic inference relation that obeys major principles such as right weakening and the rule of detachment. We begin to explore the border line that non-monotonic relations cannot cross if they are to enjoy these properties. This work may be considered either as a constructive opposition, or as a complement, to the previous work about the general properties of non-monotonic inference relations.
|
|