Optimizing Long-Running Action Histories in the Situation Calculus Through Search

Abstract

Agents are frequently required to perform numerous, complicated interactions with the environment around them, necessitating complex internal representations that are difficult to reason with. We investigate a new direction for optimizing reasoning about long action sequences. The motivation is that a reasoning system can keep a window of executed actions and simplify them before handling them in the normal way, e.g., by updating the internal knowledge base. Our contributions are: (i) we extend previous work to include sensing and non-deterministic actions; (ii) we introduce a framework for performing heuristic search over the space of action sequence manipulations, which allows a form of di..