Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
First steps in modal logic
Reasoning about knowledge
Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge
On the Relation between Interpreted Systems and Kripke Models
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Complete Axiomatizations for Reasoning about Knowledge and Time
SIAM Journal on Computing
The bit transmission problem revisited
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Hi-index | 0.00 |
We investigate an extension of interpreted systems to model correct functioning behaviour of agents and of the system as a whole. We combine this notion with the standard epistemic notions defined on interpreted systems to provide a formalism to reason about knowledge that agents are permitted to hold under ideal functioning circumstances. We then extend this by introducing a doubly-indexed operator representing knowledge that an agent would have if it were operating under the assumption that a group of agents is functioning as intended. We investigate the completeness problem for the first formalism and discuss the issue for the more general one.