Representing action and change by logic programs

https://doi.org/10.1016/0743-1066(93)90035-FGet rights and content
Under an Elsevier user license
open archive

Abstract

We represent properties of actions in a logic programming language that uses both classical negation and negation as failure. The method is applicable to temporal projection problems with incomplete information, as well as to reasoning about the past. It is proved to be sound relative to a semantics of action based on states and transition functions.

Cited by (0)