Abstract
The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions occur concurrently.
Similar content being viewed by others
References
Baker, A. B., ‘A simple solution to the Yale Shooting problem’, in R. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 11-20, Toronto, Kanada, 1989, Morgan Kaufmann.
Bibel, W., ‘Let's plan it deductively!’ Artificial Intelligence 103(1-2):183-208, 1998.
Diekert, V., and G. Rozenberg, editors, The Book of Traces, World Scientific, Singapore, 1995.
Green, C., ‘Theorem proving by resolution as a basis for question-answering systems’, Machine Intelligence, 4:183-205, 1969.
HÖlldobler, S., and J. Schneeberger, ‘A new deductive approach to planning’, New Generation Computing 8:225-244, 1990.
McCarthy, J., and P.J. Hayes, ‘Some philosophical problems from the standpoint of artificial intelligence’, Machine Intelligence 4:463-502, 1969.
Reiter, R., ‘The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression’, in V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359-380, Academic Press, 1991.
Reiter, R., ‘Natural actions, concurrency and continuous time in the situation calculus’, in L.C. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 2-13, Cambridge, MA, November 1996, Morgan Kaufmann.
Sandewall, E., ‘Combining logic and differential equations for describing real-world systems’, in R. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 412-420, Toronto, Kanada, 1989, Morgan Kaufmann.
Shanahan, M., ‘A circumscriptive calculus of events’, Artificial Intelligence 77:249-284, 1995.
StÖrr, H.-P., and M. Thielscher, ‘A new equational foundation for the fluent calculus’, in J. Lloyd et al, editor, Proceedings of the International Conference on Computational Logic (CL), volume 1861 of LNAI, pages 733-746, London (UK), July 2000, Springer.
Thielscher, M., ‘Ramification and causality’, Artificial Intelligence 89(1-2):317-364, 1997.
Thielscher, M., ‘Fluent Calculus planning with continuous change’, Electronic Transactions on Artificial Intelligence 1999. (Submitted.) URL: http://www.ep.liu.se/ea/cis/1999/011/.
Thielscher, M., ‘From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem’, Artificial Intelligence 111(1-2):277-299, 1999.
Thielscher, M., ‘Nondeterministic actions in the fluent calculus: Disjunctive state update axioms’, in S. Hölldobler, editor, Intellectics and Computational Logic, pages 327-345, Kluwer Academic, 2000.
Thielscher, M., ‘Representing the knowledge of a robot’, in A. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 109-120, Breckenridge, CO, April 2000, Morgan Kaufmann.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Thielscher, M. The Concurrent, Continuous Fluent Calculus. Studia Logica 67, 315–331 (2001). https://doi.org/10.1023/A:1010558931274
Issue Date:
DOI: https://doi.org/10.1023/A:1010558931274