Knowledge Representation for Self-Aware Computer Systems Stuart C. Shapiro Department of Computer Science and Engineering, and Center for Cognitive.

Slides:

Advertisements

Similar presentations

1 Knowledge Representation Introduction KR and Logic.

Advertisements

Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California

Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California USA

Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California USA

Pat Langley School of Computing and Informatics Arizona State University Tempe, Arizona A Cognitive Architecture for Integrated.

ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.

An F-Measure for Context-Based Information Retrieval Michael Kandefer and Stuart C. Shapiro University at Buffalo Department of Computer Science and Engineering.

SPECIFYING MODALITIES IN THE MGLAIR ARCHITECTURE Stuart C. Shapiro and Jonathan P. Bona Department of Computer Science and Engineering And Center for Cognitive.

S.C. Shapiro Knowledge Representation and Reasoning Stuart C. Shapiro Professor, CSE Director, SNePS Research Group Member, Center for Cognitive.

 complete in natural growth or development, as plant and animal forms  fully developed in body or mind, as a person.

Research in Knowledge Representation and Reasoning Stuart C. Shapiro Department of Computer Science & Engineering Center for MultiSource Information.

1 OSCAR: An Architecture for Generally Intelligent Agents John L. Pollock Philosophy and Cognitive Science University of Arizona

New York State Center of Excellence in Bioinformatics & Life Sciences R T U New York State Center of Excellence in Bioinformatics & Life Sciences R T U.

The GLAIR Architecture for Cognitive Robotics Stuart C. Shapiro Department of Computer Science & Engineering and Center for Cognitive Science.

The GLAIR Cognitive Architecture and Prospects for Consciousness Stuart C. Shapiro Department of Computer Science & Engineering and Center.

A Categorization of Contextual Constraints Michael Kandefer and Stuart C. Shapiro University at Buffalo Department of Computer Science and Engineering.

The GLAIR Cognitive Architecture Stuart C. Shapiro and Jonathan P. Bona Department of Computer Science & Engineering Center for Cognitive Science.

The GLAIR Architecture for Cognitive Robots Stuart C. Shapiro Department of Computer Science & Engineering and Center for Cognitive Science.

S.C. Shapiro Development of a Cognitive Agent Stuart C. Shapiro Department of Computer Science and Engineering and Center for Cognitive Science.

Combining Numeric and Symbolic Reasoning in SNePS Stuart C. Shapiro Department of Computer Science & Engineering Center for MultiSource Information.

S.C. Shapiro Endowing Agents with a Personal Sense of Time Haythem O. Ismail & Stuart C. Shapiro Department of Computer Science and Engineering.

S.C. Shapiro Knowledge Representation for Natural Language Competence Stuart C. Shapiro Department of Computer Science and Engineering and.

Cassie as a Self-Aware SNePS/GLAIR Agent Stuart C. Shapiro Department of Computer Science and Engineering, and Center for Cognitive Science.

Research in Knowledge Representation, Reasoning, and Acting Stuart C. Shapiro Professor, CSE Affiliated Professor, Linguistics, Philosophy.

S.C. Shapiro Knowledge Representation and Reasoning Stuart C. Shapiro Professor, CSE Director, SNePS Research Group Member, Center for Cognitive.

PSU CS 370 – Artificial Intelligence Dr. Mohamed Tounsi Artificial Intelligence 1. Introduction Dr. M. Tounsi.

S.C. Shapiro An Intelligent Interface to a GIS Stuart C. Shapiro Professor, CSE Director, SNePS Research Group Member, Center for Cognitive.

Semantics of a Propositional Network Stuart C. Shapiro Department of Computer Science & Engineering Center for MultiSource Information Fusion.

S.C. Shapiro Symbol-Anchoring in Cassie Stuart C. Shapiro and Haythem O. Ismail Department of Computer Science and Engineering and Center for.

© 2002 Franz J. Kurfess Introduction 1 CPE/CSC 481: Knowledge-Based Systems Dr. Franz J. Kurfess Computer Science Department Cal Poly.

A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro Department of Computer Science and Engineering, and Center for Cognitive Science.

S.C. Shapiro Symbol Anchoring in a Grounded Layered Architecture with Integrated Reasoning Stuart C. Shapiro Department of Computer Science.

SNePS 3 for Ontologies Stuart C. Shapiro Department of Computer Science and Engineering, and Center for Cognitive Science University at Buffalo,

Research in Knowledge Representation, Reasoning, and Acting Stuart C. Shapiro Professor, CSE Director, Center for Cognitive Science Director,

Improving Recovery for Belief Bases Frances L. Johnson & Stuart C. Shapiro Department of Computer Science and Engineering, Center for Multisource.

Peter Gärdenfors From communication to logic. From logic to communication Classical logic: Syllogisms Propositional logic Predicate logic Reduction of.

CPSC 322 Introduction to Artificial Intelligence September 10, 2004.

UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering CSCE 580 Artificial Intelligence Ch.2 [P]: Agent Architectures and Hierarchical.

© 2001 Franz J. Kurfess Introduction 1 CPE/CSC 580: Knowledge Management Dr. Franz J. Kurfess Computer Science Department Cal Poly.

AI: Trends and Directions Stuart C. Shapiro Professor, CSE Affiliated Professor, Linguistics, Philosophy Director, SNePS Research Group ACM.

A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro Department of Computer Science and Engineering, and Center for Cognitive Science.

Research in Knowledge Representation, Reasoning, and Acting Stuart C. Shapiro Professor, CSE Affiliated Professor, Linguistics, Philosophy.

S.C. Shapiro An Introduction to SNePS 3 Stuart C. Shapiro Department of Computer Science and Engineering and Center for Cognitive Science State.

ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.

Artificial Intelligence: Definition “... the branch of computer science that is concerned with the automation of intelligent behavior.” (Luger, 2009) “The.

Knowledge Representation and Reasoning University "Politehnica" of Bucharest Department of Computer Science Fall 2010 Adina Magda Florea

Knowledge representation

{ Logic in Artificial Intelligence By Jeremy Wright Mathematical Logic April 10 th, 2012.

Inference Graphs: A Roadmap Daniel R. Schlegel and Stuart C. Department of Computer Science and Engineering L A – Logic of Arbitrary.

Panel Discussion I: Brainstorm on Language, Embodiment and the Critical minass of Intelligence Moderator: Alexei Samsonovich Panelists: Kenneth De Jong,

1 LIS590IM Information Modeling — Slide Set for Class 16 The Father Guido Sarducci Slide and some final comments Slides for Dec 16 lecture LIS590IML: Information.

NATURAL LANGUAGE UNDERSTANDING FOR SOFT INFORMATION FUSION Stuart C. Shapiro and Daniel R. Schlegel Department of Computer Science and Engineering Center.

Outline key features of the cognitive approach to psychopathology (6)

Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 13 of 41 Monday, 20 September.

Knowledge Representation and Reasoning in SNePS for Bioinformatics Stuart C. Shapiro Department of Computer Science and Engineering, and Center.

© Michael Lacewing Kant on conceptual schemes Michael Lacewing osophy.co.uk.

Cognitive Science and Biomedical Informatics Department of Computer Sciences ALMAAREFA COLLEGES.

Introduction to Artificial Intelligence CS 438 Spring 2008 Today –AIMA, Chapter 1 –Defining AI Next Tuesday –Intelligent Agents –AIMA, Chapter 2 –HW: Problem.

KNOWLEDGE BASED SYSTEMS

PnP Networks Self-Aware Networks Self-Aware Networks Self-Healing and Self-Defense via Aware and Vigilant Networks PnP Networks, Inc. August, 2002.

New York State Center of Excellence in Bioinformatics & Life Sciences R T U New York State Center of Excellence in Bioinformatics & Life Sciences R T U.

Artificial Intelligence and Lisp Lecture 13 Additional Topics in Artificial Intelligence LiU Course TDDC65 Autumn Semester,

Topics Covered in COSC 6368 More general topics:

زبان بدن Body Language.

CSE 4705 Artificial Intelligence

اساتيد گرامی: جناب آقای دکتر کاهانی و دکتر میلانی فرد

MGLAIR Modal Grounded Layered Architecture with Integrated Reasoning

Neoroscience related Philosophical aspects of AI

Artificial Intelligence

Habib Ullah qamar Mscs(se)

Presentation transcript:

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

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

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.

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.

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.

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!