|
Abstract : |
This paper shows how past temporal logic can be incorporated into the action description language A [4] and its extensions. Incorporating past temporal logic will allow us to elegantly express effects of actions that depend not only on the current state of the world but on previous actions and states. It will also allow us to elegantly express dynamic constraints beyond the one-step dynamic constraints discussed in [2]. We also discuss why using temporal logic increases the elaboration tolerance in an evolving action theory, and consider other language extensions that are necessary from the elaboration tolerance point of view. Key Words: common sense reasoning, knowledge representation, temporal logic., |
