More: Tech. Conf. Art. Misc.

Books and Theses

Yi, C.-H. (1995). Reasoning about Concurrent Actions in the Trajectory Semantics.

Abstract: We have introduced concurrency into the framework of Sandewall. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. Following Sandewall's systematical method, we have then applied the entailment criterion PCM to selecting intended models of common sense theories where concurrent actions are allowed, and proved that the criterion leads to only intended models for a subset of such theories. Our work implies that most of Sandewall's results on the range of applicability of logics for sequential actions can be reobtained similarly for concurrent actions as well after necessary generalizations.

Last modified: Wed Jun 14 18:09:45 MET DST 1995