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/. ()