researchabout uscommunitypeopleinternalCmapToolscontact usboard
  Projects in Computational and Philosophical Foundations
  New Approaches to Boolean Satisfiability


  Research :: Computational and Philosophical Foundations

Cognitive science is still comparatively young, and like every young interdisciplinary area it redefines itself as it evolves and as new ideas and insights are revealed and new methods and techniques become available. Several IHMC researchers are, or have been, professors of philosophy, and IHMC continues to be actively interested in clarifying the foundations of cognitive research and the basic ideas of computation and information.

Re-thinking the aims of AI

Traditionally, the goal of artificial intelligence was seen as the creation of a 'human-level' mechanical intelligence, a kind of simulated human being which could pass the famous Turing Test by imitating human conversation. Researchers at IHMC have developed and argued for an alternative view based on human-centered computing, in which the primary technological goal is to amplify, rather than replace, human abilities; in which the computer is seen as a cognitive prosthesis rather than a mechanical rival or competitor. In this new vision of our subject, the test of progress is the performance of the entire system comprising human and machines working together. This vision gives an entirely different technological emphasis, focuses on different medium-range goals, suggests different criteria for engineering success and provides a more rational basis for actual deployed applied AI technology than the traditional view. It places issues of human-machine interaction at the center of the subject, and focusses on achieving much tighter forms of integration or 'fit' between people and their artifacts.

Foundations of computation and information

The fields of theoretical computer science, mathematical computability theory and information theory are now mature, but still provide no fully satisfactory account of the basic natures of computation and of meaning, which would be adequate as a foundation for everything which falls under the category of 'information technology'. Several active debates in contemporary philosophy of mind can be traced to restricted and outmoded views of the nature of computation and information. Recent and emerging application areas such as self-aware computers, software agents, wearable robotic devices and the Semantic Web (all under investigation at IHMC) place new demands on our conceptual frameworks, but at the same time supply new intuition pumps. Researchers at IHMC continue to seek new theoretical models of computation and information which better reflect the engineering and social reality revealed by cutting-edge applications.

Probabilities, truth and meaning

Several lines of research at IHMC are concerned with giving precise accounts of meaning, in support of machine processing of humanly meaningful notations and patterns. This work continually places new demands on basic notions in linguistics, semiotics, probability theory and logical inference. Continuing interdisciplinary discussions between IHMC specialists in entropy theory, probabilistic logic, linguistic semantics, social psychology and theory of programming all contribute to the intellectual climate and produce new insights.