A first-order theory of communication and multi-agent plans

Ernest Davis, Leora Morgenstern

Research output: Contribution to journalArticle

Abstract

This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communications and requests. Communications may refer to states of the world or states of knowledge in the past, present, or future. We demonstrate that the theory is powerful enough to represent several interesting multi-agent planning problems and to justify their solutions. We have proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.

Original languageEnglish (US)
Article numberTwo on-line appendices: http://cs.nyu.edu/faculty/davise/commplan/commplan-appa.pdf and http://cs.nyu.edu/faculty/davise/commplan/commplan-appb.pdf
Pages (from-to)703-749
Number of pages47
JournalJournal of Logic and Computation
Volume15
Issue number5
DOIs
StatePublished - Oct 2005

Fingerprint

Communication Theory
First-order
Communication
Planning
First-order Logic
Paradox
Justify
Ontology
Knowledge
Model
Range of data
Demonstrate

Keywords

  • Communication
  • Knowledge
  • Multi-agent planning

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computational Theory and Mathematics
  • Logic
  • Safety, Risk, Reliability and Quality

Cite this

Davis, E., & Morgenstern, L. (2005). A first-order theory of communication and multi-agent plans. Journal of Logic and Computation, 15(5), 703-749. [Two on-line appendices: http://cs.nyu.edu/faculty/davise/commplan/commplan-appa.pdf and http://cs.nyu.edu/faculty/davise/commplan/commplan-appb.pdf ]. https://doi.org/10.1093/logcom/exi027

A first-order theory of communication and multi-agent plans. / Davis, Ernest; Morgenstern, Leora.

In: Journal of Logic and Computation, Vol. 15, No. 5, Two on-line appendices: http://cs.nyu.edu/faculty/davise/commplan/commplan-appa.pdf and http://cs.nyu.edu/faculty/davise/commplan/commplan-appb.pdf , 10.2005, p. 703-749.

Research output: Contribution to journalArticle

Davis, E & Morgenstern, L 2005, 'A first-order theory of communication and multi-agent plans', Journal of Logic and Computation, vol. 15, no. 5, Two on-line appendices: http://cs.nyu.edu/faculty/davise/commplan/commplan-appa.pdf and http://cs.nyu.edu/faculty/davise/commplan/commplan-appb.pdf , pp. 703-749. https://doi.org/10.1093/logcom/exi027
Davis E, Morgenstern L. A first-order theory of communication and multi-agent plans. Journal of Logic and Computation. 2005 Oct;15(5):703-749. Two on-line appendices: http://cs.nyu.edu/faculty/davise/commplan/commplan-appa.pdf and http://cs.nyu.edu/faculty/davise/commplan/commplan-appb.pdf . https://doi.org/10.1093/logcom/exi027
@article{4505d84ba26c415aa4802875086f9368,
title = "A first-order theory of communication and multi-agent plans",
abstract = "This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communications and requests. Communications may refer to states of the world or states of knowledge in the past, present, or future. We demonstrate that the theory is powerful enough to represent several interesting multi-agent planning problems and to justify their solutions. We have proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.",
keywords = "Communication, Knowledge, Multi-agent planning",
author = "Ernest Davis and Leora Morgenstern",
note = "On-line appendices",
year = "2005",
month = "10",
doi = "10.1093/logcom/exi027",
language = "English (US)",
volume = "15",
pages = "703--749",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "5",

}

TY - JOUR

T1 - A first-order theory of communication and multi-agent plans

AU - Davis, Ernest

AU - Morgenstern, Leora

N1 - On-line appendices

PY - 2005/10

Y1 - 2005/10

N2 - This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communications and requests. Communications may refer to states of the world or states of knowledge in the past, present, or future. We demonstrate that the theory is powerful enough to represent several interesting multi-agent planning problems and to justify their solutions. We have proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.

AB - This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communications and requests. Communications may refer to states of the world or states of knowledge in the past, present, or future. We demonstrate that the theory is powerful enough to represent several interesting multi-agent planning problems and to justify their solutions. We have proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.

KW - Communication

KW - Knowledge

KW - Multi-agent planning

UR - http://www.scopus.com/inward/record.url?scp=26444489079&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=26444489079&partnerID=8YFLogxK

UR - http://cs.nyu.edu/faculty/davise/commplan/commplan-appa.pdf

UR - http://cs.nyu.edu/faculty/davise/commplan/commplan-appb.pdf

U2 - 10.1093/logcom/exi027

DO - 10.1093/logcom/exi027

M3 - Article

AN - SCOPUS:26444489079

VL - 15

SP - 703

EP - 749

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 5

M1 - Two on-line appendices: http://cs.nyu.edu/faculty/davise/commplan/commplan-appa.pdf and http://cs.nyu.edu/faculty/davise/commplan/commplan-appb.pdf

ER -