Abduction in logic programming: a new definition and an abductive procedure based on rewriting

Authors:
Fangzhen Lin;Jia-Huai You
Affiliations:
Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong;Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada
Venue:
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Year:
2001

Citing 8
Cited 6

Signed data dependencies in logic programs

Journal of Logic Programming
Extended stable semantics for normal and disjunctive programs

Logic programming
An analysis of loop checking mechanisms for logic programs

Theoretical Computer Science
Rewrite systems

Handbook of theoretical computer science (vol. B)
Abduction versus closure in causal theories

Artificial Intelligence
On the relations between stable and well-founded semantics of logic programs

Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
From Causal Theories to Successor State Axioms and STRIPS-Like Systems

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence

Disjunctive Explanations

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Unfolding partiality and disjunctions in stable model semantics

ACM Transactions on Computational Logic (TOCL)
Solving abduction by computing joint explanations

Annals of Mathematics and Artificial Intelligence
Outlier detection using default reasoning

Artificial Intelligence
Recycling computed answers in rewrite systems for abduction

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving abduction by computing joint explanations: logic programming formalization, applications to P2P data integration, and complexity results

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

We consider the problem of how an agent creates a discrete spatial representation from its continuous interactions with the environment. Such representation will be the minimal one that explains the experiences of the agent in the environment. In this ...