Reasoning in Design: Idea Generation Condition Effects on Reasoning Processes and Evaluation of Ideas
Total Page:16
File Type:pdf, Size:1020Kb
Load more
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. -
There Is No Pure Empirical Reasoning
There Is No Pure Empirical Reasoning 1. Empiricism and the Question of Empirical Reasons Empiricism may be defined as the view there is no a priori justification for any synthetic claim. Critics object that empiricism cannot account for all the kinds of knowledge we seem to possess, such as moral knowledge, metaphysical knowledge, mathematical knowledge, and modal knowledge.1 In some cases, empiricists try to account for these types of knowledge; in other cases, they shrug off the objections, happily concluding, for example, that there is no moral knowledge, or that there is no metaphysical knowledge.2 But empiricism cannot shrug off just any type of knowledge; to be minimally plausible, empiricism must, for example, at least be able to account for paradigm instances of empirical knowledge, including especially scientific knowledge. Empirical knowledge can be divided into three categories: (a) knowledge by direct observation; (b) knowledge that is deductively inferred from observations; and (c) knowledge that is non-deductively inferred from observations, including knowledge arrived at by induction and inference to the best explanation. Category (c) includes all scientific knowledge. This category is of particular import to empiricists, many of whom take scientific knowledge as a sort of paradigm for knowledge in general; indeed, this forms a central source of motivation for empiricism.3 Thus, if there is any kind of knowledge that empiricists need to be able to account for, it is knowledge of type (c). I use the term “empirical reasoning” to refer to the reasoning involved in acquiring this type of knowledge – that is, to any instance of reasoning in which (i) the premises are justified directly by observation, (ii) the reasoning is non- deductive, and (iii) the reasoning provides adequate justification for the conclusion. -
A Philosophical Treatise on the Connection of Scientific Reasoning
mathematics Review A Philosophical Treatise on the Connection of Scientific Reasoning with Fuzzy Logic Evangelos Athanassopoulos 1 and Michael Gr. Voskoglou 2,* 1 Independent Researcher, Giannakopoulou 39, 27300 Gastouni, Greece; [email protected] 2 Department of Applied Mathematics, Graduate Technological Educational Institute of Western Greece, 22334 Patras, Greece * Correspondence: [email protected] Received: 4 May 2020; Accepted: 19 May 2020; Published:1 June 2020 Abstract: The present article studies the connection of scientific reasoning with fuzzy logic. Induction and deduction are the two main types of human reasoning. Although deduction is the basis of the scientific method, almost all the scientific progress (with pure mathematics being probably the unique exception) has its roots to inductive reasoning. Fuzzy logic gives to the disdainful by the classical/bivalent logic induction its proper place and importance as a fundamental component of the scientific reasoning. The error of induction is transferred to deductive reasoning through its premises. Consequently, although deduction is always a valid process, it is not an infallible method. Thus, there is a need of quantifying the degree of truth not only of the inductive, but also of the deductive arguments. In the former case, probability and statistics and of course fuzzy logic in cases of imprecision are the tools available for this purpose. In the latter case, the Bayesian probabilities play a dominant role. As many specialists argue nowadays, the whole science could be viewed as a Bayesian process. A timely example, concerning the validity of the viruses’ tests, is presented, illustrating the importance of the Bayesian processes for scientific reasoning. -
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. -
Analysis - Identify Assumptions, Reasons and Claims, and Examine How They Interact in the Formation of Arguments
Analysis - identify assumptions, reasons and claims, and examine how they interact in the formation of arguments. Individuals use analytics to gather information from charts, graphs, diagrams, spoken language and documents. People with strong analytical skills attend to patterns and to details. They identify the elements of a situation and determine how those parts interact. Strong interpretations skills can support high quality analysis by providing insights into the significance of what a person is saying or what something means. Inference - draw conclusions from reasons and evidence. Inference is used when someone offers thoughtful suggestions and hypothesis. Inference skills indicate the necessary or the very probable consequences of a given set of facts and conditions. Conclusions, hypotheses, recommendations or decisions that are based on faulty analysis, misinformation, bad data or biased evaluations can turn out to be mistaken, even if they have reached using excellent inference skills. Evaluative - assess the credibility of sources of information and the claims they make, and determine the strength and weakness or arguments. Applying evaluation skills can judge the quality of analysis, interpretations, explanations, inferences, options, opinions, beliefs, ideas, proposals, and decisions. Strong explanation skills can support high quality evaluation by providing evidence, reasons, methods, criteria, or assumptions behind the claims made and the conclusions reached. Deduction - decision making in precisely defined contexts where rules, operating conditions, core beliefs, values, policies, principles, procedures and terminology completely determine the outcome. Deductive reasoning moves with exacting precision from the assumed truth of a set of beliefs to a conclusion which cannot be false if those beliefs are untrue. Deductive validity is rigorously logical and clear-cut. -
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). -
Relations Between Inductive Reasoning and Deductive Reasoning
Journal of Experimental Psychology: © 2010 American Psychological Association Learning, Memory, and Cognition 0278-7393/10/$12.00 DOI: 10.1037/a0018784 2010, Vol. 36, No. 3, 805–812 Relations Between Inductive Reasoning and Deductive Reasoning Evan Heit Caren M. Rotello University of California, Merced University of Massachusetts Amherst One of the most important open questions in reasoning research is how inductive reasoning and deductive reasoning are related. In an effort to address this question, we applied methods and concepts from memory research. We used 2 experiments to examine the effects of logical validity and premise– conclusion similarity on evaluation of arguments. Experiment 1 showed 2 dissociations: For a common set of arguments, deduction judgments were more affected by validity, and induction judgments were more affected by similarity. Moreover, Experiment 2 showed that fast deduction judgments were like induction judgments—in terms of being more influenced by similarity and less influenced by validity, compared with slow deduction judgments. These novel results pose challenges for a 1-process account of reasoning and are interpreted in terms of a 2-process account of reasoning, which was implemented as a multidimensional signal detection model and applied to receiver operating characteristic data. Keywords: reasoning, similarity, mathematical modeling An important open question in reasoning research concerns the arguments (Rips, 2001). This technique can highlight similarities relation between induction and deduction. Typically, individual or differences between induction and deduction that are not con- studies of reasoning have focused on only one task, rather than founded by the use of different materials (Heit, 2007). It also examining how the two are connected (Heit, 2007). -
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. -
Introduction to Deductive Logic
Introduction to Deductive Logic Part I: Logic & Language There is no royal road to logic, and really valuable ideas can only be had at the price of close attention. Charles Saunders Peirce INTRODUCTION TO DEDUCTIVE LOGIC PART I: LOGIC AND LANGUAGE I. INTRODUCTION What is Logic? . 4 What is an argument? . 5 Three Criteria for Evaluating Arguments . 6 II. ARGUMENT ANALYSIS – PART 1 Preliminary Issues . 9 Statements and Truth Value Premises and Conclusions . 9 Statements vs Sentences 10 Simple vs Compound Statements 12 Recognizing premises and conclusions . 13 Indicator Language. 15 TWO TYPES OF ARGUMENTS Inductive Reasoning/Argument . 18 Deductive Reasoning/Argument . 19 III. ANALYSIS – PART II FORMALIZING ARGUMENT Preliminary Issue: Formal vs. Informal Argument . 24 Simple and Compound Statements . 25 Types of Compound Statements . 26 Formation Rules for Sentential . 26 DEFINING LOGICAL OPERATORS . 29 Negation . 29 Conjunction . 30 Disjunction . 31 Conditional/ Material Implication . 32 Bi-conditional . 33 APPLICATION: TRANSLATING USING LOGICAL OPERATORS . 35 TRUTH TABLE RULES/SUMMARY OF LOGICAL OPERATORS . 38 TRUTH TABLE APPLICATIONS . 39 Application I: Substitute and Calculate Method . 39 Application II: Calculating with Unknown Values . 41 Application III: Full Truth Table Method . 42 A Short Cut Technique for statements. 44 Truth Table Test for Logical Equivalence . 45 Application IV: Using Truth Tables to Facilitate Reasoning . 47 THE NEED FOR PREDICATE . 50 Using Predicate to Represent Categorical Statements . 52 Preliminary Issues– Grammar . 53 Formation Rules for Predicate . 55 Expressing Quantity . 56 APPLICATION: Symbolizing Categorical Statements using Predicate . 56 Negating Standard Form Categorical Statements. 57 Summary Chart for Standard Form Categorical Statements . 59 Extending Predicate . 61 A Universe of Discourse . -
1 Deductive Reasoning and Logical Connectives
Propositional Logic CS/Math231 Discrete Mathematics Spring 2015 1 Deductive Reasoning and Logical Connectives As we have seen, proofs play a central role in mathematics and they are based on deductive reasoning. Facts (or statements) can be represented using Boolean variables, i.e., the values of variables can only be true or false but not both. Definition 1 A statement (or proposition) is a sentence that is true or false but not both. Example 1 Examples of deductive reasoning: 1. I will have dinner either with Jody or with Ann. Jody is out of town. Therefore, I will have dinner with Ann. 2. If today is Wednesday, then I have to go to class. Today is Wednesday. Therefore, I have to go to class. 3. All classes are held either on Mondays and Wednesdays or on Tuesdays and Thursdays. There is no Discrete Math course on Tuesdays. Therefore, Discrete Math course is held on Mondays and Wednesdays. Definition 2 (premises and conclusion) A conclusion is arrived from assumptions that some state- ments, called premises, are true. An argument being valid means that if the premises are all true, then the conclusion is also true. Example 2 An example of an invalid deductive reasoning: Either 1+1=3 or 1+1=5. It is not the case that 1+1=3. Therefore, 1+1=5. p _ q p or q :p not p ) q Therefore, q If p and q are statement variables, then complicated logical expressions (compound statements) related to p and q can be built from logical connectives. -
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 -
Deductive Reasoning & Decision Making Deductive Reasoning
Deductive Reasoning & Decision Making Chapter 12 Complex Cognitive Tasks Deductive reasoning and decision making are complex cognitive tasks that are part of the thinking process. Thinking Problem Deductive Decision Solving Reasoning Making Deductive Reasoning 1 Deductive Reasoning Is a process of thinking in a logical way, where conclusion are drawn from the information given, for example: if there are clouds in the sky then it will rain. Information Conclusion Deductive Reasoning There are two kinds of deductive reasoning: 1. Conditional Reasoning 2. Syllogisms Conditional Reasoning Conditional reasoning (or propositional reasoning), tells us about the relationship between conditions. Conditional reasoning consists of true if- then statements, used to deduce a true conclusion. Though the premises may be true the conclusions can be valid or invalid. 2 Valid Conclusion If a student is in cognitive psychology, Then she must have completed her Premises general psychology requirements. Jenna is in cognitive psychology class Observation So Jenna must have completed her general psychology requirements. Conclusion Valid Conclusion If a student is in cognitive psychology, Then she must have completed her Premises general psychology requirements. David has NOT completed his general psychology requirements. Observation So David must NOT be in cognitive psychology class. Conclusion Valid Conclusions Affirming If p is true then q is true Modus the p is true Valid ponens antecedent q is true If Newton was a scientist, then he was a person Newton was a scientist Newton was a person If p is true then q is true Denying the Modus q is not true Valid consequent tollens p must be not true If an officer is a general, then he was a captain.