Reasoning About Action and Change
Dupin De Saint-Cyr, Florence; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2020), Reasoning About Action and Change, in Marquis, Pierre; Papini, Odile; Prade, Henri, A Guided Tour of Artificial Intelligence Research Volume I: Knowledge Representation, Reasoning and Learning, Springer, p. 487-518. 10.1007/978-3-030-06164-7_15
Book titleA Guided Tour of Artificial Intelligence Research Volume I: Knowledge Representation, Reasoning and Learning
Book authorMarquis, Pierre; Papini, Odile; Prade, Henri
Number of pages803
MetadataShow full item record
Author(s)Dupin De Saint-Cyr, Florence
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Abstract (EN)This chapter presents the state of research concerning the formalisation of an agent reasoning about a dynamic system which can be partially observed and acted upon. We first define the basic concepts of the area: system states, ontic and epistemic actions, observations; then the basic reasoning processes: prediction, progression, regression, postdiction, filtering, abduction, and extrapolation. We then recall the classical action representation problems and show how these problems are solved in some standard frameworks. For space reasons, we focus on these major settings: the situation calculus, STRIPS and some propositional action languages, dynamic logic, and dynamic Bayesian networks. We finally address a special case of progression, namely belief update.
Subjects / KeywordsComputational Intelligence; Artificial Intelligence
Showing items related by title and author.