The Concurrent, Continuous Fluent Calculus

Studia Logica 67 (3):315-331 (2001)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1010558931274

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Representing Von neumann–morgenstern games in the situation calculus.Oliver Schulte - unknown
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
The Narrative Calculus.Antti Kauppinen - 2015 - Oxford Studies in Normative Ethics 5.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
Fuzzy logics based on [0,1)-continuous uninorms.Dov Gabbay & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):425-449.
Continuous normalization for the lambda-calculus and Gödel’s T.Klaus Aehlig & Felix Joachimski - 2005 - Annals of Pure and Applied Logic 133 (1-3):39-71.
On the continuity points of left-continuous t-norms.S. Jenei & F. Montagna - 2003 - Archive for Mathematical Logic 42 (8):797-810.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
?Words lie in our way?Bruce J. MacLennan - 1994 - Minds and Machines 4 (4):421-37.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Potential continuity of colorings.Stefan Geschke - 2008 - Archive for Mathematical Logic 47 (6):567-578.
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.

Analytics

Added to PP
2009-01-28

Downloads
46 (#345,717)

6 months
10 (#268,644)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.
A circumscriptive calculus of events.Murray Shanahan - 1995 - Artificial Intelligence 77 (2):249-284.
Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.

Add more references