| Files: |
Description |
File size |
Format |
| Fulltext |
|
PDF (requires Acrobat Reader) |
| Fulltext |
|
PostScript (requires a PostScript Reader) |
| |
|
| Authors: |
Lars Karlsson and Joakim
Gustafsson |
| Article title: |
Reasoning about actions in a multi-agent environment |
| Publ. type: |
Article |
| Volume: |
2 |
| Article No: |
14 |
| Language: |
English |
| Abstract [en]: |
In this paper we present TAL-C, a logic of action and change
for multi-agent environments which has a first-order semantics and proof
theory. It is demonstrated how TAL-C can represent (cases of) a number of
phenomena related to action concurrency: action duration, interference between
one action's effects and another action's execution, bounds on concurrency,
and conflicting, synergistic and cumulative effects of concurrent actions.
A central idea is that most of the dynamics of the world is encoded in dependency
laws relating to specific features instead of encoded directly in action
laws. Thus, treatment of different types of interaction can be customized
for specific features. |
| PDF |
| Publisher: |
Linköping University Electronic Press |
| Year: |
1997 |
| Available: |
1997-11-14 |
| No. of pages: |
22 |
| Series: |
Linköping Electronic Articles in Computer and Information Science |
| ISSN: |
1401-9841 |
REFERENCE TO THIS PAGE:
| Karlsson, Lars and
Gustafsson, Joakim (1997). Reasoning about actions in a multi-agent environment in Linköping Electronic Articles in Computer and Information Science, Vol. 2. http://www.ep.liu.se/ea/cis/1997/014/.
() |
|