Abstract
Accounts of belief and knowledge in the Situation Calculus have been developed and discussed for some time yet there is no extant implementation. We develop a practical implementation of belief and belief change in the Situation Calculus based on default logic for which we have an implemented solver. After establishing the mapping with default logic we demonstrate how belief change in the Situation Calculus can be used to solve an interesting problem in robotics – reasoning with misleading information. Motivated by a challenge in the RoboCup@Home competition, we give a solution to the problem of planning robustly in cases where operators provide the robot with misleading or incorrect information.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Shapiro, S., Pagnucco, M., Lespérance, Y., Levesque, H.: Iterated belief change in the situation calculus. AIJ 175(1), 165–192 (2011)
Demolombe, R., del Pilar Pozos Parra, M.: A simple and tractable extension of situation calculus to epistemic logic. In: Ohsuga, S., Raś, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol. 1932, pp. 515–524. Springer, Heidelberg (2000)
Demolombe, R., Pozos-Parra, M.P.: Belief change in the situation calculus: A new proposal without plausibility levels. In: Proc. of the Workshop on Belief Revision and Dynamic Logic at ESSLLI (2005)
Shapiro, S., Pagnucco, M., Lespérance, Y., Levesque, H.: Iterated belief change in the situation calculus. In: KR, pp. 527–538 (2000)
Strass, H.: The draculasp system: Default reasoning about actions and change using logic and answer set programming. In: NMR (2012)
McCarthy, J.: Situations, actions and causal laws. Stanford AI Project Memo 2 (1963)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)
Cohen, P., Levesque, H.: Rational interaction as the basis for communication. In: Cohen, P., Morgan, J., Pollack, M. (eds.) Intentions in Communication, pp. 221–256. MIT Press (1990)
Scherl, R., Levesque, H.: Knowledge, action, and the frame problem. AIJ 144(1-2), 1–39 (2003)
Levesque, H.: What is planning in the presence of sensing? In: AAAI, pp. 1139–1146 (1996)
Baumann, R., Brewka, G., Strass, H., Thielscher, M., Zaslawski, V.: State defaults and ramifications in the unifying action calculus. In: KR, pp. 435–444 (2010)
Gelfond, M.: Answer Sets. In: Handbook of KR, pp. 285–316 (2008)
Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS (LNAI), vol. 838, pp. 247–260. Springer, Heidelberg (1994)
Reiter, R.: A logic for default reasoning. AIJ 13, 81–132 (1980)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Gen. Comp. 9, 365–385 (1991)
Delgrande, J., Schaub, T.: Expressing preferences in default logic. AIJ 123(1-2), 41–87 (2000)
Shapiro, S., Lespérance, Y., Levesque, H.: Goal change. In: IJCAI 2005, pp. 582–588 (2005)
Lee, J., Palla, R.: Situation Calculus as Answer Set Programming. In: Proceedings of the Twenty-Fourth Conference on Artificial Intelligence, AAAI 2010, pp. 309–314 (July 2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pagnucco, M., Rajaratnam, D., Strass, H., Thielscher, M. (2013). Implementing Belief Change in the Situation Calculus and an Application. In: Cabalar, P., Son, T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science(), vol 8148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40564-8_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-40564-8_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40563-1
Online ISBN: 978-3-642-40564-8
eBook Packages: Computer ScienceComputer Science (R0)