Knowledge Representation and Reasoning (CCT471H5F)
* Course in Preparation *
- Email: email@example.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.
|2||What is Logic?||Ch. 1 (pg. 1-30)|
|3||Propositional Logic||Ch. 2 (pg. 30-42,57-62)|
|4-5||Non-Classical Logic||Ch. 3 (pg. 91-114)|
|6-7||Predicate Logic||Ch. 4 (pg. 115-122)|
|8||Modal Logic: Logic of Necessity||Ch. 6 (pg. 171-186)|
|9||Deontic and Epistemic Logic: Logic of Morals and Knowledge||Ch. 8 (pg. 234-238,246-250)|
|10||Uncertainty:||Burgess, Philosophy of Logic (excerpt)|
|11||Vagueness||Burgess, Philosophy of Logic (excerpt)|