A Database-type Approach for Progressing Action Theories with Bounded Effects
Stavros Vassos, Sebastian Sardiña · RMIT Research Repository (RMIT University Library) · 2011
In this paper we study the progression of situation calculus action theories that arc able to handle a class of actions that, while extremely simple conceptually and common in many settings, cannot be handled by previous approaches. Specifically, based on the notion of safe-range queries from database theory and just-in-time action histories, we present a new type of action theories that ensures that actions have bounded effects over a restricted range of objects. Such theories may represent incomplete information and can be progressed by directly updating the knowledge base in an algorithmic manner.