 |
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
 |
|
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
|
| HAL : hal-00146353, version 1 |
| arXiv : 0705.1999 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| A first-order Temporal Logic for Actions |
|
|
| Camilla Schwind 1 |
|
|
| (17/12/2006) |
|
|
|
| We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantified. This makes it possible to handle simultaneously time and states. We discuss applications of this language to action theory where it is possible to express many temporal aspects of actions, as for example, beginning, end, time points, delayed preconditions and results, duration and many others. We present tableaux rules for a decidable fragment of this logic. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Intelligence artificielle Informatique/Logique en informatique |
|
|
| Modal Action Logic – Temporal Reasoning |
|
|
|
|
|
| hal-00146353, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00146353 | |
| oai:hal.archives-ouvertes.fr:hal-00146353 | |
| Contributeur : Camilla Schwind | |
| Soumis le : Lundi 14 Mai 2007, 17:40:35 | |
| Dernière modification le : Lundi 14 Mai 2007, 20:36:33 | |
