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
Type
Chapitre d'ouvrageDate
2020Book title
A Guided Tour of Artificial Intelligence Research Volume I: Knowledge Representation, Reasoning and LearningBook author
Marquis, Pierre; Papini, Odile; Prade, HenriPublisher
Springer
ISBN
978-3-030-06163-0
Number of pages
803Pages
487-518
Publication identifier
Metadata
Show full item recordAuthor(s)
Dupin De Saint-Cyr, FlorenceHerzig, Andreas
Lang, Jérôme
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Marquis, Pierre
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 / Keywords
Computational Intelligence; Artificial IntelligenceRelated items
Showing items related by title and author.
-
Dupin de Saint-Cyr, Florence; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2014) Chapitre d'ouvrage
-
Dupin de Saint-Cyr, Florence; Lang, Jérôme (2011) Article accepté pour publication ou publié
-
Herzig, Andreas; Lang, Jérôme; Marquis, Pierre; Polacsek, T. (2001) Communication / Conférence
-
Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2013) Article accepté pour publication ou publié
-
van Ditmarsch, Hans; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2009) Article accepté pour publication ou publié