Title :
Reasoning about concurrent actions within features and fluents
Author_Institution :
Dept. of Comput. Sci., Karlstad Univ., Sweden
Abstract :
E. Sandewall (1994) proposed a systematic assessment method for temporal logics. In favour of the assessment of logics, we have introduced concurrency into his framework. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. We have then applied the entailment criteria PCM (prototypical chronological minimization of change) and PCMF (filtered PCM) to selecting intended models of common-sense theories where concurrent actions are allowed, and have proved that the criteria only lead to those intended models for the respective subsets of such theories
Keywords :
common-sense reasoning; minimisation; parallel processing; temporal logic; temporal reasoning; PCMF; common-sense theories; entailment criteria; features; filtered PCM; fluents; independent concurrent actions; intended model selection; interdependent concurrent actions; prototypical chronological change minimization; reasoning; systematic assessment method; temporal logics; theory subsets; Artificial intelligence; Computer science; Concurrent computing; History; Intelligent agent; Logic; Minimization; Phase change materials; Prototypes; Sequential analysis;
Conference_Titel :
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location :
Key West, FL
Print_ISBN :
0-8186-7528-4
DOI :
10.1109/TIME.1996.555668
