Reasoning in Engineering Design
Joshua D. Summers
Abstract
Joshua D. Summers
Abstract
Peirce, the American philosopher of the late 19th and early 20th centuries, is credited with first observing the triple of reasoning (deductive, inductive, and abductive). These three types of reasoning are discussed as they relate to the engineering design process. The reasoning classes are based upon distinctions between what is given and what is derived with respect to the grounds, the warrants, and the conclusions. Simple definitions are synthesized that agree well with the literature, while distinctions are made where overlapping and often conflicting definitions are found. This distinction leads to the need for separating abductive reasoning and retroductive reasoning. A generalized description of design agrees well with the definition for retroductive reasoning, as is demonstrated in this paper. A brief survey of “traditional” design reasoning methods (rule based reasoning, analogy based reasoning, simulation based reasoning, and constraint based reasoning) is developed to show that these design methods are equivalent or decomposable into the fundamental reasoning classes. This paper provides a discussion in a common framework for comparing design reasoning strategies found in automation systems based upon the fundamental classes.
OpenAlex reports 16 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Peirce, the American philosopher of the late 19th and early 20th centuries, is credited with first observing the triple of reasoning (deductive, inductive, and abductive). These three types of reasoning are discussed as they relate to the engineering design process. The reasoning classes are based upon distinctions between what is given and what is derived with respect to the grounds, the warrants, and the conclusions. Simple definitions are synthesized that agree well with the literature, while distinctions are made where overlapping and often conflicting definitions are found. This distinction leads to the need for separating abductive reasoning and retroductive reasoning. A generalized description of design agrees well with the definition for retroductive reasoning, as is demonstrated in this paper. A brief survey of “traditional” design reasoning methods (rule based reasoning, analogy based reasoning, simulation based reasoning, and constraint based reasoning) is developed to show that these design methods are equivalent or decomposable into the fundamental reasoning classes. This paper provides a discussion in a common framework for comparing design reasoning strategies found in automation systems based upon the fundamental classes.
Key concepts: Deductive reasoning, Abductive reasoning, Reasoning system, Verbal reasoning, Analytic reasoning, Qualitative reasoning, Model-based reasoning, Non-monotonic logic