1 / 6

Knowledge Representation for Self-Aware Computer Systems

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

pules
Download Presentation

Knowledge Representation for Self-Aware Computer Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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/

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

More Related