LiU Electronic Press
Full-text not available in DiVA
Author:
Karlsson, Lars (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Gustafsson, Joakim (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
Reasoning about Concurrent Interaction
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Article in journal (Refereed)
Language:
English
Publisher: Oxford University Press
Status:
Published
In:
Journal of logic and computation (Print)(ISSN 0955-792X)(EISSN 1465-363X)
Volume:
9
Issue:
5
Pages:
623-650
Year of publ.:
1999
URI:
urn:nbn:se:liu:diva-60034
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-60034
Subject category:
Computer Science
SVEP category:
Computer science
Keywords(en) :
Knowledge representation, theories of action, concurrency
Abstract(en) :

In this paper we present TAL-C, a logic of action and change for worlds with action concurrency. TAL-C has a first-order semantics and proof theory. It builds on an existing logic TAL, which includes the use of dependency laws for dealing with ramification. It is demonstrated how TAL-C can represent a number of phenomena related to action concurrency: action duration, how the effects of one action interferes with or enables another action, synergistic effects of concurrent actions, conflicting and cumulative effect interactions, and resource conflicts. A central idea is that actions are not described as having effects that directly alter the world state. Instead, actions produce influences, and the way these influences alter the world state are described in specialized influence laws. Finally, we address how TAL-C narratives can be written to support modularity.

Available from:
2010-10-04
Created:
2010-10-04
Last updated:
2011-02-23
Statistics:
8 hits