Progressing basic action theories with non-local effect actions (short paper PLS-2009)
Conference Proceeding: 01/2009; In proceeding of: 7th Panhellenic Logic Symposium (PLS-2009), At Patras, Greece
Abstract
In this paper we propose a practical extension to some recent work on the progression of action theories in the situation calculus. Based on the notion of safe-range queries from database theory and just-in-time action histories, we present a new type of action theory, called range-restricted, that allows actions to have non-local e?ects with a restricted range. These theories can represent incomplete information in terms of possible closures for fluents and can be progressed by directly updating the database in an algorithmic manner.
Comments on this publication
ResearchGate members can add comments. Sign up now and post your comment!
Similar publications
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.
