Bøger af Michael A. Arbib

This book presents an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. It is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983.

By means of our present models of visuomotor coordination and its modulation by state-dependent inputs, we are just beginning to simulate and analyze how external information is represented within different brain structures and how these structures use these operations to control adaptive behavior.

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

The study of formal languages and of related families of automata has long been at the core of theoretical computer science.

For twenty-five years Michael Arbib has been studying the workings of the human brain and developing new approaches to the design of intelligent machines. These concerns have often led him to ponder philosophical questions about the nature of mind and knowledge. In this book, Arbib offers a stimulating, speculative discussion of cognitive science and its relation to larger philosophical and social issues. Arbib proposes a theory of mental schemas to explain how the individual brain represents the world around it. He builds on Piaget's studies of how children learn and on his own work in brain theory and artificial intelligence to show how the concept of schemas an be used to link cognitive science to the study of persons in society. He then employs this "schema theory" as a way of looking at various constructions of reality, including those of Chomsky, Freud, Marx, and Habermas. In the final chapter, he addresses the question of human freedom and suggests a means of avoiding the apparent limitations of mechanistic explanations for human mental processes.

By means of our present models of visuomotor coordination and its modulation by state-dependent inputs, we are just beginning to simulate and analyze how external information is represented within different brain structures and how these structures use these operations to control adaptive behavior.