Knowledge Equivalence in Combined Action Theories

Ronald Petrick, Hector J. Levesque

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We investigate the relationship between two accountsof knowledge and action in the situation calculus: the Scherl and Levesque (SL) approach that models knowledge with possible worlds, and the Demolombe and Pozos Parra (DP) approach that models knowledge by a set of “knowledge fluents.” We construct combined action theories:basic action theories that encode a correspondence between an SL and a DP theory. We prove, subject to certain restrictions, that knowledge of fluent literals are provably the same after a sequence of actions. Moreover, this knowledge equivalence extends to a rich class of formulae. These results allow us to translate certain SL theories into equivalent DP theories that avoid the computational drawbacks of possible world reasoning.They also enable us to prove the correctness of the DP treatment of knowledge and action in terms of a possible world specification.
Original languageEnglish
Title of host publicationProceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02)
Pages303-314
Number of pages12
Publication statusPublished - 2002

Fingerprint

Dive into the research topics of 'Knowledge Equivalence in Combined Action Theories'. Together they form a unique fingerprint.

Cite this