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

Keywords

  • Communication
  • Knowledge
  • Logic
  • Paradox

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Knowledge and communication: A first-order theory'. Together they form a unique fingerprint.

  • Cite this