Abductive reasoning

Evaluación | Biopsicología | Comparativo | Cognitivo | Del desarrollo | Idioma | Diferencias individuales | Personalidad | Filosofía | Social | Métodos | Estadística | Clínico | Educativo | Industrial | Artículos profesionales | Psicología mundial | Estadística: Método científico · Métodos de búsqueda · Diseño experimental · cursos de pregrado de estadistica · Pruebas estadísticas · Teoría de juego · Decision theory Abduction, or inference to the best explanation, is a method of reasoning in which one chooses the hypothesis which would, if true, best explain the relevant evidence. Abductive reasoning starts from a set of accepted facts and infers to their most likely, or best, explanations. The term abduction is also sometimes used to just mean the generation of hypotheses to explain observations or conclusions, but the former definition is more common both in philosophy and computing. Contents 1 Deduction, Induction and Abduction 2 Logic-based abduction 3 Set-cover abduction 4 History of the concept 5 Aplicaciones 6 Referencias 7 Notas 8 Ver también 9 External links Deduction, Induction and Abduction (see also logical reasoning) Deduction allows deriving as a consequence of . En otras palabras., deduction is the process of deriving the consequences of what is assumed. Given the truth of the assumptions, a valid deduction guarantees the truth of the conclusion. Induction allows inferring some from multiple instantiations of when entails . Induction is the process of inferring probable antecedents as a result of observing multiple consequents. Abduction allows inferring as an explanation of . Debido a esto, abduction allows the precondition ofentailsto be inferred from the consequence . Deduction and abduction thus differ in the direction in which a rule likeentailsis used for inference. As such abduction is formally equivalent to the logical fallacy affirming the consequent. Logic-based abduction In logic, explanation is done from a logical theory representing a domain and a set of observations . Abduction is the process of deriving a set of explanations of according to and picking out one of those explanations. For to be an explanation of according to , it should satisfy two conditions: follows from and ; is consistent with . In formal logic, and are assumed to be sets of literals. The two conditions for being an explanation of according to theory are formalized as: ; is consistent. Among the possible explanations satisfying these two conditions, some other condition of minimality is usually imposed to avoid irrelevant facts (not contributing to the entailment of ) to be included in the explanations. Abduction is then the process that picks out some member of . Criteria for picking out a member representing "the best" explanation include the simplicity, the prior probability, or the explanatory power of the explanation. Set-cover abduction A different formalization of abduction is based on inverting the function that calculates the visible effects of the hypotheses. Formally, we are given a set of hypotheses and a set of manifestations ; they are related by the domain knowledge, represented by a function that takes as an argument a set of hypotheses and gives as a result the corresponding set of manifestations. En otras palabras., for every subset of the hypotheses , their effects are known to be . Abduction is performed by finding a set such that . En otras palabras., abduction is performed by finding a set of hypotheses such that their effects include all observations . A common assumption is that the effects of the hypotheses are independent, Es decir, for every , it holds that . If this condition is met, abduction can be seen as a form of set covering. History of the concept This section does not cite its references or sources. Please help improve this article by introducing appropriate citations. (ayuda, involucrarse!) Any unsourced material that has been or is likely to be challenged may be removed at any time. This article has been tagged since February 2007. Historically, Aristotle's use of the term (apagoge) has referred to a syllogism in which the major premise is known to be true, but the minor premise is only probable. The philosopher Charles Peirce introduced abduction into modern logic. In his works before 1900, he mostly uses the term to mean the use of a known rule to explain an observation, p. ej.., “if it rains the grass is wetis a known rule used to explain that the grass is wet. He later used the term to mean creating new rules to explain new observations, emphasizing that abduction is the only logical process that actually creates anything new. Namely, he described the process of science as a combination of abduction, deduction and implication, stressing that new knowledge is only created by abduction. This is contrary to the common use of abduction in the social sciences and in artificial intelligence, where the old meaning is used. Contrary to this use, Peirce stated that the actual process of generating a new rule is not “hamperedby logic rules. Bastante, he pointed out that humans have an innate ability to infer correctly; possessing this ability is explained by the evolutionary advantage it gives. Peirce's second use of 'abduction' is most similar to induction. Norwood Russell Hanson, a philosopher of science, wanted to grasp a logic explaining how scientific discoveries take place. He used Peirce's notion of abduction for this [1].  Further development of the concept can be found in Peter Lipton's "Inference to the Best Explanation" (Lipton, 1991).  Applications This section does not cite its references or sources. Please help improve this article by introducing appropriate citations. (ayuda, involucrarse!) Any unsourced material that has been or is likely to be challenged may be removed at any time. This article has been tagged since February 2007. Applications in artificial intelligence include fault diagnosis, belief revision, and automated planning. The most direct application of abduction is that of automatically detecting faults in systems: given a theory relating faults with their effects and a set of observed effects, abduction can be used to derive sets of faults that are likely to be the cause of the problem. Abduction can also be used to model automated planning [2]. Given a logical theory relating action occurrences with their effects (por ejemplo, a formula of the event calculus), the problem of finding a plan for reaching a state can be modeled as the problem of abducting a sequence of literals implying that the final state is the goal state. Belief revision, the process of adapting beliefs in view of new information, is another field in which abduction has been applied. The main problem of belief revision is that the new information may be inconsistent with the corpus of beliefs, while the result of the incorporation cannot be inconsistent. This process can be done by the use of abduction: once an explanation for the observation has been found, integrating it does not generate inconsistency. This use of abduction is not straightforward, as adding propositional formulae to other propositional formulae can only make inconsistencies worse. En lugar de, abduction is done at the level of the ordering of preference of the possible worlds. In the philosophy of science, abduction has been the key inference method to support scientific realism, and much of the debate about scientific realism is focused on whether abduction is an acceptable method of inference. References Awbrey, Jon, and Awbrey, Susan (1995), "Interpretation as Action: The Risk of Inquiry", Inquiry: Critical Thinking Across the Disciplines, 15, 40-52. Eprint Edwards, Paul (1967, Eds.), "The Encyclopedia of Philosophy," Macmillan Publishing Co, Inc. & The Free Press, Nueva York. Collier Macmillan Publishers, Londres. Eiter, T., and Gottlob, G. (1995), "The Complexity of Logic-Based Abduction, Journal of the ACM, 42.1, 3-42. Josephson, John R., and Josephson, Susan G. (1995, Eds.), Abductive Inference: Computation, Filosofía, Tecnología, Cambridge University Press, Cambridge, REINO UNIDO. Lipton, Pedro. (2001). Inference to the Best Explanation, Londres: Routledge. ISBN 0-415-24202-9. Menzies, T. (1996), "Applications of Abduction: Knowledge-Level Modelling, International Journal of Human-Computer Studies, 45.3, 305-335. Yu, Chong Ho (1994), "Is There a Logic of Exploratory Data Analysis?", Annual Meeting of American Educational Research Association, Nueva Orleans, LA, Abril, 1994. Eprint ISCID Encyclopedia of Science and Philosophy NotesSchwendtner, Tibor and Ropolyi, László and Kiss, Olga (Eds): Hermeneutika és a természettudományok. Áron Kiadó, Budapest, 2001. It is written in Hungarian. Meaning of the title: Hermeneutics and the natural sciences. ↑ Kave Eshghi. Abductive planning with the event calculus. In Robert A. Kowalski, Kenneth A. Bowen editors: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, Agosto 15-19, 1988. Prensa del MIT 1988, ISBN 0-262-61056-6 See also Analogy Charles Peirce Charles Peirce (Bibliografía) Deductive reasoning Defeasible reasoning Gregory Bateson Inductive reasoning Inquiry List of thinking-related topics Logic Logical reasoning Inference procedure Sign relation External links Josephson, John, "Abductive Inference in Reasoning and Perception", Webpage Ryder, Avión, Instructional Technology Connections: Abduction, Webpage Magnani, Lorenzo, Abduction, Razón, and Science. Processes of Discovery and Explanation, Webpage [eso] Magnani, Lorenzo Chapter 3. Deduction, Inducción, and Abduction in article Charles Sanders Peirce of the Stanford Encyclopedia of Philosophy This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL. Esta página utiliza contenido con licencia Creative Commons de Wikipedia (ver autores).

Si quieres conocer otros artículos parecidos a Abductive reasoning puedes visitar la categoría Pages using ISBN magic links.

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *


we use own and third party cookies to improve user experience More information