UNIVERSITY AT BUFFALO - STATE UNIVERSITY OF NEW YORK
The Department of Computer Science & Engineering

CSE 663: ADVANCED KNOWLEDGE REPRESENTATION & REASONING Fall 2008

Directory of Documents

Note: A username and password may be required for some online papers. Please contact Bill Rapaport.

COURSE MANAGEMENT SECTION

1. Information about Lisp
2. HOMEWORK ASSIGNMENTS

DOCUMENTS

1. Course Summary

2. What Is Knowledge Representation and Reasoning?
   • General Resources for Knowledge Representation and Reasoning
   • Introduction to KR&R
   • A Fundamental Problem in KRR
   • Brooks: Intelligence without Representation or Reasoning

3. Contextual Vocabulary Acquisition Project:
   • CVA Project homepage
   • CVA slide show
   • CVA Programming Project
   • SNePSLog Case Frames for CVA
   • This semester's words

4. Logic & Automated Theorem Proving

5. Modal Logic

6. Ontology
   • Blocks-World Ontology

7. Semantic Networks
   • The SNePS KRRA System
     • How to Run SNePS
     • How to Use the Unix "script" Program
     • Shapiro, Stuart C., & Kandefer, Michael (2005), "A SNePS Approach to the Wumpus World Agent, or Cassie Meets the Wumpus", in Leora Morgenstern & Maurice Pagnucco (eds.), IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05): Working Notes (Edinburgh: IJCAII): 96-103.

8. Production Systems

9. Frames

10. Description Logics

11. Inheritance Networks

12. Belief Revision and Default, Defeasible, and Non-Monotonic Reasoning

13. Situation Calculus & Frame Problem