Progression of Situation Calculus Action Theories with Incomplete Information

Abstract

• Each table in the database has one column and stores the possible values for a ground fluent term. •Whenever there is complete knowledge about the term, the corresponding table has exactly one row. E.g., the ground fluent term door has only one possible value (Closed ) and so the table for door has exactly one row: Closed. •Whenever there is incomplete… (More)

Topics

Cite this paper

@inproceedings{Vassos2007ProgressionOS, title={Progression of Situation Calculus Action Theories with Incomplete Information}, author={Stavros Vassos and Hector J. Levesque}, booktitle={IJCAI}, year={2007} }