Resolving distributed knowledge

DOI10.1016/j.artint.2017.07.002zbMath1419.68103arXiv1606.07515OpenAlexW2963424696MaRDI QIDQ1677430

Peng Zhang

Publication date: 21 November 2017

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.07515

zbMATH Keywords

expressivityepistemic logicaxiomatizationdistributed knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (15)

Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ О трудностях определения имплицитного знания группы ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ PRIORITY MERGE AND INTERSECTION MODALITIES ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Group Belief ⋮ Communication pattern logic: epistemic and topological views ⋮ Impure Simplicial Complexes: Complete Axiomatization ⋮ Comparing the Update Expressivity of Communication Patterns and Action Models ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Coalition and relativised group announcement logic ⋮ Intelligence in Strategic Games ⋮ Verification and strategy synthesis for coalition announcement logic ⋮ Towards Collaborative Conceptual Exploration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Knowledge, action, and the frame problem
• Logics of communication and change
• Relativized common knowledge for dynamic epistemic logic
• Dynamic epistemic logic
• Group announcement logic
• Descriptions of game actions
• Group knowledge is not always distributed (neither is it always implicit)
• Ability and knowing how in the situation calculus
• A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
• Logics for epistemic programs
• Epistemic planning for single- and multi-agent systems
• Distributed Protocols for Leader Election: A Game-Theoretic Perspective
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• Alternating-time temporal logic
• Distributed knowledge
• Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
• A Modal Logic for Coalitional Power in Games

This page was built for publication: Resolving distributed knowledge