Abstract
This paper explores the challenge of encountering incorrect beliefs in the context of reasoning about actions and changes using action languages with sensing actions. An incorrect belief occurs when some observations conflict with the agent’s own beliefs. A common approach to recover from this situation is to replace the initial beliefs with beliefs that conform to the sequence of actions and the observations. The paper introduces a regression-based and revision-based approach to calculate a correct initial belief. Starting from an inconsistent history consisting of actions and observations, the proposed framework (1) computes the initial belief states that support the actions and observations and (2) uses a belief revision operator to repair the false initial belief state. The framework operates on domains with static causal laws, supports arbitrary sequences of actions, and integrates belief revision methods to select a meaningful initial belief state among possible alternatives.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We ignore the possibility that some other agent turns on the light while the robot is moving to the kitchen. This could be identified with the first option.
- 2.
- 3.
The original definition by Dalal identifies the set of formulae which are true in \(\min (\varSigma _\varphi , \sqsubseteq _\psi )\).
- 4.
The results of the computation is the same if states are represented using only positive literals. In [14], \(\{\{\lnot Litmus, Litmus\}\}\) would be considered as \(\{\{Litmus\}\}\).
- 5.
Note we freely exchange between sets of literals and conjunctions of literals.
- 6.
- 7.
We omit the precise description to save space.
- 8.
E.g., all non-probabilistic domains in www.icaps-conference.org/competitions.
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. JSL 50(2), 510–530 (1985)
Aravanis, T.I., Peppas, P., Williams, M.: Iterated belief revision and Dalal’s operator. In: Hellenic Conference on Artificial Intelligence, pp. 26:1–26:4 (2018). https://doi.org/10.1145/3200947.3201038
Balduccini, M., Gelfond, M.: Diagnostic reasoning with a-prolog. Theory Pract. Logic Program. 3(4,5), 425–461 (2003)
Baral, C., McIlraith, S., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: KRR, pp. 311–322 (2000)
Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Trans. Database Syst. 10(4), 563–603 (1985)
Dalal, M.: Investigations into theory of knowledge base revision. In: Proceedings of the AAAI, pp. 449–479 (1988)
Delgrande, J.P., Peppas, P., Woltran, S.: General belief revision. J. ACM 65(5), 29:1–29:34 (2018). https://doi.org/10.1145/3203409
Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: Belief revision of logic programs under answer set semantics. In: KRR, pp. 411–421 (2008). http://www.aaai.org/Library/KR/2008/kr08-040.php
Hunter, A., Delgrande, J.P.: Iterated belief change due to actions and observations. J. Artif. Intell. Res. (JAIR) 40, 269–304 (2011)
Hunter, A., Delgrande, J.P.: Belief change with uncertain action histories. J. Artif. Intell. Res. (JAIR) 53, 779–824 (2015)
Lobo, J., Mendez, G., Taylor, S.: Adding knowledge to the action description language A. In: AAAI 1997, pp. 454–459 (1997)
Peppas, P.: A panorama of iterated revision. In: Hansson, S.O. (ed.) David Makinson on Classical Methods for Non-Classical Problems. OCL, vol. 3, pp. 71–94. Springer, Dordrecht (2014). https://doi.org/10.1007/978-94-007-7759-0_5
Pham, L., Pontelli, E., Tardivo, F., Son, T.C.: A logic programming approach to regression based repair of incorrect initial belief states. Technical report, NMSU (2020)
Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the FGCS, pp. 455–462. Springer (1988)
Scherl, R., Levesque, H.: Knowledge, action, and the frame problem. Artif. Intel. 144(1–2) (2003)
Shapiro, S., Pagnucco, M., Lespérance, Y., Levesque, H.J.: Iterated belief change in the situation calculus. Artif. Intell. 175(1), 165–192 (2011)
Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artif. Intell. 125(1–2), 19–91 (2001)
Tu, P., Son, T., Gelfond, M., Morales, R.: Approximation of action theories and its application to conformant planning. AIJ 175(1), 79–119 (2011)
Winslett, M.: Reasoning about action using a possible models approach. In: AAAI, pp. 89–93 (1988)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Tardivo, F., Pham, L., Son, T.C., Pontelli, E. (2021). A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. In: Morales, J.F., Orchard, D. (eds) Practical Aspects of Declarative Languages. PADL 2021. Lecture Notes in Computer Science(), vol 12548. Springer, Cham. https://doi.org/10.1007/978-3-030-67438-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-67438-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67437-3
Online ISBN: 978-3-030-67438-0
eBook Packages: Computer ScienceComputer Science (R0)