Knowledge Representation and Reasoning (CCT471H5F)

* Course in Preparation *

  • Email: georgebelic@gmail.com
  • Required Text (1): Sider, Theodore. 2010. Logic for Philosophy, 1st Edition. Oxford University Press.
  • Required Text (2): Burgess, J. 2012. Philosophical Logic. Princeton University Press.
  • Additional: Ron Brachman and Hector Levesque, Knowledge Representation and Reasoning. Morgan Kaufmann.
  • Prerequisites: None; A course in mathematics, statistics, or Logic recommended
  • Description: This is an overview of formal representations of knowledge and reasoning. We will cover classical logic (propositional and predicate), non-classical logic (intuitionism), modal logic (epistemic and deontic logic) and how to model probabilistic reasoning and reasoning with vague expressions. We will introduce these formal systems, compare them and show how they can be applied to practical problems. Although proofs are covered, we will mostly aim at understanding rather than technical proficiency.

No. TopicReading Lecture
Introduction   
What is Logic?Ch. 1 (pg. 1-30)  
Propositional LogicCh. 2 (pg. 30-42,57-62)  
4-5 Non-Classical LogicCh. 3 (pg. 91-114)  
6-7 Predicate LogicCh. 4 (pg. 115-122)  
Modal Logic: Logic of NecessityCh. 6 (pg. 171-186)  
Deontic and Epistemic Logic: Logic of Morals and KnowledgeCh. 8 (pg. 234-238,246-250) 
10 Uncertainty: Burgess, Philosophy of Logic (excerpt)  
11 Vagueness Burgess, Philosophy of Logic (excerpt)