Conference Proceedings

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

C Ewin, A PEARCE, S Vassos, Q Chen (ed.), P Torrini (ed.), S Villata (ed.), J Hsu (ed.), A Omicini (ed.)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Springer International Publishing | Published : 2015


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..

View full abstract