Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
An efficient propositional system for Abductive Logic Programming
View through CrossRef
AbstractAbductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as diagnosis, planning, and verification with formal methods. Implementations of this extension have been using Prolog meta-interpreters and Prolog programs with Constraint Handling Rules (). While the latter adds a clean and efficient interface to the host system, it still suffers in performance for large programs. Here, the concern is to obtain a more performant implementation of the system following a compiled approach. This paper, as a first step in this long term goal, sets out a propositional ALP system following , eliminating the need for and achieving better performance.
Springer Science and Business Media LLC
Title: An efficient propositional system for Abductive Logic Programming
Description:
AbstractAbductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as diagnosis, planning, and verification with formal methods.
Implementations of this extension have been using Prolog meta-interpreters and Prolog programs with Constraint Handling Rules ().
While the latter adds a clean and efficient interface to the host system, it still suffers in performance for large programs.
Here, the concern is to obtain a more performant implementation of the system following a compiled approach.
This paper, as a first step in this long term goal, sets out a propositional ALP system following , eliminating the need for and achieving better performance.
Related Results
A concept analysis of abductive reasoning
A concept analysis of abductive reasoning
AbstractAimTo describe an analysis of the concept of abductive reasoning.BackgroundIn the discipline of nursing, abductive reasoning has received only philosophical attention and r...
The CHR-based Implementation of the SCIFF Abductive System
The CHR-based Implementation of the SCIFF Abductive System
Abduction is a form of inference that supports hypothetical reasoning and has been applied to a number of domains, such as diagnosis, planning, protocol verification. Abductive Log...
Remarks on propositional nominalization
Remarks on propositional nominalization
Moulton’s ‘Remarks on propositional nominalization’ investigates nominalization at the highest reaches of the extended verbal projection, finite CPs. While CPs can express proposit...
Propositional logic and modal logic—A connection via relational semantics
Propositional logic and modal logic—A connection via relational semantics
Abstract
In this paper, by slightly generalizing an observation of Dalla Chiara and Giuntini in their chapter on quantum logic in Handbook of Philosophical Logic, we...
Usefulness of Abductive Reasoning in Nursing Education
Usefulness of Abductive Reasoning in Nursing Education
Background
Hypothetico-deductive reasoning used by novice nurses could limit their ability to explain a presenting care situation in its entirety. Hence, scholars recom...
PROPOSITIONAL ANALYSIS AS A WAY OF REVEALING UNDERLYING CULTURAL MEANINGS IN THE TEXT OF OMENS
PROPOSITIONAL ANALYSIS AS A WAY OF REVEALING UNDERLYING CULTURAL MEANINGS IN THE TEXT OF OMENS
Background. The importance of the study is due to the attention to the picture of the world, the logic of mythopoetic thinking and mythopoetic representations of nature inherent in...
Rationality and Logic
Rationality and Logic
An argument that logic is intrinsically psychological and human psychology is intrinsically logical, and that the connection between human rationality and logic is both constitutiv...
Greek and Roman Logic
Greek and Roman Logic
In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be...