TY - GEN
T1 - Reasoning about actions in a multiagent domain
AU - Giordano, Laura
AU - Martelli, Alberto
AU - Schwind, Camilla
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84949989639&partnerID=8YFLogxK
U2 - 10.1007/3-540-45411-x_24
DO - 10.1007/3-540-45411-x_24
M3 - Conference contribution
AN - SCOPUS:84949989639
SN - 3540426019
SN - 9783540426011
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 237
EP - 248
BT - AIIA 2001
A2 - Esposito, Floriana
PB - Springer Verlag
T2 - 7th Congress of the Italian Association for Artificial Intelligence, AIIA 2001
Y2 - 25 September 2001 through 28 September 2001
ER -