Semantical considerations on nonmonotonic logic
Artificial Intelligence
Planning for conjunctive goals
Artificial Intelligence
Reasoning about knowledge and time in asynchronous systems
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Intention is choice with commitment
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Reasoning about knowledge
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Reasoning about Visibility, Perception and Knowledge
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
A Spectrum of Modes of Knowledge Sharing between Agents
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Knowledge, action, and the frame problem
Artificial Intelligence
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Foundations of a logic of knowledge, action, and communication
Foundations of a logic of knowledge, action, and communication
A First-order Theory of Communication and Multi-agent Plans
Journal of Logic and Computation
ARTIMIS: natural dialogue meets rational agency
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Contract clause negotiation by game theory
Proceedings of the 11th international conference on Artificial intelligence and law
A first-order theory of Stanislavskian scene analysis
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent--speaker, hearer, or third parties--any of these in the past, present, or future--and any logical combination of these, including formulas with quantifiers. We prove that this theory is consistent, and compatible with a wide range of physical theories. We examine how the theory avoids two potential paradoxes, and discuss how these paradoxes may pose a danger when this theory are extended.