CSE 463: Knowledge Representation
Knowledge Representation
Introduces the field of knowledge representation and reasoning, the branch of artificial intelligence concerned with the techniques for representing and reasoning about the information to be used by an AI program. Topics typically include: the knowledge-representation hypothesis; propositional and first-order logic; model finding; resolution; syntactic proof theory; direct and refutation methods; relevance logic; truth maintenance and belief revision; commonsense reasoning; ontologies. Other topics that may be included as time permits are: modal logics; non-monotonic, defeasible, and default logics; logics of knowledge and belief; frames; description logics; vague and uncertain beliefs; logics of actions and time.
CSE 305 or permission of instructor CSE 305
Course Instances
| Semester | Section | Title | Instructor | Credit Hours | Enrolled |
|---|---|---|---|---|---|
| Fall 2010 | LR | Knowledge Representation | Dr. Stuart C. Shapiro | 4 | 37/50 |
| Fall 2009 | LR | Knowledge Representation | Dr. Stuart C. Shapiro | 4 | 31/31 |
| Spring 2009 | LR | Knowledge Representation | Dr. Stuart C. Shapiro | 4 | 17/19 |
| Spring 2008 | LR | Knowledge Representation | Dr. Stuart C. Shapiro | 4 | 17/30 |
| Spring 2007 | LR | Knowledge Representation | Dr. Stuart C. Shapiro | 4 | 8/18 |
| Spring 2006 | LR | Knowledge Representation | Dr. Stuart C. Shapiro | 4 | 18/18 |
| Spring 2005 | LR | Knowledge Representation | Dr. William J. Rapaport | 4 | 14/18 |
| Spring 2004 | LR | Knowledge Representation | Dr. Stuart C. Shapiro | 4 | 12/22 |
| Spring 2003 | LR | Knowledge Representation | Dr. William J. Rapaport | 4 | 15/17 |
