Sciweavers

AI
2005
Springer

Knowledge and communication: A first-order theory

13 years 10 months ago
Knowledge and communication: A first-order theory
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.
Ernest Davis
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2005
Where AI
Authors Ernest Davis
Comments (0)