Quand le raisonnement sur les actions rencontre les logiques stratégiques (MFI 2013) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Reasoning about actions meets strategic logics (MFI 2013)

Quand le raisonnement sur les actions rencontre les logiques stratégiques (MFI 2013)

Résumé

We introduce ATLEA, a novel extension of Alternatingtime Temporal Logic with explicit actions in the object language. ATLEA allows to reason about abilities of agents under commitments to play certain actions. Preand postconditions as well as availability and unavailability of actions can be expressed. We show that the multiagent extension of Reiter’s solution to the frame problem can be encoded into ATLEA. We also consider an epistemic extension of ATLEA. We demonstrate that the resulting logic is sufficiently expressive to reason about uniform choices of actions. Complexity results for the satisfiability problem of ATLEA and its epistemic extension are given in the paper.
Nous introduisons ATLEA : une extension de la logique temporelle ATL (Alternating-time Temporal Logic) par des actions explicites. ATLEA permet de raisonner sur les capacités des agents à exécuter des actions tout en étant respectant des engagements. Elle permet également d’exprimer des pré- et postconditions d’actions ainsi que la disponibilité et non-disponibilité d’actions. Nous montrons que l’extension multi-agent de la solution de Reiter au problème du cadre peut être encodé en ATLEA. Nous considérons aussi une extension épistémique d’ATLEA. Nous démontrons que la logique résultante est suffisamment expressive pour raisonner sur des choix uniformes d’actions. Finalement, l’article contient des résultats de complexité de satisfaisabilité et d’ATLEA et de son extension épistémique.
Fichier principal
Vignette du fichier
mfi13_submission_12.pdf (314.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03464938 , version 1 (07-12-2021)

Identifiants

  • HAL Id : hal-03464938 , version 1

Citer

Andreas Herzig, Emiliano Lorini, Dirk Walther. Quand le raisonnement sur les actions rencontre les logiques stratégiques (MFI 2013). Secondes journées francophones sur les Modèles Formels de l'Interaction (MFI 2013), Jul 2013, Lille, France. ⟨hal-03464938⟩
40 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More