Knowledge and communication: A first-order theory

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish (US)
Pages (from-to)81-139
Number of pages59
JournalArtificial Intelligence
Volume166
Issue number1-2
DOIs
StatePublished - Aug 2005

Fingerprint

communication
Communication
communications
event
present
Hearer
Paradox
Physical
Quantifiers
Communicative Act
Communication Theory
Danger
Logic

Keywords

  • Communication
  • Knowledge
  • Logic
  • Paradox

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics

Cite this

Knowledge and communication : A first-order theory. / Davis, Ernest.

In: Artificial Intelligence, Vol. 166, No. 1-2, 08.2005, p. 81-139.

Research output: Contribution to journalArticle

@article{d50ebc612e734421ba5faf4548f59394,
title = "Knowledge and communication: A first-order theory",
abstract = "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.",
keywords = "Communication, Knowledge, Logic, Paradox",
author = "Ernest Davis",
year = "2005",
month = "8",
doi = "10.1016/j.artint.2005.05.002",
language = "English (US)",
volume = "166",
pages = "81--139",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "1-2",

}

TY - JOUR

T1 - Knowledge and communication

T2 - A first-order theory

AU - Davis, Ernest

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

VL - 166

SP - 81

EP - 139

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 1-2

ER -