Abstract
State change is an essential issue in robotic dynamics modeling. In this paper, we investigate this issue over dynamic domains in the sense that an object in the domain may be created or destroyed by executing some plan of the system. It is observed that current logic based dynamic systems, e.g. the STRIPS-like systems, are semantically problematic to deal with dynamic domains in state change. It turns out that representing nonexisting objects in a logic system becomes a key point to handle this problem. Based on this observation, we define N-structures for an arbitrary first order language where syntactic terms are allowed to denote nonexisting objects with respect to the domain of quantification. Using N-structures to model dynamic domains, we then generalize classical STRIPS to G-STRIPS which can represent and reason about state change involving creation or destruction of objects. We also specify a provablely correct semantics for a class of G-STRIPS systems based on N-structures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bencivenga, E.: Free logic. Handbook of Philosophical Logic III, 373–426 (1986)
Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
Foo, N.Y., Nayak, A., Pagucco, M., Peppas, P., Zhang, Y.: Action localness, genericity and invariants in STRIPS. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 549–554. Morgan Kaufmann Publishers Inc., San Francisco (1997)
Lifschitz, V.: On the semantics of STRIPS. In: Proceedings of 1986 Workshop on Reasoning about Actions and Plans, pp. 1–9. Morgan Kaufmann Publishers Inc., San Francisco (1987)
Lin, F., Reiter, R.: How to progress a database. Artificial Intelligence 92, 131–167 (1997)
Pednault, E.P.: ADL: exploring the middle ground between STRIPS and the situation calculus. In: Proceedings of KR 1989, pp. 324–332 (1989)
Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Database, pp. 55–56. Plenum Press, New York (1978)
Winslett, M.: Reasoning about action using a possible models approach. In: Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI 1988), pp. 89–93. Morgan Kaufmann Publishers, Inc., San Francisco (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zangh, Y., Bai, Y. (2003). G-STRIPS – A Generalized STRIPS System for Handling State Change over Dynamic Domains. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds) Foundations of Intelligent Systems. ISMIS 2003. Lecture Notes in Computer Science(), vol 2871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39592-8_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-39592-8_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20256-1
Online ISBN: 978-3-540-39592-8
eBook Packages: Springer Book Archive