Reasoning about Concurrent Interaction
Karlsson, Lars Gustafsson, Joakim
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
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.
Knowledge representation, theories of action, concurrency
National CategoryComputer Science
IdentifiersURN: urn:nbn:se:liu:diva-60034DOI: 10.1093/logcom/9.5.623OAI: oai:DiVA.org:liu-60034DiVA: diva2:354756