Results 11 to 20 of about 763,157 (113)
Fixpoint 3-Valued Semantics for Autoepistemic Logic [PDF]
AAAI/IAAI, 1998 The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and define the semantics as its least fixpoint. The semantics is 3-valued in the sense that, for some formulas, the least fixpoint does
M. Denecker, V. Marek, M. Truszczynski
semanticscholar +7 more sources
On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
Fuzzy Sets Syst., 2015 Marjon Blondeel +4 more
openalex +3 more sources
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets Syst., 2012 Marjon Blondeel +3 more
openalex +3 more sources
On the relationship between autoepistemic logic and parallel circumscription [PDF]
International Syposium on Methodologies for Intelligent Systems, 1986 Michael Gelfond, Halina Przymusinska
openalex +2 more sources
Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 2011 Marjon Blondeel +3 more
openalex +3 more sources
Notes on Nonmonotonic Autoepistemic Propositional Logic
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki, 2011 This paper comprises an in-depth study of semantics of autoepistemic logic that is based on author’s may years of research in the subject matter. It begins with a brief review of semantics of common patterns of nonmonotonic deduction arising from a lack of knowledge, including autoepistemic deduction, in terms of the fixed-point equation φ(T,E)=E. Then
Marek A. Suchenek
openalex +3 more sources
A Unified Algebraic Framework for Non-Monotonicity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called for ...
Nourhan Ehab, Haythem O. Ismail
doaj +1 more source
Autoepistemic Circumscription and Logic Programming
Education and Research Archive, 1992 Technical report TR92-18. We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic inference mechanism and by specifying a belief constraint. While the latter makes the approach flexible in meeting possibly different applications, the former links the resulting semantics to a ...
Yuan, Li-Yan, You, Jia-Huai
openaire +3 more sources
From Carnap's modal logic to autoepistemic logic
, 2005 In his treatise Meaning and Necessity, Carnap introduced an original approach to modal logic which is quite different from the well-known Lewis systems. Recently, it turned out that there are interesting connections between Carnap's modal logic and finite model theory for modal logics.
openaire +2 more sources
Embedding Non-Ground Logic Programs into Autoepistemic Logic for\n Knowledge Base Combination [PDF]
, 2008 Jos de Bruijn +3 more
openalex +2 more sources