Multi-agent only knowing
From MaRDI portal
Abstract: Levesque introduced a notion of ``only knowing, with the goal of capturing certain types of nonmonotonic reasoning. Levesque's logic dealt with only the case of a single agent. Recently, both Halpern and Lakemeyer independently attempted to extend Levesque's logic to the multi-agent case. Although there are a number of similarities in their approaches, there are some significant differences. In this paper, we reexamine the notion of only knowing, going back to first principles. In the process, we simplify Levesque's completeness proof, and point out some problems with the earlier definitions. This leads us to reconsider what the properties of only knowing ought to be. We provide an axiom system that captures our desiderata, and show that it has a semantics that corresponds to it. The axiom system has an added feature of interest: it includes a modal operator for satisfiability, and thus provides a complete axiomatization for satisfiability in the logic K45.
The authors extend Levesque's only-knowing logic to the multi-agent case. The notion of only-knowing is re-examined and an axiom system capturing the desired properties of only-knowing is proposed. A corresponding semantics is given as well. Additionally, the axiom system provides a complete axiomatization for K45-satisfiability.
Recommendations
- Multi-agent only-knowing
- Multiagent only knowing in dynamic systems
- Semantical considerations on multiagent only knowing
- Multi-agent Explicit Knowledge
- Multi-agent Systems and Paraconsistent Knowledge
- Consistency proofs for systems of multi-agent only knowing
- Ignorance in a multi-agent setting
- Logical Spaces in Multi-agent Only Knowing Systems
- scientific article; zbMATH DE number 1759382
Cited in
(30)- Reasoning about knowledge of unawareness
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Levesque's axiomatization of only knowing is incomplete
- On the decidability and complexity of reasoning about only knowing
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
- scientific article; zbMATH DE number 1612564 (Why is no real title available?)
- A theory of knowledge and ignorance for many agents
- The truth about defaults
- Finitary \(\mathbf {S5}\)-theories
- Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
- Multi-agent Explicit Knowledge
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- Logical Spaces in Multi-agent Only Knowing Systems
- scientific article; zbMATH DE number 847984 (Why is no real title available?)
- scientific article; zbMATH DE number 7450025 (Why is no real title available?)
- A conceptually well-founded characterization of iterated admissibility using an ``all I know operator
- Exploiting belief bases for building rich epistemic structures
- Multiagent only knowing in dynamic systems
- John McCarthy's legacy
- Consistency proofs for systems of multi-agent only knowing
- scientific article; zbMATH DE number 2236615 (Why is no real title available?)
- Multi-agent only-knowing
- A sound and complete tableau calculus for reasoning about only knowing and knowing at most
- On the progression of belief
- Permission to speak: a logic for access control and conformance
- Base-based model checking for multi-agent only believing
- Iterated regret minimization: a new solution concept
- Nonmonotonic inferences: classical conclusions in an intuitionistic modal framework
- Semantical considerations on multiagent only knowing
- The logic of backward induction
This page was built for publication: Multi-agent only knowing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2720397)
