The GLAIR Cognitive Architecture

GLAIR (Grounded Layered Architecture with Integrated Reasoning) is a multi-layered cognitive architecture for embodied agents operating in real, virtual, or simulated environments containing other agents. The highest layer of the GLAIR Architecture, the Knowledge Layer (KL), contains the beliefs of the agent, and is the layer in which conscious reasoning, planning, and act selection is performed. The lowest layer of the GLAIR Architecture, the Sensori-Actuator Layer (SAL), contains the controllers of the sensors and effectors of the hardware or software robot. Between the KL and the SAL is the Perceptuo-Motor Layer (PML), which grounds the KL symbols in perceptual structures and subconscious actions, contains various registers for providing the agent’s sense of situatedness in the environment, and handles translation and communication between the KL and the SAL. The motivation for the development of GLAIR has been “Computational Philosophy”, the computational understanding and implementation of human-level intelligent behavior without necessarily being bound by the actual implementation of the human mind. Nevertheless, the approach has been inspired by human psychology and biology.

[1]  Albert Goldfain,et al.  A computational theory of early mathematical cognition , 2008 .

[2]  Corrado Böhm,et al.  Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.

[3]  Stuart C. Shapiro,et al.  Embodiment in GLAIR: A Grounded Layered Architecture with Integrated Reasoning for Autonomous Agents , 2008 .

[4]  Stuart C. Shapiro.  Path-Based and Node-Based Inference in Semantic Networks , 1978, CL.

[5]  Stuart C. Shapiro,et al.  The agent takes the stage , 2009, Int. J. Arts Technol..

[6]  Stuart C. Shapiro,et al.  Metacognition in SNePS , 2007, AI Mag..

[7]  Oren Etzioni,et al.  PRODIGY: an integrated architecture for planning and learning , 1991, SGAR.

[8]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[9]  Stuart C. Shapiro,et al.  The Trial The Trail, Act 3: A Virtual Reality Drama Using Intelligent Agents , 2005, AIIDE.

[10]  Stuart C. Shapiro,et al.  Cables, Paths, and "Subconscious" Reasoning in Propositional Semantic Networks , 1991, Principles of Semantic Networks.

[11]  Stuart C. Shapiro,et al.  Title Index , 1986, CL.

[12]  Hector-Neri Castañeda,et al.  Thought, Language, and Ontology, Essays in Memory of Hector-Neri Castaneda , 1998 .

[13]  Oskar Dressler.  Assumption-Based Truth Maintenance , 1986, Begründungsverwaltung.

[14]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[15]  Josephine Anstey,et al.  MGLAIR Agents in a Virtual Reality Drama , 2005 .

[16]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[17]  Susan M. Haller,et al.  Planning text about plans interactively , 1996 .

[18]  Pat Langley,et al.  Hierarchical Skills and Cognitive Architectures , 2004 .

[19]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[20]  Stuart C. Shapiro,et al.  Belief spaces as sets of propositions , 1993, J. Exp. Theor. Artif. Intell..

[21]  Stuart C. Shapiro,et al.  Two Problems with Reasoning and Acting in Time , 2000, KR.

[22]  Stuart C. Shapiro,et al.  An Introduction to SNePS 3 , 2000, ICCS.

[23]  Stuart C. Shapiro,et al.  Book Reviews: Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language , 2001, CL.

[24]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[25]  S. Blackmore.  Consciousness: A Very Short Introduction , 2005 .

[26]  Stuart C. Shapiro,et al.  Quasi-Indexicals and Knowledge Reports , 1997, Cogn. Sci..

[27]  Hans Chalupsky.  Simba: belief ascription by way of simulative reasoning , 1996 .

[28]  Stuart C. Shapiro,et al.  Knowledge Acquisition by an Intelligent Acting Agent , 2007, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[29]  Hsu-Shih Shih,et al.  Computers and Mathematics with Applications , 2008 .

[30]  Stuart C. Shapiro,et al.  SNePS Considered as a Fully Intensional Propositional Semantic Network , 1986, AAAI.

[31]  A. U.S..  Embodied Cassie , 2002 .

[32]  Stuart C. Shapiro.  SNePS: a logic for natural language understanding and commonsense reasoning , 2000 .

[33]  Vladik Kreinovich,et al.  Optimal choice of granularity in commonsense estimation: Why half‐orders of magnitude? , 2006, Int. J. Intell. Syst..

[34]  Gordon I. McCalla,et al.  The Knowledge Frontier , 1987, Symbolic Computation.

[35]  Stuart C. Shapiro,et al.  Intensional Concepts in Propositional Semantic Networks , 1982, Cogn. Sci..

[36]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[37]  Pat Langley,et al.  Cognitive architectures: Research issues and challenges , 2009, Cognitive Systems Research.

[38]  Stuart C. Shapiro,et al.  Reasoning in Multiple Belief Spaces , 1983, IJCAI.

[39]  W. Rapaport,et al.  Thought, Language, and Ontology , 1998 .

[40]  Stuart C. Shapiro.  Set-Oriented Logical Connectives: Syntax and Semantics , 2010, KR.

[41]  Susan M. Haller,et al.  An Introduction to Interactive Discourse Processing from the Perspective of Plan Recognition and Text Planning , 1999, Artificial Intelligence Review.

[42]  Haythem O. Ismail,et al.  Cognitive Clock: A Formal Investigation of the Epistemology of Time , 2001 .

[43]  S.C. Shapiro.  Symmetric relations, intensional individuals, and variable binding , 1986, Proceedings of the IEEE.

[44]  Luc Steels.  The biology and technology of intelligent autonomous agents , 1995, Robotics Auton. Syst..

[45]  Stuart C. Shapiro,et al.  Anchoring in a grounded layered architecture with integrated reasoning , 2003, Robotics Auton. Syst..

[46]  A. Cremers.  Deixis in narrative : a cognitive science perspective , 1996 .

[47]  Deepak Kumar.  A unified model of acting and inference , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[48]  Stuart C. Shapiro,et al.  The CASSIE Projects: An Approach to Natural Language Competence , 1989, EPIA.

[49]  Stuart C. Shapiro,et al.  Using Active Connection Graphs for Reasoning with Recursive Rules , 1981, IJCAI.

[50]  Deepak Kumar,et al.  Acting in Service of Inference ( and vice versa ) , 1994 .

[51]  F. Lehmann,et al.  Semantic Networks in Artificial Intelligence , 1992 .

[52]  Stuart C. Shapiro,et al.  A SNePS Approach to The Wumpus World Agent or Cassie Meets the Wumpus , 2005 .

[53]  Alex Lascarides,et al.  Indirect Speech Acts , 2001, Synthese.

[54]  Stuart C. Shapiro,et al.  Architecture of an intelligent agent in SNePS , 1991, SGAR.

[55]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[56]  Stuart C. Shapiro.  Path-based and node-based inference in semantic networks , 1978, TINLAP '78.

[57]  Stuart C. Shapiro,et al.  Of Elephants and Men , 1995 .

[58]  Joongmin Choi,et al.  Experience-based learning in deductive reasoning systems , 1993 .

[59]  Haythem O. Ismail.  Reasoning and Acting in Time , 2000, AAAI/IAAI.

[60]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[61]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[62]  W. Rapaport,et al.  The SNePS family , 1992 .

[63]  Joongmin Choi,et al.  Experience-based deductive learning , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

[64]  Anatole Vitali Gershman.  Knowledge-based parsing. , 1979 .

[65]  Stuart C. Shapiro,et al.  MULTI - a LISP based multiprocessing system , 1980, LISP Conference.

[66]  Stuart C. Shapiro,et al.  A Knowledge Engineering Approach to Natural Language Understanding , 1982, ACL.

[67]  Stuart C. Shapiro,et al.  THE SNePS SEMANTIC NETWORK PROCESSING SYSTEM , 1979 .

[68]  Stuart C. Shapiro,et al.  MGLAIR Agents in Virtual and Other Graphical Environments , 2005, AAAI.

[69]  J. Hobbs.  Half Orders of Magnitude , 2000 .

[70]  L. Steels.  The Biology and Technology of Intelligent Autonomous Agents , 1995, NATO ASI Series.