INF2D: Week 3: Revision, Logical Agents and Inference

We start the week with a revision lecture on Search.  
7: Revision

We then change the focus of our study to a different type of agents, logical agents. We start by presenting knowledge-based agents and then we focus on a first language used for developing such systems, propositional logic. We recall some concepts related to logics in general and then we look at the syntax and the semantics of propositional logic:  
8: Logical Agents

9: Effective Propositional Inference

Each of the above three items in this folder includes lecture slides, required reading, and a small quiz for each lecture . There will also be a tutorial with exercises on this material next week.

If there is anything you don't understand, then you can: 

1. Ask during the lecture (including on stream!);
2. Post a question on Piazza;
3. Ask your tutor.