Title :
The Event Calculus assessed
Author :
Brandano, Sergio
Author_Institution :
Dept. of Comput. Sci., London Univ., UK
Abstract :
The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the features and fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no adjustments of the language or reasoning method were necessary. The result implies that the claims on the expressiveness and problem-solving power of this logic were indeed correct
Keywords :
nonmonotonic reasoning; temporal logic; temporal reasoning; Full Event Calculus; Ksp-IA class; expressiveness; features and fluents taxonomy; nonmonotonic temporal reasoning; preference logic; problem-solving power; Calculus; Computer science; Educational institutions; Licenses; Logic design; Problem-solving; Software standards; Taxonomy; Warranties;
Conference_Titel :
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on
Conference_Location :
Cividale del Friuli
Print_ISBN :
0-7695-1107-4
DOI :
10.1109/TIME.2001.930691
