A case study in reasoning about processes

Authors:
Chunping Li
Affiliations:
School of Software, Tsinghua University, Beijing, China
Venue:
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
Year:
2006

Citing 11
Cited 0

Towards a general theory of action and time

Artificial Intelligence
A logic-based calculus of events

New Generation Computing
Problems in formal temporal reasoning

Artificial Intelligence
Database updates in the event calculus

Journal of Logic Programming
Methods and calculi for deduction

Handbook of logic in artificial intelligence and logic programming (vol. 1)
Circumscription

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representing actions in equational logic programming

Proceedings of the eleventh international conference on Logic programming
Representing continuous change in the abductive event calculus

Proceedings of the eleventh international conference on Logic programming
A circumscriptive calculus of events

Artificial Intelligence
The event calculus explained

Artificial intelligence today
Reasoning about continuous processes

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we give a case study to show how a high level semantics of processes can be integrated with the event calculus to reason about complex, continuous processes. We present a formal method to specify the semantics of processes in the event calculus and implement the automated reasoning about processes and continuous change in the logical programming framework.