Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

The Concurrent, Continuous Fluent Calculus

Michael Thielscher
Studia Logica: An International Journal for Symbolic Logic
Vol. 67, No. 3, On Commonsense Reasoning 2 (Apr., 2001), pp. 315-331
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016287
Page Count: 17
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
The Concurrent, Continuous Fluent Calculus
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[315]
    [315]
  • Thumbnail: Page 
316
    316
  • Thumbnail: Page 
317
    317
  • Thumbnail: Page 
318
    318
  • Thumbnail: Page 
319
    319
  • Thumbnail: Page 
320
    320
  • Thumbnail: Page 
321
    321
  • Thumbnail: Page 
322
    322
  • Thumbnail: Page 
323
    323
  • Thumbnail: Page 
324
    324
  • Thumbnail: Page 
325
    325
  • Thumbnail: Page 
326
    326
  • Thumbnail: Page 
327
    327
  • Thumbnail: Page 
328
    328
  • Thumbnail: Page 
329
    329
  • Thumbnail: Page 
330
    330
  • Thumbnail: Page 
331
    331