Intractability is a growing concern across the cognitive sciences: while many models of cognition can describe and predict human behavior in the lab, it remains unclear how these models can scale to situations of real-world complexity. Cognition and Intractability is the first book to provide an accessible introduction to computational complexity analysis and its application to questions of intractability in cognitive science. Covering both classical and parameterized complexity analysis, it introduces the mathematical concepts and proof techniques that can be used to test one's intuition of (in)tractability. It also describes how these tools can be applied to cognitive modeling to deal with intractability, and its ramifications, in a systematic way. Aimed at students and researchers in philosophy, cognitive neuroscience, psychology, artificial intelligence, and linguistics who want to build a firm understanding of intractability and its implications in their modeling work, it is an ideal resource for teaching or self-study.
Understanding Computers and Cognition presents an important and controversial new approach to understanding what computers do and how their functioning is related to human language, thought, and action. While it is a book about computers, Understanding Computers and Cognition goes beyond the specific issues of what computers can or can't do. It is a broad-ranging discussion exploring the background of understanding in which the discourse about computers and technology takes place. Understanding Computers and Cognition is written for a wide audience, not just those professionals involved in computer design or artificial intelligence. It represents an important contribution to the ongoing discussion about what it means to be a machine, and what it means to be human. Book jacket.
This title invites readers to discover the simple heuristics that people use to navigate the complexities and surprises of environments populated with others.
In this book the editors have gathered a number of contributions by persons who have been working on problems of Cognitive Technology (CT). The present collection initiates explorations of the human mind via the technologies the mind produces. These explorations take as their point of departure the question What happens when humans produce new technologies? Two interdependent perspectives from which such a production can be approached are adopted:• How and why constructs that have their origins in human mental life are embodied in physical environments when people fabricate their habitat, even to the point of those constructs becoming that very habitat• How and why these fabricated habitats affect, and feed back into, human mental life.The aim of the CT research programme is to determine, in general, which technologies, and in particular, which interactive computer-based technologies, are humane with respect to the cognitive development and evolutionary adaptation of their end users. But what does it really mean to be humane in a technological world? To shed light on this central issue other pertinent questions are raised, e.g.• Why are human minds externalised, i.e., what purpose does the process of externalisation serve?• What can we learn about the human mind by studying how it externalises itself? • How does the use of externalised mental constructs (the objects we call 'tools') change people fundamentally?• To what extent does human interaction with technology serve as an amplification of human cognition, and to what extent does it lead to a atrophy of the human mind?The book calls for a reflection on what a tool is. Strong parallels between CT and environmentalism are drawn: both are seen as trends having originated in our need to understand how we manipulate, by means of the tools we have created, our natural habitat consisting of, on the one hand, the cognitive environment which generates thought and determines action, and on the other hand, the physical environment in which thought and action are realised. Both trends endeavour to protect the human habitat from the unwanted or uncontrolled impact of technology, and are ultimately concerned with the ethics and aesthetics of tool design and tool use.Among the topics selected by the contributors to the book, the following themes emerge (the list is not exhaustive): using technology to empower the cognitively impaired; the ethics versus aesthetics of technology; the externalisation of emotive and affective life and its special dialectic ('mirror') effects; creativity enhancement: cognitive space, problem tractability; externalisation of sensory life and mental imagery; the engineering and modelling aspects of externalised life; externalised communication channels and inner dialogue; externalised learning protocols; relevance analysis as a theoretical framework for cognitive technology.
Computing systems are ubiquitous in contemporary life. Even the brain is thought to be a computing system of sorts. But what does it mean to say that a given organ or system "computes"? What is it about laptops, smartphones, and nervous systems that they are deemed to compute - and why does itseldom occur to us to describe stomachs, hurricanes, rocks, or chairs that way? These questions are key to laying the conceptual foundations of computational sciences, including computer science and engineering, and the cognitive and neural sciences.Oron Shagrir here provides an extended argument for the semantic view of computation, which states that semantic properties are involved in the nature of computing systems. The first part of the book provides general background. Although different in scope, these chapters have a common theme-namely,that the linkage between the mathematical theory of computability and the notion of physical computation is weak. The second part of the book reviews existing non-semantic accounts of physical computation. Shagrir analyze three influential accounts in greater depth and argues that none of theseaccounts is satisfactory, but each of them highlights certain key features of physical computation that he eventually adopts in his own semantic account of physical computation - a view that rests on a phenomenon known as simultaneous implementation (or "indeterminacy of computation"). Shagrircompletes the characterization of his account of computation and highlights the distinctive feature of computational explanations.
The Computational Theory of Mind says that the mind is a computing system. It has a long history going back to the idea that thought is a kind of computation. Its modern incarnation relies on analogies with contemporary computing technology and the use of computational models. It comes in many versions, some more plausible than others. This Element supports the theory primarily by its contribution to solving the mind-body problem, its ability to explain mental phenomena, and the success of computational modelling and artificial intelligence. To be turned into an adequate theory, it needs to be made compatible with the tractability of cognition, the situatedness and dynamical aspects of the mind, the way the brain works, intentionality, and consciousness.
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
This volume introduces central issues in cognitive science by means of debates on key questions. The debates are written by renowned experts in the field. The debates cover the middle ground as well as the extremes Addresses topics such as the amount of innate knowledge, bounded rationality and the role of perception in action. Provides valuable overview of the field in a clear and easily comprehensible form.
This volume offers an overview of the philosophy of cognitive science that balances breadth and depth, with chapters covering every aspect of the psychology and cognitive anthropology.
