Göm menyn
Files: Description 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.
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

Responsible for this page: Peter Berkesand
Last updated: 2017-02-21