On the Use of Logical Abduction in Software Engineering
نویسنده
چکیده
In this paper we survey recent work on the use of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from the logic and expert system communities. We then focus on two applications of abduction in software engineering, namely, analysis and revision of specifications. Specifically, we discuss and illustrate, with examples, how the above two abductive reasoning techniques can be deployed to reason about specifications, detect errors, such as logical inconsistencies, provide diagnostic information about these errors, and identify (possible) changes to revise incorrect specifications. We then conclude with a discussion of open research issues.
منابع مشابه
Qualitative Causal Diagrams for Requirements Engineering
We characterise the software construction process as the negotiation of consistent speciications from a background space of possible connicting requirements. This characterisation can be operationalised using logical abduction over qualitative causal diagrams.
متن کاملPresent an Initial Estimation Method for Logical Transaction-based Software Projects
The first and most basic requirement for successful entry of a project, is have a realistic and reasonable estimation. In this paper, in order to increase accuracy of software projects estimation and reduce complexity of estimation process, we introduce a method called the "Logical Transaction Point (LTP)". Our method is most appropriate for transactional software. By use of this method can est...
متن کاملThe effect of shoulder abduction angles, shoulder dominance and non-dominance and external loading on shoulder muscles co-contraction ratio in overhead athletes and non-athletes
The purpose of this study was to compare the effect of shoulder abduction angles, dominant and non-dominant arm and external loading on co-contraction ratio during arm abduction in scapular plane in overhead athletes and non-athletes. 10 swimmers, 10 handball players and 10 tennis players and ten non-athletes voluntarily participated in this study. Electromyography activity of shoulder muscles ...
متن کاملComparison of the Effect of Corrective Playing in Land and Water on the Curvature Kyphosis and Shoulder Abduction in Boys With Intellectual Disability
Abstract Background & purpose: One of the most common skeletal deformities in children with intellectual disability is kyphosis. Kyphosis decreases the range of shoulder joint motion. This study aims to compare of the effect of eight-weeks corrective playing in land and water on the curvature kyphosis and shoulder joint range of motion in boys with intellectually disability. Materials and Met...
متن کاملAbduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs∗
Very few philosophers of science will object to the idea that abduction plays a key role in scientific reasoning. Still, the logical foundations of abduction have been seriously neglected, both by logicians and philosophers of science. For centuries, the former have discarded abduction as a fallacy (“affirming the consequent”), about which nothing ‘decent’ can be said. The latter are usually mo...
متن کامل