60 likes | 196 Vues
This paper discusses the fundamental requirements for a Knowledge Representation (KR) system that enables self-aware computer systems. It emphasizes the necessity of terms for self-reference, beliefs, and actions, as well as the representation of time and the distinction between past and present acts. The need for connections between mind and body is highlighted, demonstrating that self-awareness is rooted in the body. Additionally, it explores architectural issues related to the origin of beliefs and the relationship between reasoning and acting, underscoring the importance of integrating sensory input into cognitive processes.
E N D
Knowledge Representation forSelf-Aware Computer Systems Stuart C. Shapiro Department of Computer Science and Engineering, and Center for Cognitive Science University at Buffalo, The State University of New York 201 Bell Hall, Buffalo, NY 14260-2000 shapiro@cse.buffalo.edu http://www.cse.buffalo.edu/~shapiro/
What Must a KR Have? • A term to represent itself. • For beliefs about beliefs: • terms for beliefs • reified beliefs. • Term for self not inherently indexical • Else error of Knows(a, P(self)) => P(self) • So, extra-logical I register S. C. Shapiro
What Must a KR Have? • Terms for acts • For memory of past acts: • Model of time • Extra-logical NOW register • To distinguish “I’m doing” from “I did”: • Way to distinguish durative from punctual acts. S. C. Shapiro
Existing KR Languages • FOL: Sufficient • Issue is domain & design of functional terms. • E.g. reified agents, propositions, acts, times, … • SNePS • Modal logics: not needed if do above. • Non-monotonic logics: Independent issues • Unless can have self-awareness without memory of past acts and don’t want a model of time. S. C. Shapiro
Place of Mind-BodyConnections Need both mind to body and body to mind for intelligent systems. SNePS has both. But it’s body to mind that gives self-awareness. S. C. Shapiro
Research Issues • Not what a KR language can represent, but where the beliefs come from. • Architecture s.t. the mind is aware of the body. • I.e. that inserts beliefs into the mind from the body. • Awareness of reasoning? • Reasoning is acting! S. C. Shapiro