Abstract
As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation of action descriptions: uniform consistency, consistency of formulas and regional consistency. The first two provide an intuitive resolution of problems of explanation conflicts and fluent dependency. The concept of regional consistency provides for a measure of ramification. A highly expressive form of action descriptions, the normal form, is introduced to facilitate this analysis. The relative satisfiability of the situation calculus is generalized to accommodate non-deterministic effects and ramifications.
| Original language | English |
|---|---|
| Title of host publication | PRICAI 2002 |
| Subtitle of host publication | Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings |
| Editors | Mitsuru Ishizuka, Abdul Sattar |
| Publisher | Springer Verlag |
| Pages | 70-79 |
| Number of pages | 10 |
| ISBN (Print) | 3540440380, 9783540440383 |
| DOIs | |
| Publication status | Published - 2002 |
| Event | 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002 - Tokyo, Japan Duration: 18 Aug 2002 → 22 Aug 2002 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 2417 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002 |
|---|---|
| Country/Territory | Japan |
| City | Tokyo |
| Period | 18/08/02 → 22/08/02 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 2002.