Todd G. Kelley  Home/Search
Context Related
| toronto.edu/~cogrobo/dagstuhl.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ida.liu.se/ext/acres/ellai/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The situation calculus is showing considerable promise as a formal framework for modeling the dynamical worlds encountered in real life. We take advantage of the results of [Rei96] to show that the situation calculus is a powerful and practical modeling language. The paper provides a brief overview of the concurrent temporal situation calculus and how it is used to specify physical behavior. It then presents the Dagstuhl steam boiler problem as an example of a complex physical system ... (Update)
Context of citations to this paper: More
...events whose behaviors are described by known laws of physics. This means that one can write GOLOG simulators of such dynamical systems [8]. Moreover, although we have not yet explored this possibility, the GOLOG programmer can now write robot controllers which allow a robot...
...light. This behavior can also be modeled with the introduction of a natural event, that results from a continuous process (Pinto 1994; Kelley 1996; Reiter 1996) Therefore, state constraint (23) is a simplification, which, for the purposes of the example, yields the expected...
Cited by: More
Natural Actions, Concurrency and Continuous Time in the Situation .. - Reiter (1996) (Correct)
Possibility and Infinitary Nondeterminism in the Situation Calculus - Khalil (1997) (Correct)
Causality, Indirect Effects and Triggers - Pinto (Correct)
Similar documents (at the sentence level):
75.7%: Modeling Complex Systems in the Situation Calculus: A Case Study.. - Kelley (Correct)
6.0%: Reasoning about Physical Systems with the Situation Calculus - Kelley (1995) (Correct)
Active bibliography (related documents): More All
0.3: GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter.. (1997) (Correct)
0.3: Using HYTECH to Synthesize Control Parameters for a Steam.. - Henzinger, Wong-Toi (1996) (Correct)
0.3: Towards Incremental Analysis - Lewis, Lakos (Correct)
Similar documents based on text: More All
0.3: Creating A Validated Implementation Of The Steam Boiler Control - Löffler, Serhrouchni (Correct)
0.3: The Steam Boiler Case Study: Competition of Formal.. - Abrial, Börger.. (1996) (Correct)
0.3: Refinement from a Control Problem to Programs - Schenke, Ravn (1996) (Correct)
Related documents from co-citation: More All
3: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
2: Theorem proving by resolution as basis for question-answering systems (context) - Green - 1969
2: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
Todd G. Kelley, Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem. In L.C. Aiello, J. Doyle and S.C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96), to appear. Morgan Kaufmann Publishers, San Francisco, CA. http://citeseer.ist.psu.edu/436351.html More
@incollection{ kelley96modeling,
author = "Todd G. Kelley",
title = "Modeling Complex Systems in the Situation Calculus: {A} Case Study Using the Dagstuhl Steam Boiler Problem",
booktitle = "{KR}'96: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro",
pages = "26--37",
year = "1996",
url = "citeseer.ist.psu.edu/436351.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1996
151 The frame problem and knowledgeproducing actions - Scherl, Levesque - 1993
127 State constraints revisited - Lin, Reiter - 1994
120 ACM Transactions on Programming Languages and Systems (context) - Lamport, logic - 1994
113 Artificial Intelligence (context) - Kuipers - 1986
98 Proving properties of states in the situation calculus - Reiter - 1993
90 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
58 concurrency and continuous time in the situation calculus (context) - Reiter - 1996
44 Combining logic and differential equations for describing re.. (context) - Sandewall - 1989
22 Temporal Reasoning in the Situation Calculus - Pinto - 1994
8 Development of safety-critical realtime systems - Rischel, Cuellar et al. - 1995
4 Reasoning about physical systems with the situation calculus - Kelley - 1996
3 Graftab --- an innovative requirements specification method (context) - So, Ito - 1995
3 Preliminary report for the Dagstuhl-seminar 9523: Methods fo.. (context) - Abrial, Boerger et al. - 1995
1 Steam boiler control specification problem: A tla solution - Leke, Merz - 1995
1 Simulator for the dagstuhl seminar 1995: Steam boiler contro.. (context) - Lotzbeyer - 1995
Documents on the same site (http://www.ida.liu.se/ext/acres/ellai/): More
Reasoning about Noisy Sensors in the Situation Calculus - Bacchus, Halpern (1995) (Correct)
Reasoning about Time in the Situation Calculus. - Pinto, Reiter (1995) (Correct)
Natural Actions, Concurrency and Continuous Time in the Situation .. - Reiter (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC