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.
CITATION STYLE
Yi, C. H. (1996). Towards the assessment of logics for concurrent actions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1085, pp. 679–690). Springer Verlag. https://doi.org/10.1007/3-540-61313-7_109
Mendeley helps you to discover research relevant for your work.