CONTENTS
CONTENTS
CONTENTS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
KNOWLEDGE ENGINEERING: PRINCIPLES AND TECHNIQUES<br />
Proceedings of the International Conference on Knowledge Engineering,<br />
Principles and Techniques, KEPT2009<br />
Cluj-Napoca (Romania), July 2–4, 2009, pp. 231–234<br />
SKEPTICAL REASONING IN CONSTRAINED DEFAULT LOGIC<br />
USING SEQUENT CALCULUS<br />
MIHAIELA LUPEA (1)<br />
Abstract. Constrained default logic is a version of Reiter’s classical default logic<br />
satisfying desirable formal properties as supraclassicality, semi-monotonicity, commitment<br />
to assumptions. In this paper we propose an axiomatic system called<br />
skeptical constrained default sequent calculus, based on sequent and anti-sequent<br />
calculi from classical logics. This system is used to formalize and study from<br />
theoretical point of view the skeptical nonmonotonic reasoning process modelled<br />
by constrained default logic.<br />
1. Introduction<br />
Constrained default logic [7], as a version of Reiter’s default logic [6], models the<br />
nonmonotonic reasoning using special inference rules called defaults, to overcome the<br />
lack of information.<br />
The defaults extend a given set of facts obtaining one or more sets called extensions<br />
which contain the nonmonotonic consequences(beliefs). The extensions represent<br />
possible belief sets of an agent reasoning about the initial theory. A credulous<br />
reasoning perspective means that an agents’ beliefs belong to at least one extension.<br />
Skeptical consequences are more robust beliefs because they belong to all extensions of<br />
a theory. In the papers [2, 8] the properties of the nonmonotonic credulous/skeptical<br />
inference relations in default logics are studied.<br />
Theoretical studies in the direction of the axiomatization of the credulous/ skeptical<br />
nonmonotonic inference process modelled by different versions of default logic<br />
are presented in the papers [1, 3, 5].<br />
In this paper we propose an axiomatic system called skeptical constrained default<br />
sequent calculus. This system is used to formalize and study the skeptical nonmonotonic<br />
inference modelled by constrained default logic.<br />
2. Constrained default logic<br />
Definition 2.1. A default theory ∆ = (D, W ) contains a set W of consistent<br />
formulas (facts) of first order logic and a set D of default rules. A default has the<br />
2000 Mathematics Subject Classification. 03B79, 68T15, 68T27, 68T20.<br />
Key words and phrases. constrained default logic, skeptical default inference, sequent and antisequent<br />
calculi.<br />
231<br />
c○2009 Babe¸s-Bolyai University, Cluj-Napoca