Name
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. |
Year | Venue | Keywords |
|---|---|---|
2001 | AI*IA | dynamic logic,action theory,temporal logic,dynamic linear time temporal,logic dltl,denoted dltl,sequential agent,common action,finite set,multiagent domain,product version,indexation |
Field | DocType | ISBN |
Discrete mathematics,Temporal logic of actions,Interval temporal logic,Computer science,Zeroth-order logic,Linear temporal logic,Artificial intelligence,Dynamic logic (digital electronics),Temporal logic,Linear logic,Dynamic logic (modal logic) | Conference | 3-540-42601-9 |
Citations | PageRank | References |
1 | 0.36 | 21 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Laura Giordano | 1 | 115 | 16.64 |
| Alberto Martelli | 2 | 585 | 44.25 |
| Camilla B. Schwind | 3 | 378 | 32.30 |