Disjunctive logic programming and autoepistemic logic

1998 ◽  
pp. 85-101
Author(s):  
Li -Yan Yuan ◽  
Jia -Huai You ◽  
Randy Goebel
Keyword(s):  
Logic Programming ◽  
Autoepistemic Logic

scholarly journals Safe Inductions: An Algebraic Study

2017 ◽  
Author(s):  
Bart Bogaerts ◽  
Joost Vennekens ◽  
Marc Denecker
Keyword(s):  
Knowledge Representation ◽  
Logic Programming ◽  
Logic Programs ◽  
Intended Meaning ◽  
Safety Criterion ◽  
Autoepistemic Logic ◽  
Semantics Of Logic Programs ◽  
Do So

In many knowledge representation formalisms, a constructive semantics is defined based on sequential applications of rules or of a semantic operator. These constructions often share the property that rule applications must be delayed until it is safe to do so: until it is known that the condition that triggers the rule will remain to hold. This intuition occurs for instance in the well-founded semantics of logic programs and in autoepistemic logic. In this paper, we formally define the safety criterion algebraically. We study properties of so-called safe inductions and apply our theory to logic programming and autoepistemic logic. For the latter, we show that safe inductions manage to capture the intended meaning of a class of theories on which all classical constructive semantics fail.

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.

Autoepistemic logic programming

1994 ◽  
Vol 13 (1) ◽  
pp. 35-67 ◽  
Author(s):  
Piero A. Bonatti
Keyword(s):  
Logic Programming ◽  
Autoepistemic Logic

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.

Sign in / Sign up

Export Citation Format

Share Document