Abduction, Reason, and Science Abduction, Reason, and Science Processes of Discovery and Explanation

Total Page:16

File Type:pdf, Size:1020Kb

Abduction, Reason, and Science Abduction, Reason, and Science Processes of Discovery and Explanation Abduction, Reason, and Science Abduction, Reason, and Science Processes of Discovery and Explanation Lorenzo Magnani University of Pavia Pavia, Italy, and Georgia Institute of Technology Atlanta, Georgia Springer Science+Business Media, LLC Library of Congress Cataloging-in-Publication Data Magnani, Lorenzo Abduction, reason, and ,cience: processes of discovcry and explanation/Lorenzo Magnani. p. cm. IncIudes bibliographical references and index. ISBN 978-1-4613-4637-1 ISBN 978-1-4419-8562-0 (eBook) DOI 10.1007/978-1-4419-8562-0 1. Science-Philosophy. 2. Abduction (Logic). 3. Discoveries in science. I. Tirle. Q175.32.A24 M34 2001 501-dc21 00-052061 Front cover: Descartes's explanation of the rainbow (from his Meteora, 1656). ISBN 978-1-4613-4637-1 © 2001 Springer Science+Business Media New York Originally published by Kluwer Academic / Plenum Publishers, New York in 2001 Softcover reprint of the hardcover 1st edition 1990 http://www.wkap.nl/ 1098765432 A c.I.P. record for this book is available from the Library of Congress. AII rights reserved No par! of this book may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording, or otherwise, without wrilten permis sion from the Publisher To my daughter Giovanna Science does not rest upon solid bedrock. The bold structure of its theories rises, as it were, above a swamp. It is like a building erected on piles. The piles are driven down from above into the swamp, but not down to any natural or "given" base; and if we stop driving the piles deeper, it is not because we have reached firm ground. We simply stop when we are satisfied that the piles are firm enough to carry the structure, at least for the time being. Karl R. Popper, The Logic of Scientific Discovery Foreword by Paul Thagard More than a hundred years ago, the great American philosopher Charles Sanders Peirce coined the term "abduction" to refer to inference that involves the generation and evaluation of explanatory hypotheses. The study of abduc­ tive inference was slow to develop, as logicians concentrated on deductive logic and on inductive logic based on formal calculi such as probability the­ ory. In recent decades, however, there has been renewed interest in abductive inference from two primary sources. Philosophers of science have recognized the importance of abduction in the discovery and evaluation of scientific theo­ ries, and researchers in artificial intelligence have realized that abduction is a key part of medical diagnosis and other tasks that require finding explana­ tions. Psychologists have been slow to adopt the terms "abduction" and "ab­ ductive inference" but have been showing increasing interest in causal and explanatory reasoning. Thus abduction is now a key topic of research in cognitive science, the in­ terdisciplinary study of mind and intelligence. Lorenzo Magnani 's new book contributes to this research in several valuable ways. First, it nicely ties to­ gether the concerns of philosophers of science and AI researchers, showing, for example, the connections between scientific thinking and medical expert systems. Second, it lays out a useful general framework for discussion of various kinds of abduction. Third, it develops important ideas about aspects of abductive reasoning that have been relatively neglected in cognitive science, including the use of visual and temporal representations and the role of ab­ duction in the withdrawal of hypotheses . The author has provided a fine con­ tribution to the renaissance of research on explanatory reasoning. Paul Thagard Philosophy Department University of Waterloo Waterloo , Ontario, Canada IX Preface This volume explores abduction (inference to explanatory hypotheses), an important but neglected topic in scientific reasoning. My aim is to inte­ grate philosophical, cognitive, and computational issues, while also discuss­ ing some cases of reasoning in science and medicine. The main thesis is that abduction is a significant kind of scientific reasoning, helpful in delineating the first principles of a new theory of science. The status of abduction is very controversial. When dealing with abduc­ tive reasoning misinterpretations and equivocations are common. What are the differences between abduction and induction? What are the differences between abduction and the well-known hypothetico-deductive method? What did Peirce mean when he considered abduction a kind of inference? Does abduction involve only the generat ion of hypotheses or their evaluation too? Are the criteria for the best explanation in abductive reasoning epis­ temic, or pragmatic, or both? How many kinds of abduction are there? The book aims to increase knowledge about creative and expert infer­ ences. The study of these high-level methods of abductive reasoning is situ­ ated at the crossroads of philosophy, epistemology, artificial intel1igence, cognitive psychology, and logic; that is, at the heart of cognitive science. Philosophers of science in the twentieth century have traditionally distin­ guished between the inferential processes active in the logic of discovery and the ones active in logic of justification. Most have concluded that no logic of creative processes exists and, moreover, that a rational model of discovery is impossible. In short, scientific creative inferences are irrational and there is no "reasoning" to hypotheses (chapter I) . On the other hand, some research in the area of artificial intelligence has shown that methods for discovery could be found that are computationally adequate for rediscovering - or dis­ covering for the first time - empirical or theoretical laws and theorems (chapter 2). Moreover, the study of diagnostic (chapter 4), visual, spatial, analogical, and temporal reasoning (chapter 5) has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with only the help of classical logic. However, non-standard xi XII Prefa ce logic has shown how we ca n provide rigorous formal models of man y kinds of abductive reasoning such as the ones involved in defeasible and uncertain inferences (chapter 2). Contradicti ons and inconsistencies are funda mental in abductive reason­ ing, and abductive reasoning is appropriate for "governing" inconsistencies . Many ways of gove rning inconsistencies will be considered (chapter 6), from the meth ods activa ted in diagn ostic settings and consistency-based models to the typical ones embedded in so me forms of creative reasoning, from the interpretations in terms of conflicts and competitions to the actions performed on empirical and conceptual anomalies, from the question of gen- . era ting inconsistencies by radica l innovation to the connectionist treatment of co herence. The interdisciplinary character of abduction is central and its fertility in variou s areas of research evident. The book also addr esses the central epis­ temological question of hypothesis withdrawal in science by discussing his­ torical cases (chapter 7), where abductive inferences exhibit their most ap­ pealing cognitive virtu es. Abdu ction is also useful in describ ing the different roles played by the var ious kind s of medical reaso ning, from the point of view both of human agents and of computational programs that perform medical tasks such as diagnosis (chapter 4). Finally, an interesting and neglected point of contenti on about human reasoning is whether or not concrete manipulations of external objects influ­ ence the genera tion of hypotheses, for exa mple in science. I will delineate the first features of what I ca ll manipulative abduction, showing how we can find methods of co nstructivity in scientific and everyday reasoning based on externa l models and "episternic med iators" (chapter 3). Dur ing the period in which this book was written, I was Visiti ng Profes­ sor of Philosophy of Science at Georgia Institut e of Technology, Atlanta, which provided an exce llent worki ng environment. I am grateful to my col­ leagues there at the Co llege of Co mputing and School of Public Policy for their helpful sugges tions and much more. For valuable comments on a pre­ vious draft I am particularly grateful to Ronald Giere, David Goodin g, Ken­ neth Knoespel, Nancy Nersessian, Paul Thagard, and two anonymous refe­ rees. Special thanks to Nancy Nersessian and Paul Thagard, who in the last ten years played a significant role in shaping my ideas and in helping me to focus and articulate my views. The research related to this volume was supported by gra nts from the Italian Mini stry of University, University of Pavia , CNR (Centro Nazionale delle Ricerche), CARIPLO(Cas sa di Risparmi o delle Provincie Lornbarde), and Ivan Allen College (Geo rgia Institute of Technology). The preparation of the volume would not have been possible without the contribution of re­ sources and facilities of the Co mputational Philosophy Laboratory (Depart- Preface X111 ment of Philosophy, University of Pavia), and of Georgia Institute of Tech­ nology. This project was conceived as a whole, but as it developed various parts have become articles, which have now been excerpted , revised, and inte­ grated into the current text. I am grateful to the respective publishers for permission to include portions of previously published articles. Magnani, L., forthcoming, Creative abduction and hypothesis withdrawal in science, in: Methodological Aspects ofDiscovery and Creativity, J. Meheus and T. Nickles, eds ., Klu­ wer
Recommended publications
  • Complexity Classifications for Propositional Abduction in Post's
    Complexity Classifications for Propositional Abduction in Post’s Framework∗ Nadia Creignou1, Johannes Schmidt1, Michael Thomas2 1 LIF, UMR CNRS 6166, Aix-Marseille Universit´e 163, Avenue de Luminy, 13288 Marseille Cedex 9, France [email protected] [email protected] 2 Institut f¨ur Theoretische Informatik, Gottfried Wilhelm Leibniz Universit¨at Appelstr. 4, 30167 Hannover, Germany [email protected] Abstract. In this paper we investigate the complexity of abduction, a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining the world’s behavior it aims at finding an explanation for some observed manifestation. In this paper we consider propositional abduction, where the knowledge base and the manifesta- tion are represented by propositional formulae. The problem of deciding p whether there exists an explanation has been shown to be Σ2 -complete in general. We focus on formulae in which the allowed connectives are taken from certain sets of Boolean functions. We consider different vari- ants of the abduction problem in restricting both the manifestations and the hypotheses. For all these variants we obtain a complexity classifica- tion for all possible sets of Boolean functions. In this way, we identify easier cases, namely NP-complete, coNP-complete and polynomial cases. Thus, we get a detailed picture of the complexity of the propositional abduction problem, hence highlighting sources of intractability. Further, we address the problem of counting the explanations and draw a com- plete picture for the counting complexity. Keywords: abduction, computational complexity, Post’s lattice, propo- sitional logic, boolean connective arXiv:1006.4923v1 [cs.CC] 25 Jun 2010 ∗ Supported by ANR Algorithms and complexity 07-BLAN-0327-04 and DFG grant VO 630/6-1.
    [Show full text]
  • Nancy J. Nersessian Regents' Professor of Cognitive Science
    Last updated April 2021 CURRICULUM VITAE PERSONAL: Nancy J. Nersessian Regents’ Professor of Cognitive Science (Emerita) Georgia Institute of Technology Research Associate Harvard University Department of Psychology William James Hall 33 Kirkland St. Cambridge, MA 02138 Email: [email protected] [email protected] Web page: www.cc.gatech.edu/~nersessian EDUCATION: Case Western Reserve University: Ph.D., Philosophy 1977; M.A., Philosophy 1974; Boston University: A.B., Physics and Philosophy (with distinction in Logic) 1969 ACADEMIC APPOINTMENTS Harvard University, Research Associate, Department of Psychology, 2014-present Georgia Institute of Technology, Regents’ Professor of Cognitive Science, 2007-2014 Regents’ Professor Emerita, 2014-present Professor, of Cognitive Science 1993-2007 Professor, School of Interactive Computing and School of Public Policy Adjunct Professor, College of Architecture Adjunct Professor, School of Literature, Communication, & Culture N.J. Nersessian Director, Program in Cognitive Science, 1994-1999, 2003-2005 Member: Program in Philosophy, Science, & Technology Program in Women, Science, & Technology Princeton University, Program in History of Science and Department of History, Assistant Professor, 1987-1993 Associate Member, Department of Philosophy, 1987-1993 Member: Program in Cognitive Studies, 1992-1993 Cognitive Studies Committee, 1987-1992 University of Pittsburgh, Learning Research and Development Center, Postdoctoral Research Associate, 1986-1987 Twente University of Technology,
    [Show full text]
  • Donna E. West Myrdene Anderson Editors Before and Beyond Consciousness
    Studies in Applied Philosophy, Epistemology and Rational Ethics Donna E. West Myrdene Anderson Editors Consensus on Peirce’s Concept of Habit Before and Beyond Consciousness Studies in Applied Philosophy, Epistemology and Rational Ethics Volume 31 Series editor Lorenzo Magnani, University of Pavia, Pavia, Italy e-mail: [email protected] Editorial Board Atocha Aliseda Universidad Nacional Autónoma de México (UNAM), Coyoacan, Mexico Giuseppe Longo Centre Cavaillès, CNRS—Ecole Normale Supérieure, Paris, France Chris Sinha Lund University, Lund, Sweden Paul Thagard Waterloo University, Waterloo, ON, Canada John Woods University of British Columbia, Vancouver, BC, Canada About this Series Studies in Applied Philosophy, Epistemology and Rational Ethics (SAPERE) publishes new developments and advances in all the fields of philosophy, epistemology, and ethics, bringing them together with a cluster of scientific disciplines and technological outcomes: from computer science to life sciences, from economics, law, and education to engineering, logic, and mathematics, from medicine to physics, human sciences, and politics. It aims at covering all the challenging philosophical and ethical themes of contemporary society, making them appropriately applicable to contemporary theoretical, methodological, and practical problems, impasses, controversies, and conflicts. The series includes monographs, lecture notes, selected contributions from specialized conferences and workshops as well as selected Ph.D. theses. Advisory Board A. Abe, Chiba, Japan A. Pereira, São Paulo, Brazil H. Andersen, Copenhagen, Denmark L.M. Pereira, Caparica, Portugal O. Bueno, Coral Gables, USA A.-V. Pietarinen, Helsinki, Finland S. Chandrasekharan, Mumbai, India D. Portides, Nicosia, Cyprus M. Dascal, Tel Aviv, Israel D. Provijn, Ghent, Belgium G.D. Crnkovic, Västerås, Sweden J. Queiroz, Juiz de Fora, Brazil M.
    [Show full text]
  • Calendar of Events
    AI Magazine Volume 25 Number 2 (2004) (© AAAI) Calendar ■ Contact: David Heckerman Calendar of Events Microsoft Research, One Microsoft Way, Redmond, WA 98008 USA Voice: 425-706 2662 E-mail: [email protected] URL: www.ceas.cc August 2004 Key Centre of Design Computing and July 2004 Cognition, 148 City Road AUGUST 2 Chippendale, Sydney, NSW 2006 Modeling Decisions for Artificial In- JULY 19–21 Australia telligence. Barcelona, Catalonia, International Conference on Design Voice: 61-2 93512051 Spain Computing and Cognition (DCC'04). E-mail: [email protected] ■ Sponsors: Cambridge, MA URL: www.arch.usyd.edu.au/kcdc/con- European Society for Fuzzy Logic and ■ Sponsors: ferences/vr04/ Key Centre of Design Computing and Technology, Japan Society for Fuzzy Cognition, University of Sydney: JULY 25–29 Theory and intelligent informatics, School of Architecture and Planning, Nineteenth National Conference on Catalan Society for Artificial Intelli- Massachusetts Institute of Technology Artificial Intelligence. San Jose, CA gence ■ Contact: ■ ■ Sponsor: Contact: John Gero American Association for Vicenc Torra Key Centre of Design Computing and Artificial Intelligence IIIA-CSIC, Campus UAB s/n Cognition, University of Sydney Bellaterra, Catalonia 08193 Spain Wilkinson Building (G04) ■ Contact: Voice: +34-935809570 Sydney NSW 2008 Australia Conference Coordinator E-mail: [email protected] Voice: 61-2 9351 4766 American Association for Artificial Fax: 61-2 9351 3031 Intelligence, AAAI-04 URL: www.iiia.csic.es/~vtorra/mdai/A E-mail: [email protected] 445 Burgess Drive, Suite 100 URL: www.arch.usyd.edu.au/kcdc/con- Menlo Park, CA 94025 USA AUGUST 2–4 ferences/dcc04/ Voice: 650-328-3123 International Workshop on Qualita- Fax: 650-321-4457 tive Reasoning.
    [Show full text]
  • European Journal of Pragmatism and American Philosophy, X-1 | 2018 Eco and Peirce on Abduction 2
    European Journal of Pragmatism and American Philosophy X-1 | 2018 Eco and Pragmatism Eco and Peirce on Abduction Francesco Bellucci Electronic version URL: http://journals.openedition.org/ejpap/1122 DOI: 10.4000/ejpap.1122 ISSN: 2036-4091 Publisher Associazione Pragma Electronic reference Francesco Bellucci, « Eco and Peirce on Abduction », European Journal of Pragmatism and American Philosophy [Online], X-1 | 2018, Online since 20 July 2018, connection on 19 April 2019. URL : http:// journals.openedition.org/ejpap/1122 ; DOI : 10.4000/ejpap.1122 This text was automatically generated on 19 April 2019. Licence Creative Commons Author retains copyright and grants the European Journal of Pragmatism and American Philosophy right of first publication with the work simultaneously licensed under a Creative Commons Attribution- NonCommercial-NoDerivatives 4.0 International License. Eco and Peirce on Abduction 1 Eco and Peirce on Abduction Francesco Bellucci 1 One of the key concepts that Eco took from Peirce is that of “abduction,” or reasoning to an explanatory hypothesis. This concept is central to his foundation of a semiotic or interpretative semantics, one of whose component is a theory of inference, and especially of abductive inference. Though there is probably only one “official” place where Eco expounds his theory of abductive reasoning – the article “Horns, Hooves, and Insteps” in The Sign of Three – yet Eco’s theory is spanned over tens of papers and books, including his fictional books. 2 Eco’s fictional books have often been considered as, to say the least, “profoundly connected” with his scholarly work. But Paolucci has persuasively argued that not only Eco’s philosophical work influenced his fictional work, but also, and more crucially, that his fictional works are an integral part of his philosophy: “[t]he union of the theoretical and nontheoretical works constitute Eco’s philosophical legacy, his ‘philosophy’.” (Paolucci 2017a: 254).
    [Show full text]
  • Thought Experiments Considered Harmful. Perspectives on Science
    THOUGHT EXPERIMENTS CONSIDERED HARMFUL Paul Thagard University of Waterloo Draft 4, May, 2013 Thagard, P. (forthcoming). Thought experiments considered harmful. Perspectives on Science. Abstract: Thought experiments can be useful in suggesting new hypotheses and in identifying flaws in established theories. Thought experiments become harmful when they are used as intuition pumps to provide evidence for the acceptance of hypotheses. Intuitions are neural processes that are poorly suited to provide evidence for beliefs, where evidence should be reliable, intersubjective, repeatable, robust, and causally correlated with the world. I describe seven ways in which philosophical thought experiments that purport to establish truths are epistemically harmful. In the philosophy of mind, thought experiments support views that run contrary to empirically supported alternatives. Introduction Thought experiments have been influential in philosophy at least since Plato, and they have contributed to science at least since Galileo. Some of this influence is appropriate, because thought experiments can have legitimate roles in generating and clarifying hypotheses, as well as in identifying problems in competing hypotheses. I will argue, however, that philosophers have often overestimated the significance of thought experiments by supposing that they can provide evidence that supports the acceptance of beliefs. Accepting hypotheses merely on the basis of thinking about them constitutes a kind of epistemic hubris with many negative consequences, including the acquisition of false beliefs and the blocking of more promising avenues of inquiry. May 9, 2013 I will not attempt to review the extensive literature on thought experiments, which is summarized well by Brown and Fehige (2011). I begin by acknowledging the legitimate contributions that thought experiments can make to scientific and philosophical development.
    [Show full text]
  • Logic and Abduction: Cognitive Externalizations in Demonstrative Environments
    Logic and Abduction: Cognitive Externalizations in Demonstrative Environments Lorenzo MAGNANI BIBLID [0495-4548 (2007) 22: 60; pp. 275-284] ABSTRACT: In her book Abductive Reasoning Atocha Aliseda (2006) stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for extending and improving both the whole cognitive/philosophical view on it and on other more restricted logical approaches. I will provide further insight on two aspects. The first is re- lated to the importance of increasing logical knowledge on abduction: Aliseda clearly shows how the logical study on abduction in turn helps us to extend and modernize the classical and received idea of logic. The second refers to some ideas coming from the so-called distributed cognition and concerns the role of logical models as forms of cognitive exter- nalizations of preexistent in-formal human reasoning performances. The logical externalization in objective systems, communicable and sharable, is able to grant stable perspectives endowed with symbolic, abstract, and rigorous cogni- tive features. I will also emphasize that Aliseda especially stresses that this character of stability and objectivity of logical achievements are not usually present in models of abduction that are merely cognitive and epistemological, and of ex- treme importance from the computational point of view. Keywords: logic, abduction, distributed cognition. 1. Introduction In her book Abductive Reasoning Atocha Aliseda (2006) stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for ex- tending and improving both the whole cognitive/philosophical view on abduction and on other more restricted logical approaches.
    [Show full text]
  • Abductive Reasoning: Challenges Ahead
    Abductive Reasoning: Challenges Ahead Atocha ALISEDA BIBLID [0495-4548 (2007) 22: 60; pp. 261-270] ABSTRACT: The motivation behind the collection of papers presented in this THEORIA forum on Abductive reasoning is my book Abductive Reasoning: Logical Investigations into the Processes of Discovery and Explanation. These contributions raise fundamental questions. One of them concerns the conjectural character of abduction. The choice of a logical framework for abduction is also discussed in detail, both its inferential aspect and search strategies. Abduction is also analyzed as inference to the best explanation, as well as a process of epistemic change, both of which chal- lenge the argument-like format of abduction. Finally, the psychological question of whether humans reason abduc- tively according to the models proposed is also addressed. I offer a brief summary of my book and then comment on and respond to several challenges that were posed to my work by the contributors to this issue. Keywords: abduction, abductive inference, discovery, heuristics. A Summary In Abductive Reasoning: Logical Investigations into Discovery and Explanation, I offer a logical analysis of a particular type of scientific reasoning, namely abduction, that is, reasoning from an observation to its possible explanations. This approach naturally leads to connec- tions with theories of explanation and empirical progress in the philosophy of science, to computationally oriented theories of belief change in artificial intelligence, and to the phi- losophical position known as Pragmatism, proposed by Charles Peirce, to whom the term abduction owes its name. More precisely, the book is divided into three parts: (I) Conceptual Framework, (II) Logical Foundations, and (III) Applications, each of which is briefly described in what follows.
    [Show full text]
  • Springer Handbook of Model-Based Science
    Springer Handbook of Model-Based Science Springer Handbooks provide a concise compilation of approved key information on methods of research, general principles, and functional relationships in physical and applied sciences. The world’s leading experts in the fields of physics and engineering will be as- signed by one or several renowned editors to write the chapters com- prising each volume. The content is selected by these experts from Springer sources (books, journals, online content) and other systematic and approved recent publications of scientific and technical information. The volumes are designed to be useful as readable desk reference book to give a fast and comprehen- sive overview and easy retrieval of essential reliable key information, including tables, graphs, and bibli- ographies. References to extensive sources are provided. HandbookSpringer of Model-Based Science Lorenzo Magnani, Tommaso Bertolotti (Eds.) With 263 Figures and 42 Tables HK Editors Lorenzo Magnani University of Pavia Department of Humanities Piazza Botta 6 Pavia 27100, Italy Tommaso Bertolotti University of Pavia Department of Humanities Piazza Botta 6 Pavia 27100, Italy ISBN: 978-3-319-30525-7 e-ISBN: 978-3-319-30526-4 DOI 10.1007/978-3-319-30526-4 Springer Dordrecht Heidelberg London New York Library of Congress Control Number: 2017935722 © Springer International Publishing AG 2017 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.
    [Show full text]
  • Publications | 1976-2018
    Wylie publications | November 2018 Alison Wylie | PUBLICATIONS | 1976-2018 Books Evidential Reasoning in Archaeology, co-authored with Robert Chapman, Bloomsbury Academic Publishing, London, 2016. http://www.bloomsbury.com/us/evidential-reasoning-in-archaeology-9781472528933/ Material Evidence: Learning from Archaeological Practice, co-edited with Robert Chapman, Routledge, London, 2015. http://material-evidence.net/ Value-Free Science? Ideals and Illusions, co-edited with Harold Kincaid and John Dupré, Oxford University Press, Oxford, 2007. http://ukcatalogue.oup.com/product/9780195308969.do# Thinking from Things: Essays in the Philosophy of Archaeology, University of California Press, Berkeley CA, 2002. Ethics in American Archaeology: Challenges for the 1990s, co-edited with Mark J. Lynott, Society for American Archaeology Special Report Series, Washington D.C., 1995. 2nd revised edition, Ethics in American Archaeology, Society for American Archaeology, Washington D.C., 2000. Critical Traditions in Contemporary Archaeology: Essays in the Philosophy, History and Socio-Politics of Archaeology, co-edited with Valerie Pinsky, Cambridge University Press, Cambridge, 1989. Reprinted in paperback by the University of New Mexico Press, Albuquerque NM 1995. Breaking Anonymity: The Chilly Climate for Women Faculty, co-edited with members of the Chilly Collective, Wilfrid Laurier University Press, Waterloo Ontario, 1995. Equity Issues for Women in Archaeology, co-edited with Margaret C. Nelson and Sarah M. Nelson, Archaeological Papers of the American Anthropological Association, Number 5, Washington D.C., 1994. Journal Special Issues and Symposia Hypatia thematic clusters: Women in Philosophy: The Costs of Exclusion, and Epistemic Justice, Ignorance, and Procedural Objectivity (editor), Hypatia 26.2 (2011). Feminist Legacies / Feminist Futures, 25th Anniversary Special Issue of Hypatia, A Journal of Feminist Philosophy, co-edited with Lori Gruen, 25.4 (2010).
    [Show full text]
  • MBR09 Abstracts
    MBR09_BRAZIL Abstracts Book edited by Tommaso Bertolotti MODEL-BASED REASONING IN SCIENTIFIC COMMITTEE SCIENCE AND TECHNOLOGY Atocha Aliseda, Instituto de Investigaciones Filosoficas, Universidad Na- cional Autonoma de Mexico (UNAM) Abduction, Logic, and Silvana Borutti, Department of Philosophy, University of Pavia, ITALY Eduardo Bustos, Department of Logic, History and Philosophy of Science at Computational Discovery UNED (Spanish Open University), Madrid, SPAIN Walter Carnielli, Department of Philosophy, Institute of Philosophy and Hu- man Sciences, State University of Campinas, BRAZIL WEB SITE Marcelo Esteban Coniglio, Department of Philosophy, Institute of Philosophy http://www.unipv.it/webphilos_lab/courses/progra4.html and Human Sciences, State University of Campinas, BRAZIL Roberto Cordeschi, Department of Philosophy, "La Sapienza" University of Rome, ITALY Itala D'Ottaviano, Department of Philosophy, Institute of Philosophy and Hu- PROGRAM CHAIRS man Sciences, State University of Campinas, BRAZIL Roberto Feltrero, Department of Logic, History and Philosophy of Science at UNED (Spanish Open University), Madrid, SPAIN Lorenzo MAGNANI Marcello Frixione, Department of Communication Sciences, University of Department of Philosophy, University of Pavia, Salerno, ITALY Piazza Botta 6, 27100 Pavia, Italy Michel Ghins, Institut Superieur de Philosophie, Université Catholique de Louvain, BELGIUM Office: +39 0382 986283, Fax: +39 0382 23215 David Gooding, Department of Psychology, University of Bath, UK Computational Philosophy Laboratory,
    [Show full text]
  • Abductive Reasoning in Multiple Fault Diagnosis
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by ScholarlyCommons@Penn University of Pennsylvania ScholarlyCommons Technical Reports (CIS) Department of Computer & Information Science June 1988 Abductive Reasoning in Multiple Fault Diagnosis Timothy Finin Unisys, Inc. Gary Morris Internal Revenue Service Follow this and additional works at: https://repository.upenn.edu/cis_reports Recommended Citation Timothy Finin and Gary Morris, "Abductive Reasoning in Multiple Fault Diagnosis", . June 1988. University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-88-61. This paper is posted at ScholarlyCommons. https://repository.upenn.edu/cis_reports/693 For more information, please contact [email protected]. Abductive Reasoning in Multiple Fault Diagnosis Abstract Abductive reasoning involves generating an explanation for a given set of observations about the world. Abduction provides a good reasoning framework for many AI problems, including diagnosis, plan recognition and learning. This paper focuses on the use of abductive reasoning in diagnostic systems in which there may be more than one underlying cause for the observed symptoms. In exploring this topic, we will review and compare several different approaches, including Binary Choice Bayesian, Sequential Bayesian, Causal Model Based Abduction, Parsimonious Set Covering, and the use of First Order Logic. Throughout the paper we will use as an example a simple diagnostic problem involving automotive
    [Show full text]