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
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..
View full abstract