ACLP: Abductive Constraint Logic Programming
نویسندگان
چکیده
منابع مشابه
ACLP: Abductive Constraint Logic Programming
This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and enhanced by its non-trivial integration with constraint solving. This integration of constraint solving into abductive reasoning facilitates a general form of constructive ab...
متن کاملProbabilistic Abductive Logic Programming in Constraint Handling Rules
A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. Compared with other probabilistic versions of abductive logic programming, the approach is characterized by higher genera...
متن کاملA Unifying Framework for Abductive and Constraint Logic Programming
This paper, which is based on We97], presents a unifying framework for the areas of Abduc-tive Logic Programming (ALP), Constraint Logic Programming (CLP) and Semantic Query Optimization (SQO). Links between these areas are pointed out and used to motivate an extension of normal LP by integrity constraints. Moreover, LP if clauses are replaced by if-and-only-if deenitions with disjunctions in t...
متن کاملImplementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. Compared with other probabilistic versions of abductive logic programming, the approach is characterized by higher genera...
متن کاملAbductive Logic Programming 1
This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 2000
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(99)00075-8