Filters








361 Hits in 2.4 sec

Separating disbeliefs from beliefs in autoepistemic reasoning [chapter]

Tomi Janhunen
1997 Lecture Notes in Computer Science  
Straightforward ways of translating default theories into separated autoepistemic theories and back are presented.  ...  Along the separation of beliefs and disbeliefs, the relationship between autoepistemic logic and default logic becomes very intuitive.  ...  is not B-provable from D = .4.2 Embedding Separated Autoepistemic Logic in Default LogicThe author has recently proposed a translation of standard autoepistemic theories into default theories 7].  ... 
doi:10.1007/3-540-63255-7_10 fatcat:zjdag5igk5alxkzn4tlerafl6e

Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too [article]

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2011 arXiv   pre-print
Instead, he translated a default into a certain natural language proposition and provided a formalization of the latter.  ...  We argue that Reiter's default logic is a better formalization of Moore's intuitions about autoepistemic propositions than Moore's own autoepistemic logic.  ...  Later, Gottlob (1995) presented a correct translation from default logic to autoepistemic logic but also proved that no modular translation exists.  ... 
arXiv:1108.3278v1 fatcat:5an7m6atife55dq4sk6vyff46q

Uniform semantic treatment of default and autoepistemic logics [article]

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2000 arXiv   pre-print
We revisit the issue of connections between two leading formalisms in nonmonotonic reasoning: autoepistemic logic and default logic.  ...  Thus, our results conclusively establish that default logic can indeed be viewed as a fragment of autoepistemic logic.  ...  In fact, he proved that a modular translation of default logic into autoepistemic logic does not exist.  ... 
arXiv:cs/0002002v1 fatcat:mmzapua3cbhjvkrmsq4jbo3pfm

Uniform semantic treatment of default and autoepistemic logics

Marc Denecker, Victor W. Marek, Mirosław Truszczyński
2003 Artificial Intelligence  
Our results establish conclusively that default logic can be viewed as a fragment of autoepistemic logic, a result that has been long anticipated.  ...  These two semantics occupy different locations in the corresponding families of semantics for default and autoepistemic logics.  ...  Truszczyński [32] found that the Gödel translation of intuitionistic logic to modal logic S4 could be used to translate the default logic into the nonmonotonic modal logic S4F.  ... 
doi:10.1016/s0004-3702(02)00293-x fatcat:zpyvjdfugngkxloqxh6ma4pl7m

Page 1204 of Mathematical Reviews Vol. , Issue 94c [page]

1994 Mathematical Reviews  
94c:03033 the weak extensions of a default theory (D, W) coincide with the kernels of the stable expansions of the autoepistemic theory which is the translation of (D,W) according to K.  ...  This definition covers the standard notion of logic programs. The paper introduces a special class of models, called “if-and-only-if” models.  ... 

Samantics of normal and disjunctive logic programs a unifying framework [chapter]

Teodor C. Przymusinski
1995 Lecture Notes in Computer Science  
We introduce a simple uniform semantic framework that isomorphically contains major semantics proposed recently for normal, disjunctive and extended logic programs, including the perfect model, stable,  ...  can be obtained by translating logic programs into belief theories in AELB.  ...  (Embeddability of Autoepistemic Logic) Prz94a] Moore's autoepistemic logic, AEL, is properly embeddable into the autoepistemic logic of knowledge and beliefs, AELB.  ... 
doi:10.1007/bfb0030659 fatcat:etnwtmjxcnecfhgd2ckqqsc3gq

On the relation between default and modal nonmonotonic reasoning

Alexander Bochman
1998 Artificial Intelligence  
The notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning.  ...  A nonmodular translation of a modal theory into an autoepistemic theory has been given, in fact, in [ 121 as part of a general translation of default logic into an autoepistemic logic.  ...  Thus, Konolige [ 131 attempted to translate default logic into Moore's autoepistemic logic, though the attempt was only partly successful.  ... 
doi:10.1016/s0004-3702(98)00011-3 fatcat:xehewctilbho5ch3vm6wn3zdze

Page 4049 of Mathematical Reviews Vol. , Issue 97G [page]

1997 Mathematical Reviews  
Mach. 42 (1995), no. 4, 711-740] that there does not exist a faithful modular translation of default logic into autoepistemic logic, and he presented a nonmodular translation.  ...  F.| On embedding default logic into Moore's autoepistemic logic. (English summary) Artificial Intelligence 80 (1996), no. 2, 349-359. Summary: “Recently G. Gottlob proved [J. Assoc. Comput.  ... 

Embedding minimal knowledge into autoepistemic logic [chapter]

Riccardo Rosati
1997 Lecture Notes in Computer Science  
In particular, we show that the expressive power of MKNF is equivalent to Moore's autoepistemic logic (AEL), by de ning an embedding of MKNF into AEL and vice versa.  ...  We investigate the epistemological properties of MKNF, Lifschitz's logic of minimal knowledge and negation as failure.  ...  Embedding autoepistemic logic into MKNF In this section we study the problem of embedding AEL into MKNF .  ... 
doi:10.1007/3-540-63576-9_111 fatcat:qb6oht2hrrcilhrzqxyxr74ezy

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks [chapter]

Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
2002 Lecture Notes in Computer Science  
In this paper, we show how variants of Moore's autoepistemic logic can be axiomatised by means of quantified Boolean formulas (QBFs).  ...  More specifically, we provide polynomial reductions of the basic reasoning tasks associated with these logics into the evaluation problem of QBFs.  ...  We implemented the translations for modal nonmonotonic logics by incorporating them into the system QUIP.  ... 
doi:10.1007/3-540-45616-3_8 fatcat:5yzrmskpq5a45j7tzrch6qj6ja

Modal Interpretations of Default Logic

Miroslaw Truszczynski
1991 International Joint Conference on Artificial Intelligence  
One of these logics is used in a definition of possible-worlds semantics for default logic.  ...  This semantics yields a characterization of default extensions similar to the characterization of stable expansions by means of autoepistemic interpretation.  ...  The default logic was first embedded into a variant of autoepistemic logic by Konolige [1988] .  ... 
dblp:conf/ijcai/Truszczynski91 fatcat:4hrmrc6rizbwfe4p7thbgxnfaa

Implementing Default and Autoepistemic Logics via the Logic of GK [article]

Jianmin Ji, Hannes Strass
2014 arXiv   pre-print
In this paper, for the first time, we show how the logic of GK can be embedded into disjunctive logic programming in a polynomial but non-modular translation with new variables.  ...  To date, it has been used to embed in it default logic (propositional case), autoepistemic logic, Turner's logic of universal causation, and general logic programming under stable model semantics.  ...  Notice that the translation of default and autoepistemic theories into the logic of GK is compatible with Konolige's translation from default logic into autoepistemic logic [Konolige, 1988] .  ... 
arXiv:1405.0809v1 fatcat:3s4z6qh4mbggrl3wyvvzjxr2r4

Disjunctive logic programming and autoepistemic logic [chapter]

Li -Yan Yuan, Jia -Huai You, Randy Goebel
1998 Lecture Notes in Computer Science  
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation.  ...  We also observed that all logic program semantics fall into three semantical points of view: the skeptical, stable, and partial-stable.  ...  , including the translated logic programs with default negation.  ... 
doi:10.1007/bfb0054791 fatcat:dmbwpa4grjegxlmgpffpvl2nmq

The relationship between stable, supported, default and autoepistemic semantics for general logic programs

W. Marek, V.S. Subrahmanian
1992 Theoretical Computer Science  
The latter consists of translating general logic programs into either autoepistemic theories or default logic theories.  ...  On the other hand, the last two essentially claim that the program's meaning is exactly that of an (appropriately defined) translation of the program into a different logic (viz. default logic and autoepistemic  ...  Suppose P is a general logic program. If T is an expansion of ET(P), then T is of the form Exp( Th( M)) f or a unique supported  ... 
doi:10.1016/0304-3975(92)90019-c fatcat:gfesc7l4efgllmsnjkulliliwy

On the Relation Between Truth Maintenance and Autoepistemic Logic

Michael Reinfrank, Oskar Dressler, Gerhard Brewka
1989 International Joint Conference on Artificial Intelligence  
In a recent paper, Konolige has introduced a new version of autoepistemic logic (AEL), which is based on a strong notion of groundedness.  ...  These results contribute to bridging the gap between theory and implementation in the field of nonmonotonic reasoning ON THE RELATION BETWEEN AUTOEPISTEMIC LOGIC AND CIRCUMSCRIPTION  ...  The problem addressed in the present paper is to establish a link between non-monotonic truth maintenance and autoepistemic logic, that is, a "standard" non monotonic logic.  ... 
dblp:conf/ijcai/ReinfrankDB89 fatcat:hhs5ev34e5g6zf4sem54fs5bxm
« Previous Showing results 1 — 15 out of 361 results