Fall 2019 - CMPT 411 D100
Knowledge Representation (3)
Class Number: 9000
Delivery Method: In Person
Course Times + Location:
Mo, We, Fr 2:30 PM – 3:20 PM
AQ 3159, Burnaby
Exam Times + Location:
Dec 11, 2019
12:00 PM – 3:00 PM
AQ 3003, Burnaby
1 778 782-4335
Prerequisites:Completion of nine units in Computing Science upper division courses or, in exceptional cases, permission of the instructor.
Formal and foundational issues dealing with the representation of knowledge in artificial intelligence systems are covered. Questions of semantics, incompleteness, non-monotonicity and others will be examined. As well, particular approaches, such as procedural or semantic network, may be discussed.
This course is cross-listed with CMPT 721
The area of Knowledge Representation and Reasoning is primarily concerned with encoding general world knowledge symbolically, in a form suitable for automated reasoning. This course will focus on central KRR methodologies, giving equal time to representational issues and reasoning issues.
- Introduction : What do we mean by knowledge representation and why is it interesting?
- Logic: expressing knowledge, first-order logic, Horn clause logic
- Production systems (rule-based systems)
- Description Logics
- Probabilities and uncertain reasoning
- Diagnosis and abductive explanation
- Reasoning about action
- Expressiveness and tractability
The exact marking scheme will be decided in the first week of class in consultation with students in the course. Tentatively, four assignments and a midterm test and a final exam.
Students must attain an overall passing grade on the weighted average of exams in the course in order to obtain a clear pass (C- or better).
MATERIALS + SUPPLIES:
- Essentials of Artificial Intelligence, Matt Ginsberg, Elsevier Science & Technology Books , 1993, 9781558602212
- Artificial Intelligence: A Modern Approach (3rd Edition), Stuart Russell and Peter Norvig, Prentice Hall,, 2009, 9780136042594
Knowledge Representation and Reasoning,
R. Brachman and H. Levesque,
Elsevier Science, 2004
This text is available online. As well, it is between "required" and "recommended"
SFU’s Academic Integrity web site http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating. Check out the site for more information and videos that help explain the issues in plain English.
Each student is responsible for his or her conduct as it affects the University community. Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS