|
Soar (cognitive Architecture)
Soar is a cognitive architecture, originally created by John Laird, Allen Newell, and Paul Rosenbloom at Carnegie Mellon University. The goal of the Soar project is to develop the fixed computational building blocks necessary for general intelligent agents – agents that can perform a wide range of tasks and encode, use, and learn all types of knowledge to realize the full range of cognitive capabilities found in humans, such as decision making, problem solving, planning, and natural-language understanding. It is both a theory of what cognition is and a computational implementation of that theory. Since its beginnings in 1983 as John Laird’s thesis, it has been widely used by AI researchers to create intelligent agents and cognitive models of different aspects of human behavior. The most current and comprehensive description of Soar is the 2012 book, ''The Soar Cognitive Architecture.'' Rosenbloom continued to serve as co-principal investigator after moving to Stanford Univ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cognitive Architecture
A cognitive architecture is both a theory about the structure of the human mind and to a computational instantiation of such a theory used in the fields of artificial intelligence (AI) and computational cognitive science. These formalized models can be used to further refine comprehensive theories of cognition and serve as the frameworks for useful artificial intelligence programs. Successful cognitive architectures include ACT-R (Adaptive Control of Thought – Rational) and SOAR. The research on cognitive architectures as software instantiation of cognitive theories was initiated by Allen Newell in 1990. A theory for a cognitive architecture is an "''hypothesis about the fixed structures that provide a mind, whether in natural or artificial systems, and how they work together — in conjunction with knowledge and skills embodied within the architecture — to yield intelligent behavior in a diversity of complex environments." History Herbert A. Simon, one of the founders ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stan Franklin
Stan Franklin (August 14, 1931 – January 23, 2023) was an American scientist. He was the W. Harry Feinstone Interdisciplinary Research Professor at the University of Memphis in Memphis, Tennessee, and co-director of the Institute of Intelligent Systems. He is the author of '' Artificial Minds'', (MIT Press, 1995) and the developer of IDA and its successor LIDA, both computational implementations of Global Workspace Theory. He is the founder of the Cognitive Computing Research Group at the University of Memphis. Life and work Franklin was born in Memphis, Tennessee in 1931. His graduate degrees are from UCLA, and his undergraduate degree is from the University of Memphis. He has been on the faculties of the University of Florida, the Indian Institute of Technology Kanpur, Carnegie Mellon University, and the University of Memphis. He was formerly a mathematician, who introduced the concept of sequential spaces. He then became first a computer scientist and then a cogniti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Working Memory
Working memory is a cognitive system with a limited capacity that can Memory, hold information temporarily. It is important for reasoning and the guidance of decision-making and behavior. Working memory is often used synonymously with short-term memory, but some theorists consider the two forms of memory distinct, assuming that working memory allows for the manipulation of stored information, whereas short-term memory only refers to the short-term storage of information. Working memory is a theoretical concept central to cognitive psychology, neuropsychology, and neuroscience. History The term "working memory" was coined by George Armitage Miller, Miller, Eugene Galanter, Galanter, and Karl H. Pribram, Pribram, and was used in the 1960s in the context of Computational theory of mind, theories that likened the mind to a computer. In 1968, Atkinson–Shiffrin memory model, Atkinson and Shiffrin used the term to describe their "short-term store". The term short-term store was the na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Procedural Memory
Procedural memory is a type of implicit memory ( unconscious, long-term memory) which aids the performance of particular types of tasks without conscious awareness of these previous experiences. Procedural memory guides the processes we perform, and most frequently resides below the level of conscious awareness. When needed, procedural memories are automatically retrieved and utilized for execution of the integrated procedures involved in both cognitive and motor skills, from tying shoes, to reading, to flying an airplane. Procedural memories are accessed and used without the need for conscious control or attention. Procedural memory is created through ''procedural learning'', or repeating a complex activity over and over again until all of the relevant neural systems work together to automatically produce the activity. Implicit procedural learning is essential for the development of any motor skill or cognitive activity. History The difference between procedural and declarat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Physical Symbol System
A physical symbol system (also called a formal system) takes physical patterns (symbols), combining them into structures (expressions) and manipulating them (using processes) to produce new expressions. The physical symbol system hypothesis (PSSH) is a position in the philosophy of artificial intelligence formulated by Allen Newell and Herbert A. Simon. They wrote: This claim implies both that human thinking is a kind of symbol manipulation (because a symbol system is necessary for intelligence) and that machines can be intelligent (because a symbol system is sufficient for intelligence). The idea has philosophical roots in Thomas Hobbes (who claimed reasoning was "nothing more than reckoning"), Gottfried Wilhelm Leibniz (who attempted to create a logical calculus of all human ideas), David Hume (who thought perception could be reduced to "atomic impressions") and even Immanuel Kant (who analyzed all experience as controlled by formal rules)., The latest version is called the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intelligence (trait)
Intelligence has been defined in many ways: the capacity for abstraction, logic, understanding, self-awareness, learning, emotional knowledge, reasoning, planning, creativity, critical thinking, and problem-solving. It can be described as the ability to perceive or infer information and to retain it as knowledge to be applied to adaptive behaviors within an environment or context. The term rose to prominence during the early 1900s. Most psychologists believe that intelligence can be divided into various domains or competencies. Intelligence has been long-studied in humans, and across numerous disciplines. It has also been observed in the cognition of non-human animals. Some researchers have suggested that plants exhibit forms of intelligence, though this remains controversial. Etymology The word '' intelligence'' derives from the Latin nouns '' intelligentia'' or '' intellēctus'', which in turn stem from the verb '' intelligere'', to comprehend or perceive. In t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symbolic Artificial Intelligence
Symbolic may refer to: * Symbol, something that represents an idea, a process, or a physical entity Mathematics, logic, and computing * Symbolic computation, a scientific area concerned with computing with mathematical formulas * Symbolic dynamics, a method for modeling dynamical systems by a discrete space consisting of infinite sequences of abstract symbols * Symbolic execution, the analysis of computer programs by tracking symbolic rather than actual values * Symbolic link, a special type of file in a computer memory storage system * Symbolic logic, the use of symbols for logical operations in logic and mathematics Music * Symbolic (Death album), ''Symbolic'' (Death album), a 1995 album by the band Death * Symbolic (Voodoo Glow Skulls album), ''Symbolic'' (Voodoo Glow Skulls album), a 2000 album by the band Voodoo Glow Skulls Social sciences * Symbolic anthropology, the study of cultural symbols and how those symbols can be interpreted to better understand a particular society ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Daniel Kahneman
Daniel Kahneman (; ; March 5, 1934 – March 27, 2024) was an Israeli-American psychologist best known for his work on the psychology of judgment and decision-making as well as behavioral economics, for which he was awarded the 2002 Nobel Memorial Prize in Economic Sciences together with Vernon L. Smith. Kahneman's published empirical findings challenge the assumption of human rationality prevailing in modern economic theory. Kahneman became known as the "grandfather of behavioral economics." With Amos Tversky and others, Kahneman established a cognitive basis for common human errors that arise from heuristics and biases, and developed prospect theory. In 2011, Kahneman was named by ''Foreign Policy'' magazine in its list of top global thinkers. In the same year, his book '' Thinking, Fast and Slow'', which summarizes much of his research, was published and became a best seller. In 2015, ''The Economist'' listed him as the seventh most influential economist in the world. Kah ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hierarchical Task Network
In artificial intelligence, hierarchical task network (HTN) planning is an approach to automated planning in which the dependency among actions can be given in the form of hierarchically structured networks. Planning problems are specified in the hierarchical task network approach by providing a set of tasks, which can be: # primitive (initial state) tasks, which roughly correspond to the actions of Stanford Research Institute Problem Solver, STRIPS; # compound tasks (intermediate state), which can be seen as composed of a set of simpler tasks; # goal tasks (goal state), which roughly corresponds to the goals of Stanford Research Institute Problem Solver, STRIPS, but are more general. A solution to an HTN problem is then an executable sequence of primitive tasks that can be obtained from the initial task network by decomposing compound tasks into their set of simpler tasks, and by inserting ordering constraints. A primitive task is an action that can be executed directly given th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Planning
Planning is the process of thinking regarding the activities required to achieve a desired goal. Planning is based on foresight, the fundamental capacity for mental time travel. Some researchers regard the evolution of forethought - the capacity to think ahead - as a prime mover in human evolution. Planning is a fundamental property of intelligent behavior. It involves the use of logic and imagination to visualize not only a desired result, but the steps necessary to achieve that result. An important aspect of planning is its relationship to forecasting. Forecasting aims to predict what the future will look like, while planning imagines what the future could look like. Planning according to established principles - most notably since the early-20th century - forms a core part of many professional occupations, particularly in fields such as management and business. Once people have developed a plan, they can measure and assess progress, efficiency and effectiveness. As circu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Problem Solver
General Problem Solver (GPS) is a computer program created in 1957 by Herbert A. Simon, J. C. Shaw, and Allen Newell ( RAND Corporation) intended to work as a universal problem solver machine. In contrast to the former Logic Theorist project, the GPS works with means–ends analysis. Overview Any problem that can be expressed as a set of well-formed formulas (WFFs) or Horn clauses, and that constitutes a directed graph with one or more sources (that is, hypotheses) and sinks (that is, desired conclusions), can be solved, in principle, by GPS. Proofs in the predicate logic and Euclidean geometry problem spaces are prime examples of the domain of applicability of GPS. It was based on Simon and Newell's theoretical work on logic machines. GPS was the first computer program that separated its knowledge of problems (rules represented as input data) from its strategy of how to solve problems (a generic solver engine). GPS was implemented in the third-order programming language ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Theorist
Logic Theorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. , and It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program". Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's ''Principia Mathematica'', and found new and shorter proofs for some of them. History In 1955, when Newell and Simon began to work on the Logic Theorist, the field of artificial intelligence did not yet exist; the term "artificial intelligence" would not be coined until the following summer. Simon was a political scientist who had previously studied the way bureaucracies function as well as developing his theory of bounded rationality (for which he would later win a Nobel Prize). He believed the study of business organizations requires, like artificial intelligence, an insight into the nature of human problem solving an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
