Provably Correct Theories of Action (Preliminary Report)
Abstract
Research on nonmonotonic temporal reasoning in general, and the Yale Shooting Problem in particular, has suffered from the absence of a criterion against which to evaluate solutions. Indeed, researchers in the area disagree not only on the solutions but also on the problems. We propose a formal yet intuitive criterion by which to evaluate theories of actions, define a monotonic class of theories that satisfy this criterion, and then provide their provably-correct nonmonotonic counterpart.
Cite
Text
Lin and Shoham. "Provably Correct Theories of Action (Preliminary Report)." AAAI Conference on Artificial Intelligence, 1991.Markdown
[Lin and Shoham. "Provably Correct Theories of Action (Preliminary Report)." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/lin1991aaai-provably/)BibTeX
@inproceedings{lin1991aaai-provably,
title = {{Provably Correct Theories of Action (Preliminary Report)}},
author = {Lin, Fangzhen and Shoham, Yoav},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1991},
pages = {349-354},
url = {https://mlanthology.org/aaai/1991/lin1991aaai-provably/}
}