The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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.” ...
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  can be extended to fuzzy logics using multi-level linear ...doi:10.1007/978-3-642-22152-1_52 fatcat:kc3crepsknerpm4fienzuxhmne
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 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  , 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
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
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 ...
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  is a nonmonotonic logic for multi-agent systems and is formalized by extending AEL  to the one with multi-modality and multi-theory. ...doi:10.1016/s1571-0661(04)80588-7 fatcat:klxrczxzh5debpoeol5bp26kdy
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
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. ...
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.” ...
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. ...
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
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
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. ...
Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is a recently proposed non-monotonic logic for says-based access control. ...  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  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