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

© 2002 Franz J. Kurfess Introduction 2 Course Overview u Introduction u Knowledge Representation u Semantic Nets, Frames, Logic u Reasoning and Inference u Predicate Logic, Inference Methods, Resolution u Reasoning with Uncertainty u Probability, Bayesian Decision Making u Expert System Design u ES Life Cycle u CLIPS Overview u Concepts, Notation, Usage u Pattern Matching u Variables, Functions, Expressions, Constraints u Expert System Implementation u Salience, Rete Algorithm u Expert System Examples u Conclusions and Outlook

© 2002 Franz J. Kurfess Introduction 3 Overview Chapter-Topic u Motivation u Objectives u Chapter Introduction u Review of relevant concepts u Overview new topics u Terminology u Topic 1 u Subtopic 1.1 u Subtopic 1.2 u Topic 2 u Subtopic 2.1 u Subtopic 2.2 u Topic 3 u Subtopic 3.1 u Subtopic 3.2 u Important Concepts and Terms u Chapter Summary

© 2002 Franz J. Kurfess Introduction 4 Logistics u Introductions u Course Materials u textbook u handouts u Web page u CourseInfo/Blackboard System and Alternatives u Term Project u Lab and Homework Assignments u Exams u Grading

© 2002 Franz J. Kurfess Introduction 5 Bridge-In

© 2002 Franz J. Kurfess Introduction 6 Pre-Test

© 2002 Franz J. Kurfess Introduction 7 Motivation

© 2002 Franz J. Kurfess Introduction 8 Objectives

© 2002 Franz J. Kurfess Introduction 9 Evaluation Criteria

© 2002 Franz J. Kurfess Introduction 10 [Dieng et al. 1999] Reference [Dieng et al. 1999]  [Dieng et al. 1999] [Dieng et al. 1999]

© 2002 Franz J. Kurfess Introduction 11 Reference [Sommerville 01] [Sommerville 01]  [Sommerville 01]

© 2002 Franz J. Kurfess Introduction 12 Post-Test

© 2002 Franz J. Kurfess Introduction 13 Evaluation u Criteria

© 2002 Franz J. Kurfess Introduction 14 References  [Gil 2000] Yolanda Gil, Knowledge Mobility. Dagstuhl Workshop “Semantics for the Web”, March  [NEEDS] National Engineering Digital Library,  [Russell & Norvig 1995] Stuart Russell and Peter Norvig, Artificial Intelligence - A Modern Approach. Prentice Hall, 1995.

© 2002 Franz J. Kurfess Introduction 15 Important Concepts and Terms  natural language processing  neural network  predicate logic  propositional logic  rational agent  rationality  Turing test  agent  automated reasoning  belief network  cognitive science  computer science  hidden Markov model  intelligence  knowledge representation  linguistics  Lisp  logic  machine learning  microworlds

© 2002 Franz J. Kurfess Introduction 16 Summary Chapter-Topic

© 2002 Franz J. Kurfess Introduction 17