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.

A Hybrid Learning Model of Abductive Reasoning

Abstract: Multicausal abductive tasks appear to have deliberate and implicit components: people generate and modify explanations using a series of recognizable steps, but these steps appear to be guided by an implicit hypothesis evaluation process. This paper proposes a hybrid symbolic-connectionist learning architecture for multicausal abduction. The architecture tightly integrates a symbolic Soar model for generating and modifying hypotheses with Echo, a connectionist model for evaluating hypotheses. The symbolic component uses knowledge compilation to quickly acquire general rules for generating and modifying hypotheses, and for making decisions based on the current best explanation. The connectionist component learns to provide better hypothesis evaluation by implicitly acquiring explanatory strengths based on the frequencies of events during problem solving.

The RatioLog Project: Rational Extensions of Logical Reasoning

Abstract: Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep question answering by methods from automated deduction and cognitive computing. In a first phase, we combine techniques from information retrieval and machine learning to find appropriate answer candidates from the huge amount of text in the German version of the free encyclopedia "Wikipedia". In a second phase, an automated theorem prover tries to verify the answer candidates on the basis of their logical representations. In a third phase - because the knowledge may be incomplete and inconsistent -, we consider extensions of logical reasoning to improve the results. In this context, we work toward the application of techniques from human reasoning: We employ defeasible reasoning to compare the answers w.r.t. specificity, deontic logic, normative reasoning, and model construction. Moreover, we use integrated case-based reasoning and machine learning techniques on the basis of the semantic structure of the questions and answer candidates to learn giving the right answers.

The assessment of argumentation based on abduction

Abstract: Abduction is a widely used but deductively invalid type of reasoning. In this paper I will develop a tool for the assessment of argumentation based on abduction that can be used to analyse and evaluate the type of argumentation as it occurs in institutionalized contexts like science and medical diagnosis. I will summarize the most important definitions of abduction and propose an argumentative pattern on the basis of a critical examination of two extant dialectical accounts of the argument scheme involved.

Automated activity and progress analysis based on non-monotonic reasoning of construction operations

Abstract: PurposeReal-time location sensing (RTLS) systems offer a significant potential to advance the management of construction processes by potentially providing real-time access to the locations of workers and equipment. Many location-sensing technologies tend to perform poorly for indoor work environments and generate large data sets that are somewhat difficult to process in a meaningful way. Unfortunately, little is still known regarding the practical benefits of converting raw worker tracking data into meaningful information about construction project progress, effectively impeding widespread adoption in construction.Design/methodology/approachThe presented framework is designed to automate as many steps as possible, aiming to avoid manual procedures that significantly increase the time between progress estimation updates. The authors apply simple location tracking sensor data that does not require personal handling, to ensure continuous data acquisition. They use a generic and non-site-specific knowledge base (KB) created through domain expert interviews. The sensor data and KB are analyzed in an abductive reasoning framework implemented in Answer Set Programming (extended to support spatial and temporal reasoning), a logic programming paradigm developed within the artificial intelligence domain.FindingsThis work demonstrates how abductive reasoning can be applied to automatically generate rich and qualitative information about activities that have been carried out on a construction site. These activities are subsequently used for reasoning about the progress of the construction project. Our framework delivers an upper bound on project progress (“optimistic estimates”) within a practical amount of time, in the order of seconds. The target user group is construction management by providing project planning decision support.Research limitations/implicationsThe KB developed for this early-stage research does not encapsulate an exhaustive body of domain expert knowledge. Instead, it consists of excerpts of activities in the analyzed construction site. The KB is developed to be non-site-specific, but it is not validated as the performed experiments were carried out on one single construction site.Practical implicationsThe presented work enables automated processing of simple location tracking sensor data, which provides construction management with detailed insight into construction site progress without performing labor-intensive procedures common nowadays.Originality/valueWhile automated progress estimation and activity recognition in construction have been studied for some time, the authors approach it differently. Instead of expensive equipment, manually acquired, information-rich sensor data, the authors apply simple data, domain knowledge and a logical reasoning system for which the results are promising.