论文信息 - Reasoning about continuous change: a formal method based on process description

Reasoning about continuous change: a formal method based on process description

This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can be integrated with the situation calculus. Our aim is to overcome some limitations of the earlier works and to realize the automated reasoning about continuous change.

Chunping Li

[1] Norman Y. Foo,et al. Reasoning about Continuous Change , 1998, PRICAI.

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

[3] Gerhard Lakemeyer,et al. ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.

[4] Michael Thielscher,et al. The Concurrent, Continuous Fluent Calculus , 2001, Stud Logica.

[5] Rob Miller,et al. A Case Study in Reasoning about Actions and Continuous Change , 1996, ECAI.

[6] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

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

[8] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[9] Raymond Reiter,et al. Reasoning about time in the situation calculus , 1995, Annals of Mathematics and Artificial Intelligence.

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

[11] Vladimir Lifschitz,et al. On the Satisfiability of Circumscription , 1986, Artif. Intell..