An assessment of actions with indeterminate and indirect effects in some causal approaches - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

An assessment of actions with indeterminate and indirect effects in some causal approaches

Résumé

In this work we investigate the behavior of the main existing fluent-indexed approaches to reasoning about actions in dealing with domains that have actions with both indeterminate and indirect effects. As they all fail in solving this kind of scenarios, we argue for an action-indexed causal notion in order to deal with the frame and ramification problems. This is achieved by defining a weak form of causality in terms of a dependence relation involving actions, literals and formulae. This relation allows the literals to change their truth value without forcing or causing it. Once integrated in the framework of a propositional logic close to PDL, it gives us a simple and powerful formalism to reasoning about actions and a decision procedure in terms of tableau methods. We also show how our approach can deal with scenarios involving indeterminate and indirect effects without being subjected to the same problems of other formalisms. In order to help the knowledge engineer in describing domains, we give an interactive algorithm for generating the required dependence information.
Fichier principal
Vignette du fichier
An assessment of actions with indeterminate and indirect effects in some causal approaches.pdf (188.7 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03534092 , version 1 (19-01-2022)

Identifiants

  • HAL Id : hal-03534092 , version 1

Citer

Andreas Herzig, Ivan Varzinczak. An assessment of actions with indeterminate and indirect effects in some causal approaches. [Research Report] IRIT/2004–08–R, IRIT : Institut de Recherche en Informatique de Toulouse. 2004, pp.1-23. ⟨hal-03534092⟩
19 Consultations
13 Téléchargements

Partager

Gmail Facebook X LinkedIn More