Multiagent Only Knowing in Dynamic Systems

Vaishak Belle, Gerhard Lakemeyer

Research output: Contribution to journalArticlepeer-review

Abstract

The idea of "only knowing" a collection of sentences, as proposed by Levesque, has been previously shown to be very useful in characterizing knowledge-based agents: in terms of a specification, a precise and perspicuous account of the beliefs and non-beliefs is obtained in a monotonic setting. Levesque's logic is based on a first-order modal language with quantifying-in, thus allowing for de re versus de dicto distinctions, among other things. However, the logic and its recent dynamic extension only deal with the case of a single agent. In this work, we propose a first-order multiagent framework with knowledge, actions, sensing and only knowing, that is shown to inherit all the features of the single agent version. Most significantly, we prove reduction theorems by means of which reasoning about knowledge and actions in the framework simplifies to non-epistemic, non-dynamic reasoning about the initial situation.
Original languageEnglish
Pages (from-to)363-402
Number of pages40
JournalJournal of Artificial Intelligence Research
Volume49
DOIs
Publication statusPublished - Feb 2014

Fingerprint

Dive into the research topics of 'Multiagent Only Knowing in Dynamic Systems'. Together they form a unique fingerprint.

Cite this