论文信息 - Representing the Process Semantics in the Event Calculus

Representing the Process Semantics in the Event Calculus

In this paper we shall present a translation of the process semantics [5] to the event calculus. The aim is to realize a method of integrating high-level semantics with logical calculi to reason about continuous change. The general translation rules and the soundness and completeness theorem of the event calculus with respect to the process semantics are main technical results of this paper.

Chunping Li | Chunping Li

[1] Michael Thielscher,et al. Representing Actions in Equational Logic Programming , 1994, ICLP.

[2] Murray Shanahan,et al. Representing Continuous Change in the Event Calculus , 1990, ECAI.

[3] Danny De Schreye,et al. Representing Continuous Change in the Abductive Event Calculus , 1994, ICLP.

[4] Murray Shanahan,et al. Reasoning about Discontinuities in the Event Calculus , 1996, KR.

[5] Michael Thielscher,et al. Reasoning about Continuous Processes , 1996, AAAI/IAAI, Vol. 1.

[6] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[7] Murray Shanahan,et al. A Circumscriptive Calculus of Events , 1995, Artif. Intell..

[8] G. Neelakantan Kartha,et al. Soundness and Completeness Theorems for Three Formalizations of Action , 1993, IJCAI.

[9] Michael Thielscher. The Logic of Dynamic Systems , 1995, IJCAI.

[10] Patrick Doherty,et al. Cicumscribing Features and Fluents , 1994, ICTL.

[11] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..

[12] Erik Sandewall,et al. The Range of Applicability of Nonmonotonic Logics for the Inertia Problem , 1993, IJCAI.