On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus [chapter]

Vahid Vaezian, James P. Delgrande
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
more » ... m in the Situation Calculus. We develop a more generalized form for Successor Sate Axioms based on the new account of the solution to the Frame Problem and show how this solves the problems related to involvement of unexecutable actions.
doi:10.1007/978-3-319-57351-9_20 fatcat:5ttbwhwxmjbmrnvlp3duqn6zeu