It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2002

It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation

Résumé

In this paper we argue for a weak form of causality in terms of a dependence relation involving actions, atoms and formulae in order to deal with the frame and ramification problems. This relation allows the atoms to change their value without forcing or causing it. Once integrated in the framework of the Logic of Actions and Plans LAP, 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 to deal with scenarios involving indeterminate and indirect effects of actions which no other causal framework can handle.
Fichier principal
Vignette du fichier
It depends on the context_A decidable logic of actions and plans based on a ternary dependence relation.pdf (418.98 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

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

Identifiants

  • HAL Id : hal-03534109 , version 1

Citer

Marcos Alexandre Castilho, Andreas Herzig, Ivan Varzinczak. It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), Apr 2002, Toulouse, France. ⟨hal-03534109⟩
46 Consultations
28 Téléchargements

Partager

More