liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Reasoning about Concurrent Interaction
1999 (English)In: Journal of logic and computation (Print), ISSN 0955-792X, E-ISSN 1465-363X, Vol. 9, no 5, 623-650Article in journal (Refereed) Published
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.

Keyword [en]
Knowledge representation, theories of action, concurrency
National Category
Computer Science
URN: urn:nbn:se:liu:diva-60034DOI: 10.1093/logcom/9.5.623OAI: diva2:354756
Available from2010-10-04 Created:2010-10-04 Last updated:2011-02-23

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Karlsson, LarsGustafsson, Joakim
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
In the same journal
Journal of logic and computation (Print)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 9 hits
ReferencesLink to record
Permanent link

Direct link