Murray Shanahan  Home/Search
Context Related
| lp.doc.ic.ac.uk/_l...explanation89.ps.Z ics.ee.ic.ac.uk/~m...explanation89.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: dcs.qmw.ac.uk/~mps/pubs (more) From: ics.ee.ic.ac.uk/~mpsha/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the natural form effect if cause. Any given set of laws expressed in this way can be used for both forwards projection (prediction) and backwards projection (explanation), but abduction must be used for explanation whilst deduction is used for prediction. The approach described uses a shortened form of Kowalski and Sergot's ... (Update)
Cited by: More
Modal Event Calculus in Lolli - Iliano Cervesato Luca (Correct)
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
PROSOCS: a platform for programming software agents in - Computational Logic Kostas (Correct)
Active bibliography (related documents): More All
0.5: Representing Continuous Change in The Event Calculus - Shanahan (1990) (Correct)
0.3: A Simple Solution to the Yale Shooting Problem - Baker (1989) (Correct)
0.3: Incrementality and Logic Programming - Shanahan (1988) (Correct)
Similar documents based on text: More All
0.3: An Abductive Approach for Analysing Event-Based.. - Russo, Miller.. (2002) (Correct)
0.1: The Event Calculus Explained - Shanahan (1999) (Correct)
0.1: An Abductive Event Calculus Planner - Shanahan (1998) (Correct)
Related documents from co-citation: More All
56: A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
53: Abductive Planning with Event Calculus (context) - Eshghi - 1988
33: Temporal reasoning with abductive event calculus - Denecker, Missiaen et al. - 1992
BibTeX entry: (Update)
Murray Shanahan. Prediction is deduction but explanation is abduction. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1055--1060, San Mateo, CA, 1989. Morgan Kaufmann. http://citeseer.ist.psu.edu/shanahan89prediction.html More
@inproceedings{ shanahan89prediction,
author = "Murray Shanahan",
title = "Prediction is Deduction but Explanation is Abduction",
booktitle = "{IJCAI}",
pages = "1055-1060",
year = "1989",
url = "citeseer.ist.psu.edu/shanahan89prediction.html" }
Citations (may not include all citations):324 A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986 ACM DBLP
253 A Logical Framework for Default Reasoning (context) - Poole - 1988 ACM DBLP
204 the Declarative Semantics of Deductive Databases and Logic P.. (context) - Przymusinski - 1988
175 Nonmonotonic Logic and Temporal Projection (context) - Hanks, McDermott - 1987 ACM DBLP
142 Reasoning about Change: Time and Causation from the Standpoi.. (context) - Shoham - 1988 ACM
88 Abductive Planning with Event Calculus (context) - Eshghi - 1988
83 The Logic of Persistence (context) - Kautz
48 Causes for Events: Their Computation and Applications (context) - Cox, Pietrzykowski ACM DBLP
48 A Theorem Proving Approach to Database Integrity (context) - Sadri, Kowalski - 1988
25 Why Things Go Wrong: A Formal Theory of Causal Reasoning (context) - Morgenstern, Stein DBLP
21 RESIDUE: A Deductive Approach to Design Synthesis (context) - Finger, Genesereth - 1985 ACM
3 to appear in Artificial Intelligence (context) - Lifschitz, Rabinov - 1988
3 An Incremental Theorem Prover (context) - Shanahan DBLP
2 Imperial College Department of Computing Technical Report no (context) - Kowalski - 1986
1 Towards a Declarative Theory of Knowledge (context) - Apt, Blair et al. - 1988
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)
Representing Continuous Change in The Event Calculus - Shanahan (1990) (Correct)
Narratives in the Situation Calculus - Miller, al. (1994) (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