• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - Request a copy

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'ouvrage
Date
2020
Book title
A Guided Tour of Artificial Intelligence Research Volume I: Knowledge Representation, Reasoning and Learning
Book author
Marquis, Pierre; Papini, Odile; Prade, Henri
Publisher
Springer
ISBN
978-3-030-06163-0
Number of pages
803
Pages
487-518
Publication identifier
10.1007/978-3-030-06164-7_15
Metadata
Show full item record
Author(s)
Dupin De Saint-Cyr, Florence
Herzig, 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 Intelligence

Related items

Showing items related by title and author.

  • Thumbnail
    Raisonnement sur l’action et le changement 
    Dupin de Saint-Cyr, Florence; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2014) Chapitre d'ouvrage
  • Thumbnail
    Belief extrapolation (or how to reason about observations and unpredicted change) 
    Dupin de Saint-Cyr, Florence; Lang, Jérôme (2011) Article accepté pour publication ou publié
  • Thumbnail
    Updates, actions and planning 
    Herzig, Andreas; Lang, Jérôme; Marquis, Pierre; Polacsek, T. (2001) Communication / Conférence
  • Thumbnail
    Propositional Update Operators Based on Formula/Literal Dependence 
    Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2013) Article accepté pour publication ou publié
  • Thumbnail
    Introspective forgetting 
    van Ditmarsch, Hans; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2009) Article accepté pour publication ou publié
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo