Cognition and Intractability


Book Description

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.




Cognition and Intractability


Book Description

Provides an accessible introduction to computational complexity analysis and its application to questions of intractability in cognitive science.




Understanding Computers and Cognition


Book Description

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.




Simple Heuristics in a Social World


Book Description

This title invites readers to discover the simple heuristics that people use to navigate the complexities and surprises of environments populated with others.




Dynamic Epistemic Logic


Book Description

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.




Human Reasoning and Cognitive Science


Book Description

A new proposal for integrating the employment of formal and empirical methods in the study of human reasoning. In Human Reasoning and Cognitive Science, Keith Stenning and Michiel van Lambalgen—a cognitive scientist and a logician—argue for the indispensability of modern mathematical logic to the study of human reasoning. Logic and cognition were once closely connected, they write, but were “divorced” in the past century; the psychology of deduction went from being central to the cognitive revolution to being the subject of widespread skepticism about whether human reasoning really happens outside the academy. Stenning and van Lambalgen argue that logic and reasoning have been separated because of a series of unwarranted assumptions about logic. Stenning and van Lambalgen contend that psychology cannot ignore processes of interpretation in which people, wittingly or unwittingly, frame problems for subsequent reasoning. The authors employ a neurally implementable defeasible logic for modeling part of this framing process, and show how it can be used to guide the design of experiments and interpret results.




Contemporary Debates in Cognitive Science


Book Description

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.




Cognitive Technology


Book Description

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.




Ecological Rationality


Book Description

"More information is always better, and full information is best. More computation is always better, and optimization is best." More-is-better ideals such as these have long shaped our vision of rationality. Yet humans and other animals typically rely on simple heuristics to solve adaptive problems, focusing on one or a few important cues and ignoring the rest, and shortcutting computation rather than striving for as much as possible. In this book, we argue that in an uncertain world, more information and computation are not always better, and we ask when, and why, less can be more. The answers to these questions constitute the idea of ecological rationality: how we are able to achieve intelligence in the world by using simple heuristics matched to the environments we face, exploiting the structures inherent in our physical, biological, social, and cultural surroundings.




The Nature of Physical Computation


Book Description

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.