Abstract
Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet at an intersection in a street network. In such situations right-of-way rules regulate the actions the vehicles involved may perform. For this application scenario we show how the Golog framework for reasoning about action and change can be enhanced by external reasoning services that implement techniques known from the domain of Qualitative Spatial Reasoning.
This work was partially supported by Deutsche Forschungsgemeinschaft as part of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition, project R4-[LogoSpace].
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
Levesque, H.J., Pirri, F., Reiter, R.: Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence 2(18), 159–178 (1998)
McCarthy, J.: Situations, actions and causal laws. Technical Report Memo 2, Stanford University Artificial Intelligence Laboratory, Stanford, CA (1963)
de Weghe, N.V., Cohn, A.G., Maeyer, P.D., Witlox, F.: Representing moving objects in computer-based expert systems: the overtake event example. Expert Syst. Appl. 29(4), 977–983 (2005)
Giacomo, G.D., Levesque, H.J.: An incremental interpreter for high-level programs with sensing. In: Levesque, H.J., Pirri, F. (eds.) Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, pp. 86–102. Springer, Heidelberg (1999)
Dylla, F., Frommberger, L., Wallgrün, J.O., Wolter, D., Nebel, B., Wölfl, S.: SailAway: Formalizing navigation rules. In: Proceedings of the Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication, AISB 2007 (2007)
Dylla, F., Wallgrün, J.O.: Qualitative spatial reasoning with conceptual neighborhoods for agent control. Journal of Intelligent and Robotic Systems 48(1), 55–78 (2007)
Dylla, F., Moratz, R.: Exploiting qualitative spatial neighborhoods in the situation calculus. In: Freksa, C., Knauff, M., Krieg-Brückner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol. 3343, pp. 304–322. Springer, Heidelberg (2005)
Renz, J., Mitra, D.: Qualitative direction calculi with arbitrary granularity. In: Zhang, C., Guesgen, H.W., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol. 3157, pp. 65–74. Springer, Heidelberg (2004)
Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Singh, M., Travé-Massuyès, L. (eds.) Decision Support Systems and Qualitative Reasoning, pp. 181–187. North-Holland, Amsterdam (1991)
Gantner, Z., Westphal, M., Wölfl, S.: GQR - A fast reasoner for binary qualitative constraint calculi. In: Proceedings of the AAAI 2008 Workshop on Spatial and Temporal Reasoning. AAAI Press, Menlo Park (2008)
Kelly, R.F., Pearce, A.R.: Towards high-level programming for distributed problem solving. In: IAT 2006: Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology, Washington, DC, USA, pp. 490–497. IEEE Computer Society, Los Alamitos (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pommerening, F., Wölfl, S., Westphal, M. (2009). Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. In: Mertsching, B., Hund, M., Aziz, Z. (eds) KI 2009: Advances in Artificial Intelligence. KI 2009. Lecture Notes in Computer Science(), vol 5803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04617-9_59
Download citation
DOI: https://doi.org/10.1007/978-3-642-04617-9_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04616-2
Online ISBN: 978-3-642-04617-9
eBook Packages: Computer ScienceComputer Science (R0)