TY - JOUR
T1 - Knowledge and communication
T2 - A first-order theory
AU - Davis, Ernest
N1 - Funding Information:
✩ The research reported in this paper was supported in part by NSF grant IIS-0097537. E-mail address: [email protected] (E. Davis).
PY - 2005/8
Y1 - 2005/8
N2 - 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.
AB - 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.
KW - Communication
KW - Knowledge
KW - Logic
KW - Paradox
UR - http://www.scopus.com/inward/record.url?scp=21444459994&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=21444459994&partnerID=8YFLogxK
U2 - 10.1016/j.artint.2005.05.002
DO - 10.1016/j.artint.2005.05.002
M3 - Article
AN - SCOPUS:21444459994
SN - 0004-3702
VL - 166
SP - 81
EP - 139
JO - Artificial Intelligence
JF - Artificial Intelligence
IS - 1-2
ER -