Metacognition in SNePS

The SNePS knowledge representation, reasoning, and acting system has several features that facilitate metacognition in SNePS-based agents. The most prominent is the fact that propositions are represented in SNePS as terms rather than as sentences, so that propositions can occur as argu- ments of propositions and other expressions without leaving first-order logic. The SNePS acting subsystem is integrated with the SNePS reasoning subsystem in such a way that: there are acts that affect what an agent believes; there are acts that specify knowledge-contingent acts and lack-of-knowledge acts; there are policies that serve as "daemons," triggering acts when certain propositions are believed or wondered about. The GLAIR agent architecture supports metacognition by specifying a location for the source of self-awareness and of a sense of situatedness in the world. Several SNePS-based agents have taken advantage of these facilities to engage in self-awareness and metacognition.

[1]  Stuart C. Shapiro,et al.  Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems , 2005, AAAI.

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

[3]  Frances L. Johnson,et al.  Improving Recovery for Belief Bases , 2005 .

[4]  Deepak Kumar,et al.  The SNePS BDI architecture , 1996, Decis. Support Syst..

[5]  Stuart C. Shapiro,et al.  A Net Structure for Semantic Information Storage, Deduction and Retrieval , 1971, IJCAI.

[6]  Danielle S. McNamara,et al.  Learning from texts: Effects of prior knowledge and text coherence , 1996 .

[7]  Stuart C. Shapiro,et al.  Integrating skill and knowledge in expert agents , 1997 .

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

[9]  William J. Rapaport,et al.  A Computational Theory of Vocabulary Expansion , 2007 .

[10]  Stuart C. Shapiro,et al.  Natural language processing using a propositional semantic network with structured variables , 1993, Minds and Machines.

[11]  Stuart C. Shapiro,et al.  A Logic of Arbitrary and Indefinite Objects , 2004, KR.

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

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

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

[15]  Harry Singer,et al.  Theoretical models and processes of reading , 1976 .

[16]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

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

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

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

[20]  李幼升,et al.  Ph , 1989 .

[21]  Stuart C. Shapiro,et al.  Automatic Belief Revision in SNePS , 2000, ArXiv.

[22]  Stuart C. Shapiro,et al.  SL: A Subjective, Intensional Logic of Belief , 2019, Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society.

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

[24]  Michael T. Cox Metacognition in computation: A selected research review , 2005, Artif. Intell..

[25]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[26]  William J. Rapaport,et al.  In Defense of Contextual Vocabulary Acquisition: How to Do Things with Words in Context , 2005 .

[27]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

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

[29]  Edward Strachey Le Morte Darthur , 1901 .

[30]  Stuart C. Shapiro,et al.  The OK BDI Architecture , 1994, Int. J. Artif. Intell. Tools.

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

[32]  William J. Rapaport,et al.  In Defense of Contextual Vocabulary Acquisition , 2005, CONTEXT.

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

[34]  William J. Rapaport,et al.  What Is the “Context” for Contextual Vocabulary Acquisition? , 2003 .

[35]  Stuart C. Shapiro,et al.  Says Who? -- Incorporating Source Credibility Issues into Belief Revision , 1999 .

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

[37]  Frances L. Johnson,et al.  Dependency-directed reconsideration: an anytime algorithm for hindsight knowledge-base optimization , 2006 .

[38]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

[39]  Dedre Gentner,et al.  Some interesting differences between nouns and verbs , 1981 .

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

[41]  Thomas Malory,et al.  Le Morte D'Arthur , 1956 .

[42]  Josephine Anstey,et al.  Ygdrasil--a framework for composing shared virtual worlds , 2003, Future Gener. Comput. Syst..

[43]  Bernhard Ganter,et al.  Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.

[44]  Karen Ehrlich Automatic vocabulary expansion through narrative context , 1995 .

[45]  J. Wiebe,et al.  Representing de re and de dicto belief reports in discourse and narrative , 1986, Proceedings of the IEEE.

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

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

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

[49]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

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

[51]  Stuart C. Shapiro,et al.  Models and Minds: Knowledge Representation for Natural-Language Compe-tence , 1991 .

[52]  H. Oostendorp,et al.  The Construction of Mental Representations During Reading , 1998 .

[53]  A. Schoenfeld Learning to Think Mathematically: Problem Solving, Metacognition, and Sense Making in Mathematics (Reprint) , 2009 .

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

[55]  William J. Rapaport,et al.  A computational theory of vocabulary acquisition , 2000 .

[56]  S. Stein What's All the Fuss About? , 1996 .

[57]  Shirley Gartmann,et al.  Metacognition and Mathematical Problem Solving: Helping Students to Ask the Right Questions , 1995 .

[58]  Stuart C. Shapiro,et al.  Crystal Cassie: Use of a 3-D Gaming Environment for a Cognitive Agent , 2003 .

[59]  William J. Rapaport,et al.  Contextual vocabulary acquisition as computational philosophy and as philosophical computation , 2007, J. Exp. Theor. Artif. Intell..

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

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

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

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

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

[65]  Victor W. Marek,et al.  Autoepistemic logic , 1991, JACM.