A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus
[chapter]
2017
Lecture Notes in Computer Science
Formalization of knowledge is an important aspect of reasoning about change. We review how knowledge is formalized in the Situation Calculus (a logical formalism for reasoning about action and change) and discuss the problems that occur when unexecutable actions (those actions whose preconditions are not met at the time of execution) are involved. We then provide a generalized framework that addresses these problems by tracing back source of the problem to the answer provided to the Frame
doi:10.1007/978-3-319-57351-9_20
fatcat:5ttbwhwxmjbmrnvlp3duqn6zeu