Non-Monotonic Systems: A Framework for Analyzing Semantics and StructuralProperties of Non-Monotonic Reasoning

摘要

Non-monotonic systems are introduced as a framework for analyzing non-monotonicreasoning. Such systems are defined as parametrized inference operators in a way that is compatible with Tarski's characterization of classical reasoning. The generality of the framework is demonstrated by presenting non-monotonic systems for the leading non-monotonic logics such as circumscription, default logic and autoepistemic logic. Various translations between non-monotonic logics are studied within the framework. Non-monotonic systems associated with the non-monotonic logics under consideration are shown to be preserved by these