Catálogo de publicaciones - libros

Compartir en
redes sociales


Model-Based Reasoning in Science, Technology, and Medicine

Lorenzo Magnani ; Ping Li (eds.)

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-71985-4

ISBN electrónico

978-3-540-71986-1

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer-Verlag Berlin Heidelberg 2007

Tabla de contenidos

Animal Abduction

Lorenzo Magnani

Summary. Many animals – traditionally considered “mindless” organisms – make up a series of signs and are engaged in making, manifesting or reacting to a series of signs: through this semiotic activity – which is fundamentally model-based – they are at the same time engaged in “being cognitive agents” and therefore in thinking intelligently. An important effect of this semiotic activity is a continuous process of “hypothesis generation” that can be seen at the level of both instinctual behavior, as a kind of “wired” cognition, and representation-oriented behavior, where nonlinguistic pseudothoughts drive a plastic model-based cognitive role. This activity is at the root of a variety of abductive performances, which are also analyzed in the light of the concept of affordance. Another important character of the model-based cognitive activity above is the externalization of artifacts that play the role of mediators in animal languageless reflexive thinking. The interplay between internal and external representation exhibits a new cognitive perspective on the mechanisms underlying the semiotic emergence of abductive processes in important areas of model-based thinking of mindless organisms. To illustrate this process I will take advantage of the case of a.ect attunement which exhibits an impressive case of model-based communication. A considerable part of abductive cognition occurs through an activity consisting in a kind of reification in the external environment and a subsequent re-projection and reinterpretation through new configurations of neural networks and of their chemical processes. Analysis of the central problems of abduction and hypothesis generation helps to address the problems of other related topics in modelbased reasoning, like pseudological and re.exive thinking, the role of pseudoexplanatory guesses in plastic cognition, the role of reification and beliefs, the problem of the relationship between abduction and perception, and of rationality and instincts.

Palabras clave: External Representation; Animal Cognition; Distal Environment; Cognitive Niche; Instinctual Behavior.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 3-38

Communicative Gestures Facilitate Problem Solving for Both Communicators and Recipients

Sandra C. Lozano; Barbara Tversky

Summary. Gestures are a common, integral part of communication. Here, we investigate the roles of gesture and speech in explanations, both for communicators and recipients. Communicators explained how to assemble a simple object, using either speech with gestures or gestures alone. Gestures used for explaining included pointing and exhibiting to indicate parts, action models to demonstrate assembly, and gestures used to convey narrative structure. Communicators using gestures alone learned assembly better, making fewer assembly errors than those communicating via speech with gestures. Recipients understood and learned better from gesture-only instructions than from speech-only instructions. Gestures demonstrating action were particularly crucial, suggesting that superiority of gestures to speech may reside, at least in part, in compatibility between gesture and action.

Palabras clave: Hand Gesture; Action Information; Assembly Error; Assembly Performance; Assembly Task.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 39-67

The Concept of Fallacy is Empty

John Woods

Summary. Do model-based approaches to reasoning have a stake in accounting for errors of reasoning? If mainstream logic is anything to go on, a theory of bad reasoning is wholly subsumed by a theory of good reasoning, with the former construed as the complement of the latter. In an older tradition (e.g., Mill’s System of Logic ), errors are best considered as a stand-alone component of any psychologically real approach to logic. Such is the assumption of this essay. Historically, logic’s almost exclusive preoccupation with error is to be found in what it may chance to say about fallacies. In the tradition that has come down to us since Aristotle, fallacies are errors of reasoning that are attractive, widely-distributed enough to be called “universal”, and difficult to correct, that is, possessed of signi.cant levels of incorrigibility.

Palabras clave: Abductive Reasoning; Institutional Agent; Informal Logic; Fallacious Reasoning; Inductive Strength.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 69-90

Abductive Reasoning, Information, and Mechanical Systems

Maria Eunice Quilici Gonzalez; Mariana Claudia Broens; Fabricio Loffredo D'Ottaviano

Summary. We investigate, from a philosophical perspective, the relation between abductive reasoning and information in the context of biological systems. Emphasis is given to the organizational role played by abductive reasoning in practical activities of embodied embedded agency that involve meaningful information. From this perspective, meaningful information is provisionally characterized as a selforganizing process of pattern generation that constrains coherent action. We argue that this process can be considered as a part of evolutionarily developed learning abilities of organisms in order to help with their survival. We investigate the case of inorganic mechanical systems (like robots), which deal only with stable forms of habits, rather than with evolving learning abilities. Some difficulties are considered concerning the hypothesis that mechanical systems may operate with meaningful information, present in abductive reasoning. Finally, an example of hypotheses creation in the domain of medical sciences is presented in order to illustrate the complexity of abduction in practical reasoning concerning human activities.

Palabras clave: Mechanical System; Meaningful Information; Habit Formation; Organizational Role; Abductive Reasoning.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 91-102

Automated Abduction in Scientific Discovery

Oliver Ray

Summary. The role of abduction in the philosophy of science has been well studied in recent years and has led to a deeper understanding of many formal and pragmatic issues [1–5]. This paper is written from the point of view that real applications are now needed to help consolidate what has been learned so far and to inspire new developments. With an emphasis on computational mechanisms, it examines the abductive machinery used for generating hypotheses in a recent Robot Scientist project [6] and shows how techniques from Abductive Logic Programming [7] offer superior reasoning capabilities needed in more advanced practical applications. Two classes of abductive proof procedures are identified and compared in a case study. Backward-chaining logic programming methods are shown to outperform theorem proving approaches based on the use of contrapositive reasoning.

Palabras clave: Logic Program; Integrity Constraint; Inductive Logic Programming; Horn Clause; Abductive Reasoning.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 103-116

Abduction, Medical Semeiotics and Semioethics

Susan Petrilli

Summary. My paper starts from Thomas A. Sebeok (1920-2001) and his conception of semiotics integrated with Charles Sanders Peirce’s pragmatic concept of “abduction”, disregarded by Sebeok in his own original reformulation of Peircean theory. Sebeok was not interested in logic just as he was not interested in critiquing today’s social system. Sebeok denominated his particular approach to semiotics as “global semiotics”. Taking global semiotics as our starting point, we propose to develop it in the direction of semioethics, which presupposes Sebeok’s interpretation of ancient medical semeiotics or symptomatology as an initial phase in the history of semiotics.

Palabras clave: Global Communication; Modeling Device; Semiotic Perspective; Entire Planet; Summum Bonum.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 117-130

Abduction and Modeling in Biosemiotics and Sociosemiotics

Augusto Ponzio

Summary. Semiosis may be interpreted as the capacity with which all life-forms are endowed to produce and comprehend the species-specific models of their worlds. Primary modeling is the innate capacity for simulative modeling in species-speci.c ways. The primary modeling system of the species Homo is language. Secondary and tertiary modeling systems presuppose language and consequently they are uniquely human capacities. The secondary modeling system is verbal language or speech . Tertiary modeling systems are all human cultural systems. There is a connection between language and abduction In abduction the relation between premises and conclusion is iconic and is dialogic in a substantial sense, in other words, it is characterized by high degrees of dialogism and inventiveness as well as by a high risk margin for error.

Palabras clave: Modeling Device; Verbal Language; Autopoietic System; Innate Capacity; Copernican Revolution.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 131-146

Reason out Emergence from Cellular Automata Modeling

Leilei Qi; Huaxia Zhang

Summary. In this paper, we first construct a descriptive de.nition for emergence based on multilevel ontology, and then use Cellular Automata Modeling to simulate some classical emergent processes, such as Conway’s game of life and virtual ants building highway, which shows how the emergent phenomena arise, how the emergence of system at higher levels is derived from the simply basic interaction rules of system elements and their initial conditions at lower-levels. Although those inferences are deducible, they are not analytic. They are “bottom-up” synthetic methods based on computer simulation. There are three conditions that must be met when an emergent phenomenon can be reasoned out from its low-level elements and their interaction rules: (1) They must be simulatable, namely, that the elements and their operation rules can be constructed. (2) They must be computable, at least computable in principle. (3) They are necessary con.guration function at the high level and auxiliary hypotheses. These indicate the limitation of the method of “derived from simulation” for understanding emergence. Moreover, most of system emergent properties cannot be de.nitely predicted because of complexity, hierarchy, uncertainty and adaptability in the development of systems. That is to say, in fact, we are using a new reducible method to prove that it is insu.cient to understand emergent phenomena only with reducible method.

Palabras clave: Cellular Automaton; Emergent Property; Cellular Automaton Modeling; Downward Causation; Emergent Phenomenon.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 147-159

Belief Ascription and De Re Communication

Yuan Ren

Summary. Direct reference theorists and Fregeans have different opinions on how to explain belief reports of sentences containing proper names. In this paper I suggest an alternative way to understand how successful de re communication is possible, based on which I give an explanation of belief ascription that seems to avoid the shortcomings of both camps.

Palabras clave: Semantic Content; Direct Reference; Successful Communication; Linguistic Meaning; Belief Ascription.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 161-178

Multiagent-Based Simulation in Biology

Francesco Amigoni; Viola Schiaffonati

Summary. In this paper we critically analyze the use of multiagent systems for performing simulations of biological processes. From the one hand, the possibility of associating different elements of a biological process to independent computing entities, called agents, makes multiagent systems a powerful and flexible tool for simulation. From the other hand, the weak validation of the results obtained makes multiagent-based simulations hard to trust. We discuss these issues by referring to a specific example, the simulation of a signal transduction pathway.

Palabras clave: Computer Simulation; Signal Transduction Pathway; MAPK Pathway; Multiagent System; Validation Problem.

Part I - Abduction, Problem Solving, and Practical Reasoning | Pp. 179-191