Murray Shanahan  Home/Search
Context Related
Links: DBLP | lp.doc.ic.ac.uk/_lp/...cont_change.ps.Z ics.ee.ic.ac.uk/~mps...cont_change.ps.Z isi.edu/~blythe/cs541/R...shanahan90.ps 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: dcs.qmw.ac.uk/~mps/pubs (more) From: isi.edu/~blythe/cs541/syllabus (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Event Calculus of Kowalski and Sergot only deals with discrete change. This paper introduces a simplified version of the Event Calculus and extends it to deal with continuous change, as in the height of a falling object or the level of liquid in a filling vessel. The idea of autotermination is introduced. A period of continuous change autoterminates if it brings about the event which terminates it. For example, when the increasing level of water in a sink reaches the overflow, it ceases to... (Update)
Context of citations to this paper: More
...two simple applications involving real number entities are given. The rst example uses Shanahan s extension of EC for continuous change [49]. The example was presented in [3] and is a variant of one in [49] There is a barrel b and two water pipes p 1 ; p 2 , two taps tap 1 ;...
...in the environment. This technique has been integrated, for example, into situation calculus [Reiter, 1996] event calculus [Shanahan, 1990] , or fluent calculus [Thielscher, 2001a] Implementing these approaches, the agent programming and planning languages ConGolog...
Cited by: More
Intelligent Execution Monitoring in Dynamic Environments - Fichtner, Großmann.. (2003) (Correct)
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (Correct)
Fluent Logic Programming - Vincenzo Pallotta Theoretical (Correct)
Active bibliography (related documents): More All
0.5: Prediction is Deduction but Explanation is Abduction - Shanahan (1989) (Correct)
0.1: Default Reasoning about Spatial Occupancy - Shanahan (1995) (Correct)
0.1: Modelling Topological and Metrical Properties in Physical.. - Randell, Cohn (1989) (Correct)
Similar documents based on text: More All
0.4: Reconciling the Event Calculus with the Situation Calculus - Kowalski, Sadri (1997) (Correct)
0.2: REACTIVE PASCAL and the Event Calculus: A platform to program.. - Quintero (1996) (Correct)
0.1: The Event Calculus Explained - Shanahan (1999) (Correct)
Related documents from co-citation: More All
38: A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
22: Combining Logic and Differential Equations for Describing Real World Systems (context) - Sandewall
19: Abductive Planning with Event Calculus (context) - Eshghi - 1988
BibTeX entry: (Update)
M. Shanahan, Representing Continuous Change in the Event Calculus, Proceedings of ECAI'90 Conference, Stockholm, 1990, pp. 598--603. http://citeseer.ist.psu.edu/shanahan90representing.html More
@inproceedings{ shanahan90representing,
author = "Murray Shanahan",
title = "Representing Continuous Change in the Event Calculus",
booktitle = "European Conference on Artificial Intelligence",
pages = "598-603",
year = "1990",
url = "citeseer.ist.psu.edu/shanahan90representing.html" }
Citations (may not include all citations):663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
444 Towards a General Theory of Action and Time (context) - Allen - 1984 ACM DBLP
324 A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
160 A Temporal Logic for Reasoning about Processes and Plans (context) - McDermott - 1982
113 Artificial Intelligence (context) - Kuipers, Simulation - 1986
103 Prediction Is Deduction but Explanation Is Abduction - Shanahan - 1989
74 A Qualitative Physics Based on Confluences (context) - deKleer, Brown - 1985 ACM DBLP
44 Combining Logic and Differential Equations for Describing Re.. (context) - Sandewall - 1989
6 Ontology for Liquids (context) - Hayes - 1985
2 Imperial College Department of Computing Technical Report (context) - Kowalski, in et al. - 1989
1 A Calculus for Temporal and Qualitative Reasoning (context) - Shanahan - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/~mps/pubs.html): More
Incrementality and Logic Programming - Shanahan (1988) (Correct)
Narratives in the Situation Calculus - Miller, al. (1994) (Correct)
Robotics and the Common Sense Informatic Situation - Shanahan (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