A database type approach for progressing action theories with bounded effects

Vassos, S and Sardina, S 2011, 'A database type approach for progressing action theories with bounded effects ' in Gerhard Lakemeyer and Sheila A. McIlraith (Eds.) (ed.) Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, College Publications, London,United Kingdom, pp. 467-486.


Document type: Book Chapter
Collection: Book Chapters

Title A database type approach for progressing action theories with bounded effects
Author(s) Vassos, S
Sardina, S
Year 2011
Title of book Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque
Publisher College Publications
Place of publication London,United Kingdom
Editor(s) Gerhard Lakemeyer and Sheila A. McIlraith (Eds.)
Start page 467
End page 486
Subjects Adaptive Agents and Intelligent Robotics
Summary 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.
Copyright notice © 2011 Individual Author and College Publications
Keyword(s) artificial intelligence
knowledge representation and reasoning
ISBN 9781848900448
Versions
Version Filter Type
Access Statistics: 223 Abstract Views  -  Detailed Statistics
Created: Thu, 31 May 2012, 07:51:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us