scispace - formally typeset
Search or ask a question
Topic

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.


Papers
More filters
Journal ArticleDOI
TL;DR: In this paper, the authors reconstructs Peirce's reading of Lange's book, and illustrate what was right and what was wrong in Lange's account of deductive reasoning.
Abstract: According to the received view, Charles S. Peirce's theory of diagrammatic reasoning is derived from Kant's philosophy of mathematics. For Kant, only mathematics is constructive/synthetic, logic being instead discursive/analytic, while for Peirce, the entire domain of necessary reasoning, comprising mathematics and deductive logic, is diagrammatic, i.e. constructive in the Kantian sense. This shift was stimulated, as Peirce himself acknowledged, by the doctrines contained in Friedrich Albert Lange's Logische Studien (1877). The present paper reconstructs Peirce's reading of Lange's book, and illustrates what, according to Peirce, was right and what was problematic in Lange's account of reasoning. It further seeks to explain how Peirce's theory of deductive reasoning was a combination of Kant's philosophy of mathematics and Lange's philosophy of logic.

11 citations

Journal ArticleDOI
TL;DR: The formalism can be used to model not only abduction, but also to talk about the inner structure of theories as well as relations between them, allowing us to interpret many ideas from philosophy of science within the well-understood framework of modal logic.
Abstract: We present a framework for understanding abduction within modal logic and Kripke semantics; worlds of a Kripke frame will represent possible theories, and a change in theory will be understood as a passage from one world to an adjacent possible world. Further, these steps may agree with the accessibility relation or may ‘backtrack’, accordingly as new information refutes or reinforces our present theory. Our formalism can be used to model not only abduction, but also to talk about the inner structure of theories as well as relations between them, allowing us to interpret many ideas from philosophy of science within the well-understood framework of modal logic.

11 citations

Book ChapterDOI
Paul Gibbs1
01 Jan 2015
TL;DR: In this article, it is suggested that a transdisciplinary approach, perhaps implicit in successful professional practices that actually deal with emergent problems, could be helpful particularly in the form of the case study and needs more clarification in the professional studies literature.
Abstract: Workplaces are social systems and confound simple analysis. They are places where things change and things turn messy. There are many disciplinary approaches (e.g. anthropological, psychological and sociological) that can be applied in professional conduits (e.g. human resource management, marketing and operational management), but attempts to understand what, and why, things happen within organizations prove difficult to determine from such disciplined, epistemological perspectives. It is suggested in this chapter that a transdisciplinary approach, perhaps indeed implicit in successful professional practices that actually deal with emergent problems, could be helpful particularly in the form of the case study and needs more clarification in the professional studies literature. This is attempted by investigating how abductive reasoning might contribute to solving the ambiguity of transdisciplinarity open system problems.

11 citations

Proceedings ArticleDOI
09 Apr 1991
TL;DR: The application of localized abductive reasoning in assembly planning with multiple robots is explained, and an example is shown of a flashlight assembly problem in a robot cell with two robots that share one feeder.
Abstract: The application of localized abductive reasoning in assembly planning with multiple robots is explained. The assembly problem is described in the event calculus using Horn clause logic. The assembly problem domain is decomposed into regions of activity, and the actions, predicates, and constraints of the planning problem are distributed over these regions. The reasoning component of the planner is abduction; the planner makes abduction steps locally within the regions, and the search algorithm shifts control from one region to another to find an overall global plan. An example is shown of a flashlight assembly problem in a robot cell with two robots that share one feeder. >

11 citations

Journal ArticleDOI
TL;DR: A substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved and this system is expressive enough to capture complex and non-trivial scientific examples.
Abstract: The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge.

11 citations


Network Information
Related Topics (5)
Natural language
31.1K papers, 806.8K citations
82% related
Ontology (information science)
57K papers, 869.1K citations
79% related
Inference
36.8K papers, 1.3M citations
76% related
Heuristics
32.1K papers, 956.5K citations
76% related
Social network
42.9K papers, 1.5M citations
75% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202356
2022103
202156
202059
201956
201867