Paper Info
Title
A Unifying Approach For Nonmonotonic S4f, (Reflexive) Autoepistemic Logic, And Answer Set Programming
Abstract
This paper presents a general strategy, bringing together some major types of nonmonotonic reasoning under a monotonic bimodal setting. Such formalisms are also of interest to the fields of knowledge representation and declarative programming. We exemplify the methodology, capturing minimal model reasoning that underlies nonmonotonicity over S4F first, but then we also show how to apply the technique to other nonmonotonic logics respectively based on the modal logics KD45 and SW5. We naturally succeed it, by modifying only the axioms of the underlying modal logic and show that it successfully works. The last two formalisms are also known as autoepistemic logic (AEL) and its reflexive extension (RAEL) in the given order: AEL is an important form of nonmonotonic reasoning, introduced by Robert C. Moore in order to allow an agent to reason about his own knowledge. Equilibrium logic (EL) is a general-purpose nonmonotonic reasoning formalism, proposed more recently by David Pearce as a semantical framework for answer set programming (ASP). The latter is an efficient declarative problem solving approach with lots of applications to science and technology. Fariflas et al. have embedded EL (and so ASP) into a monotonic bimodal logic. We take this work as an initiative and successfully apply a similar methodology to closely aligned nonmonotonic modal logics. We finally discuss the potential capability to subsume the epistemic extensions of ASP within our unified paradigm.
Year
DOI
Venue
2020
10.3233/FI-2020-1972
FUNDAMENTA INFORMATICAE
Keywords
DocType
Volume
nonmonotonic reasoning, minimal model semantics, (autoepistemic) equilibrium logic, answer set programming, epistemic specifications, monotonic modal logic, Kripke model
Journal
176
Issue
ISSN
Citations 
3-4
0169-2968
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Ezgi Iraz Su173.13