Reasoning about actions in a multiagent domain

Laura Giordano, Alberto Martelli, Camilla Schwind

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

In this paper we present a theory for reasoning about actions which is based on the Product Version of Dynamic Linear Time Temporal Logic (denoted DLTL ⊗) and allows to describe the behaviour of a network of sequential agents which coordinate their activities by performing common actions together. DLTL ⊗ extends LTL, the propositional linear time temporal logic, by strengthening the until operator by indexing it with the regular programs of dynamic logic. Moreover, it allows the formulas of the logic to be decorated with the names of sequential agents, taken from a finite set. The action theory we propose is an extension of the theory presented in [8], which is based on the logic DLTL, and allows reasoning with incomplete initial states and dealing with postdiction, ramifications as well as with nondeterministic actions. Here we extend this theory to cope with multiple agents synchronizing on common actions.

Lingua originaleInglese
Titolo della pubblicazione ospiteAIIA 2001
Sottotitolo della pubblicazione ospiteAdvances in Artificial Intelligence - 7th Congress of the Italian Association for Artificial Intelligence, Proceedings
EditorFloriana Esposito
EditoreSpringer Verlag
Pagine237-248
Numero di pagine12
ISBN (stampa)3540426019, 9783540426011
DOI
Stato di pubblicazionePubblicato - 2001
Evento7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001 - Bari, Italy
Durata: 25 set 200128 set 2001

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2175
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001
Paese/TerritorioItaly
CittàBari
Periodo25/09/0128/09/01

Fingerprint

Entra nei temi di ricerca di 'Reasoning about actions in a multiagent domain'. Insieme formano una fingerprint unica.

Cita questo