1. cse@buffalo Knowledge Representation for Self-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/

2. cse@buffalo April, 2004S. C. Shapiro2 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

3. cse@buffalo April, 2004S. C. Shapiro3 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.

4. cse@buffalo April, 2004S. C. Shapiro4 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.

5. cse@buffalo April, 2004S. C. Shapiro5 Place of Mind-Body Connections 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.

6. cse@buffalo April, 2004S. C. Shapiro6 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!