Nonmonotonic reasoning and modal logic, from negation as failure to default logic

2005 ◽  
pp. 223-231
Author(s):  
Philippe Balbiani
Keyword(s):  
Modal Logic ◽  
Nonmonotonic Reasoning ◽  
Default Logic ◽  
Negation As Failure

scholarly journals Reasoning about Minimal Belief and Negation as Failure

1999 ◽  
Vol 11 ◽  
pp. 277-300 ◽  
Author(s):  
R. Rosati
Keyword(s):  
Logic Programming ◽  
Nonmonotonic Reasoning ◽  
Default Logic ◽  
Polynomial Hierarchy ◽  
Autoepistemic Logic ◽  
The Third ◽  
Negation As Failure ◽  
Negative Introspection

We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, epistemic queries, and logic programming. We characterize the complexity and provide algorithms for reasoning in propositional MBNF. In particular, we show that entailment in propositional MBNF lies at the third level of the polynomial hierarchy, hence it is harder than reasoning in all the above mentioned propositional formalisms for nonmonotonic reasoning. We also prove the exact correspondence between negation as failure in MBNF and negative introspection in Moore's autoepistemic logic.

scholarly journals More on Modal Aspects of Default Logic1

1992 ◽  
Vol 17 (1-2) ◽  
pp. 99-116
Author(s):  
V. Wiktor Marek ◽  
Miroslaw Truszczynski
Keyword(s):  
Modal Logic ◽  
Default Logic ◽  
Nonmonotonic Logic ◽  
Default Reasoning ◽  
Default Theory ◽  
Autoepistemic Logic ◽  
The Relationship ◽  
Natural Classes ◽  
Weak Extension

Investigations of default logic have been so far mostly concerned with the notion of an extension of a default theory. It turns out, however, that default logic is much richer. Namely, there are other natural classes of objects that might be associated with default reasoning. We study two such classes of objects with emphasis on their relations with modal nonmonotonic formalisms. First, we introduce the concept of a weak extension and study its properties. It has long been suspected that there are close connections between default and autoepistemic logics. The notion of weak extension allows us to precisely describe the relationship between these two formalisms. In particular, we show that default logic with weak extensions is essentially equivalent to autoepistemic logic, that is, nonmonotonic logic KD45. In the paper we also study the notion of a set of formulas closed under a default theory. These objects are shown to correspond to stable theories and to modal logic S5. In particular, we show that skeptical reasoning with sets closed under default theories is closely related with provability in S5. As an application of our results we determine the complexity of reasoning with weak extensions and sets closed under default theories.

Default Logic Models of Certain Inheritance Systems with Exceptions

1993 ◽  
Vol 18 (2-4) ◽  
pp. 129-149
Author(s):  
Serge Garlatti
Keyword(s):  
Hierarchical Structure ◽  
Formal Semantics ◽  
Sufficient Conditions ◽  
Nonmonotonic Reasoning ◽  
Default Logic ◽  
Representation Systems ◽  
The Hierarchical Structure ◽  
Necessary And Sufficient ◽  
Structure Of Knowledge ◽  
Made In

Representation systems based on inheritance networks are founded on the hierarchical structure of knowledge. Such representation is composed of a set of objects and a set of is-a links between nodes. Objects are generally defined by means of a set of properties. An inheritance mechanism enables us to share properties across the hierarchy, called an inheritance graph. It is often difficult, even impossible to define classes by means of a set of necessary and sufficient conditions. For this reason, exceptions must be allowed and they induce nonmonotonic reasoning. Many researchers have used default logic to give them formal semantics and to define sound inferences. In this paper, we propose a survey of the different models of nonmonotonic inheritance systems by means of default logic. A comparison between default theories and inheritance mechanisms is made. In conclusion, the ability of default logic to take some inheritance mechanisms into account is discussed.

scholarly journals Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic

Axioms ◽  
2020 ◽  
Vol 9 (3) ◽  
pp. 84 ◽  
Author(s):  
Sopo Pkhakadze ◽  
Hans Tompits
Keyword(s):  
Proof Theory ◽  
Consistency Condition ◽  
Nonmonotonic Reasoning ◽  
Default Logic ◽  
Inference Process ◽  
Default Theory ◽  
Valid Inference ◽  
The One ◽  
Base Logic ◽  
Selection Of

Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference process may require to retract prior conclusions given additional premisses. This nonmonotonic aspect is in contrast to valid inference relations, which are monotonic. Although nonmonotonic reasoning has been extensively studied in the literature, only few works exist dealing with a proper proof theory for specific logics. In this paper, we introduce sequent-type calculi for two variants of default logic, viz., on the one hand, for three-valued default logic due to Radzikowska, and on the other hand, for disjunctive default logic, due to Gelfond, Lifschitz, Przymusinska, and Truszczyński. The first variant of default logic employs Łukasiewicz’s three-valued logic as the underlying base logic and the second variant generalises defaults by allowing a selection of consequents in defaults. Both versions have been introduced to address certain representational shortcomings of standard default logic. The calculi we introduce axiomatise brave reasoning for these versions of default logic, which is the task of determining whether a given formula is contained in some extension of a given default theory. Our approach follows the sequent method first introduced in the context of nonmonotonic reasoning by Bonatti, which employs a rejection calculus for axiomatising invalid formulas, taking care of expressing the consistency condition of defaults.

Default logic and specification of nonmonotonic reasoning

2001 ◽  
Vol 13 (2) ◽  
pp. 99-112 ◽  
Author(s):  
Joeri Engelfriet ◽  
V. Wiktor Marek ◽  
Jan Treur ◽  
Miroslaw Truszczynski
Keyword(s):  
Nonmonotonic Reasoning ◽  
Default Logic

Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming

2021 ◽  
Author(s):  
Jesse Heyninck ◽  
Ofer Arieli
Keyword(s):  
Logic Programming ◽  
Nonmonotonic Reasoning ◽  
Default Logic ◽  
Autoepistemic Logic ◽  
Algebraic Framework ◽  
Nonmonotonic Logics

Approximation fixpoint theory (AFT) constitutes an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics of different formalisms for nonmonotonic reasoning, such as logic programming, default logic and autoepistemic logic. In this paper, we extend AFT to non-deterministic constructs such as disjunctive information. This is done by generalizing the main constructions and corresponding results to non-deterministic operators, whose ranges are sets of elements rather than single elements. The applicability and usefulness of this generalization is illustrated in the context of disjunctive logic programming.

Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule1

1991 ◽  
Vol 14 (3) ◽  
pp. 355-366
Author(s):  
Mirosław Truszczynski
Keyword(s):  
Modal Logic ◽  
Modal Logics ◽  
Nonmonotonic Logic ◽  
Kripke Semantics ◽  
Negation As Failure ◽  
The Family ◽  
Nonmonotonic Modal Logics ◽  
Nonmonotonic Logics

In the paper we study a family of modal nonmonotonic logics closely related to the family of modal nonmonotonic logics proposed by McDermott and Doyle. For a modal logic S and a fixed collection of formulas X we introduce the notion of an ( S, X)-expansion. We restrict to modal logics which have a complete Kripke semantics. We study the properties of ( S, X)-expansions and show that in many respects they are analogous to the properties of S-expansions in nonmonotonic modal logics of McDermott and Doyle.

Infinitary default logic for specification of nonmonotonic reasoning

1996 ◽  
pp. 224-236 ◽  
Author(s):  
Joeri Engelfriet ◽  
V. Wiktor Marek ◽  
Jan Treur ◽  
Mirosław Truszczyński
Keyword(s):  
Nonmonotonic Reasoning ◽  
Default Logic
Sign in / Sign up

Export Citation Format

Share Document