Toward the Assessment of Logics for Concurrent Actions

Choong-Ho Yi

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 axe allowed, and proved that the criterion leads to only intended models for a subset of such theories.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.