Using Event Calculus for Protocol Specification An Experiment

摘要

This paper presents an experiment in the use of open logic programming for the specification of a non-trivial temporal problem. Open logic programming is a terminological interpretation of abductive logic programming in which the focus is on the role of the formalism as a declarative logic for knowledge representation, rather than as a study of abduction in the context of logic programming. The experiment consists of the specification of a process protocol in event calculus. The paper is also an illustration of the use of event calculus for the specification of a realistic temporal domain. A comparison between specification of process protocols in event calculus and in the more commonly used process algebras shows fundamental differences between the two approaches.