Filters








206 Hits in 2.0 sec

Page 701 of Mathematical Reviews Vol. , Issue 98B [page]

1998 Mathematical Reviews  
Summary: “We generalize Moore’s autoepistemic logic to multi- valued autoepistemic logic, where the set of truth-values can be any complete lattice.  ...  Finally, we present a se- quent calculus for multi-valued logic which serves as a tool for a decision procedure for multi-valued autoepistemic logic.”  ... 

Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees [chapter]

Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir
2011 Lecture Notes in Computer Science  
Fuzzy logics on the other hand are multi-valued logics, which allow to model the intensity with which a property is satisfied.  ...  In this paper we show that many properties from classical autoepistemic logic remain valid under this generalization and that the important relation between autoepistemic logic and answer set programming  ...  In future work, it would be interesting to see whether the implementation of classical autoepistemic logic by using quantified boolean formulas [5] can be extended to fuzzy logics using multi-level linear  ... 
doi:10.1007/978-3-642-22152-1_52 fatcat:kc3crepsknerpm4fienzuxhmne

Page 5737 of Mathematical Reviews Vol. , Issue 92j [page]

1992 Mathematical Reviews  
of McDermott and Doyle.” 92j:68112 68T30 03B70 Grove, Adam J. (1-STF-C); Halpern, Joseph Y. (1-IBM2) Naming and identity in a multi-agent epistemic logic.  ...  Here we look at quantification in autoepistemic logic, which is a modal logic of self-knowledge.  ... 

Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir
2014 Fuzzy sets and systems (Print)  
Fuzzy logics on the other hand are multi-valued logics, which allow to model the intensity to which properties are satisfied.  ...  Autoepistemic logic is an important formalism for nonmonotonic reasoning. It extends propositional logic by offering the ability to reason about an agent's (lack of) beliefs.  ...  In [44] , reflexive autoepistemic logic is generalized by allowing a finite set of truth values. All these generalizations use finitely many truth values.  ... 
doi:10.1016/j.fss.2012.09.012 fatcat:mfbvgiydovesrpruo2v5xn3avu

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.  ...  The resulting operator, D T , yields a multi-valued generalization of expansions and a semantics that approximates skeptical autoepistemic reasoning.  ... 
arXiv:cs/0002002v1 fatcat:mmzapua3cbhjvkrmsq4jbo3pfm

Page 1964 of Mathematical Reviews Vol. , Issue 90D [page]

1990 Mathematical Reviews  
Ishizuka, Yuji Kuroki and Naoto Kii, A consideration of current-mode multi-valued logic networks (Japanese) (pp. 14-32); Chotei Zukeran, Makoto Honda, Yutaka Nagamine and Chushin Afuso, A universal literal  ...  Ap- pelt and Kurt Konolige, A nonmonotonic logic for reasoning about speech acts and belief revision (pp. 164-175); Michael Gelfond, Autoepistemic logic and formalization of commonsense reasoning: preliminary  ... 

Translating Multi-Agent Autoepistemic Logic into Logic Program

Toyama Katsuhiko, Kojima Takahiro, Inagaki Yasuyoshi
2002 Electronical Notes in Theoretical Computer Science  
In order to develop a proof procedure of multi-agent autoepistemic Logic (MAEL), a natural framework to formalize belief and reasoning including inheritance, persistence, and causality, we introduce a  ...  systems for computing stable models of a logic program.  ...  Preliminaries Multi-Agent Autoepistemic Logic MAEL [19] is a nonmonotonic logic for multi-agent systems and is formalized by extending AEL [13] to the one with multi-modality and multi-theory.  ... 
doi:10.1016/s1571-0661(04)80588-7 fatcat:klxrczxzh5debpoeol5bp26kdy

Measuring Inconsistency in Multi-Agent Systems

A. Hunter, S. Parsons, M. Wooldridge
2014 Künstliche Intelligenz  
First, we consider metrics that attempt to characterise the overall degree of inconsistency of a multi-agent system in a single numeric value, where inconsistency is considered to be individuals within  ...  While this metric is useful as a high-level indicator of the degree of inconsistency between the beliefs of members of a multi-agent system, it is of limited value for understanding the structure of inconsistency  ...  of "full" autoepistemic logic.  ... 
doi:10.1007/s13218-014-0306-3 fatcat:i2ioplm5nveexev4tok5dpdn7y

Page 1031 of Mathematical Reviews Vol. , Issue 92b [page]

1992 Mathematical Reviews  
Przymusitiski, Autoepistemic logics of closed beliefs and logic programming (pp. 3-20); P. Geerts and D.  ...  Ver- meir, Credulous and autoepistemic reasoning using ordered logic (pp. 21-36); Wiktor Marek and Mirostaw Truszczyiski, Comput- ing intersection of autoepistemic expansions (pp. 37-50); Piero A.  ... 

Page 2196 of Mathematical Reviews Vol. , Issue 2001D [page]

2001 Mathematical Reviews  
Models of the logics are multialgebras, i.e. multi-sorted algebras with set-valued opera- tions, together with multi-sorted valuations of variables.  ...  Marek and Truszczynski’s strong autoepistemic logic.”  ... 

Page 3367 of Mathematical Reviews Vol. , Issue 92f [page]

1992 Mathematical Reviews  
However, it also suffers from drawbacks, including the fact that, in multi-valued logic, there is more than one meaningful way to assign a meaning to rules in a program.  ...  The basic ideas behind these extensions of the semantics of logic programs can be applied more generally to autoepistemic reasoning.  ... 

Multi-modal nonmonotonic logics of minimal knowledge

Riccardo Rosati
2007 Annals of Mathematics and Artificial Intelligence  
In this paper we introduce multi-modal logics of minimal knowledge.  ...  We illustrate the expressive capabilities of multi-modal logics of minimal knowledge to provide a formal semantics to peer-to-peer data integration systems, which constitute one of the most recent and  ...  holds between the logic S5 A n and Moore's autoepistemic logic, which allows us to also interpret S5 A n as a multi-modal generalization of Moore's autoepistemic logic. • Correspondence between ground  ... 
doi:10.1007/s10472-007-9046-5 fatcat:ep5dahgukjc4zeylwshemrpuvi

On Axiomatic Rejection for the Description Logic $$\mathcal {ALC}$$ [chapter]

Gerald Berger, Hans Tompits
2014 Lecture Notes in Computer Science  
(like default logic, circumscription, autoepistemic logic) rely on rejection calculi (Bonatti & Olivetti, 2002).  ...  B then C" amounts to inference A B C • Indeed, Gentzen-type axiomatisations of central nonmonotonic logics (like default logic, circumscription, autoepistemic logic) rely on rejection calculi (Bonatti  ... 
doi:10.1007/978-3-319-08909-6_5 fatcat:57i5vdnjwbfynmlpuldafzt36u

Page 1384 of Linguistics and Language Behavior Abstracts: LLBA Vol. 27, Issue 3 [page]

1993 Linguistics and Language Behavior Abstracts: LLBA  
DFG is also unique in its acceptance of any logic programming term as a feature value.  ...  Like many unification-based grammars, DFG makes use of sets of attribute- value pairs (feature sets) to represent linguistic knowledge.  ... 

A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions [article]

Diego Agustín Ambrossio, Marcos Cramer
2019 arXiv   pre-print
Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is a recently proposed non-monotonic logic for says-based access control.  ...  [6] have recently proposed a multi-agent variant of autoepistemic logic, called Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)), to be used as a says-based access control logic  ...  of the well-founded semantics of autoepistemic logic [12] to the multi-agent case under the assumption of mutual positive and negative introspection between the agents.  ... 
arXiv:1910.04010v1 fatcat:2prly6pt5vfjjhtzoh7z65cvdi
« Previous Showing results 1 — 15 out of 206 results