A logic-based calculus of events
New Generation Computing
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
A logical framework for default reasoning
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
Miracles in formal theories of action
Artificial Intelligence
RESIDUE: a deductive approach to design synthesis
RESIDUE: a deductive approach to design synthesis
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Statistical Abduction with Tabulation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Logic, Knowledge Representation, and Bayesian Decision Theory
CL '00 Proceedings of the First International Conference on Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Two-Sided Hypotheses Generation for Abductive Analogical Reasoning
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Explanation in the situation calculus
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Theory and Practice of Logic Programming
Using theory completion to learn a robot navigation control program
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Discovering explanations from longitudinal data
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
The independent choice logic and beyond
Probabilistic inductive logic programming
A monolithic approach to automated composition of semantic web services with the Event Calculus
Knowledge-Based Systems
RoleModel: towards a formal model of dramatic roles for story generation
Proceedings of the Intelligent Narrative Technologies III Workshop
Noise and the common sense informatic situation for a mobile robot
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Incremental, approximate planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A new admissible heuristic for minimal-cost proofs
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Argumentation for access control
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
On the generation of alternative explanations with implications for belief revision
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
WAC'04 Proceedings of the First international IFIP conference on Autonomic Communication
Computers & Mathematics with Applications
A logic for state-modifying authorization policies
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
An approach to abductive reasoning in equational logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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 Event Calculus and incorporates the assumption that properties known to hold must have explanations in terms of events. Using abduction to implement this assumption results in a form of default persistence which correctly handles problems which have troubled other formulations. A straightforward extension to SLD resolution is described which implements the abductive approach to explanation, and which complements the well-understood deductive methods for prediction.