Abductive reasoning

About: Abductive reasoning is a research topic. Over the lifetime, 1917 publications have been published within this topic receiving 44645 citations. The topic is also known as: abduction & abductive inference.

Abductive reasoning in normal residuated logic programming via bipolar max-product fuzzy relation equations.

Abstract: Fuzzy relation equations have recently been extended to a more general framework in which the unknown variables appear together with their logical negation connectives, giving rise to the called bipolar fuzzy relation equations. This paper shows an abductive procedure for a special kind of normal residuated logic program by means of bipolar maxproduct fuzzy relation equations. From this procedure, interesting properties relating the models of a given normal residuated logic program to the solutions of its corresponding bipolar max-product fuzzy relation equation is deduced.

Pre and Post Preferences over Abductive Models

Abstract: This work proposes the application of preferences over abductive logic programs as an appealing declarative formalism to model choice situations. In particular, both a priori and a posteriori handling of preferences between abductive extensions of a theory are addressed as complementary and essential mechanisms in a broader framework for abductive reasoning. Furthermore, both of these choice mechanisms are combined with other formalisms for decision making, like economic decision theory, resulting in theories containing the best advantages from both qualitative and quantitative formalisms. Several examples are presented throughout to illustrate the enounced methodologies.

A temporal abductive diagnostic process for runtime properties violations

Abstract: Monitoring the operation of complex software systems at runtime can detect violations of certain properties of interest but cannot always provide diagnostic information which is significant for understanding the cause of the violation and the adoption of appropriate countermeasures against it. In this paper, we describe a process for diagnosing runtime violations of security and dependability properties that we have developed as part of a general runtime monitoring framework that is based on Event Calculus. The diagnosis generation process is based on a combination of abductive, temporal and evidential reasoning over violations of system properties.

Abduction in work-planning problems in complex objects

Abstract: Assumption-based truth maintenance systems (ATMSs) and basic concepts of operating these systems are described. An ATM-based abduction algorithm (AAA) is developed. A heuristic method for this algorithm is proposed. The experimental results of power-maintenance scheduling justified the algorithm's efficiency.