Skip to main content

INF2D - top navigation

  • Learn
  • Piazza
  • DRPS

Breadcrumb

  1. Home
  2. INF2D: Informatics 2D - Reasoning and Agents
  3. INF2D: Course Materials

INF2D: Week 3: Revision, CW1 and Logical Agents

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

Ameer Saadat-Yazdi (our TA) and the lecturers will introduce the first coursework.   
8: CW1_Introduction

At the end of the week, we 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:  
9: Logical Agents

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.
License
All rights reserved The University of Edinburgh
  • INF2D: 9: Logical Agents

Book traversal links for INF2D: Week 3: Revision, CW1 and Logical Agents

  • INF2D: 6: Adversarial Search
  • Up
  • INF2D: 9: Logical Agents

Navigation links

  • INF2D: Course Overview
  • INF2D: Course Materials
    • INF2D: Week 1 - Introduction. Intelligent Agents. Search Problems
    • INF2D: Week 2: Informed Search and Using Constraints, Adversarial Search
    • INF2D: Week 3: Revision, CW1 and Logical Agents
      • INF2D: 9: Logical Agents
    • INF2D: Week 4: Propositional Inference, First-Order Logic, Unification
    • INF2D: Week 5: Resolution, Situation Calculus, Revision
    • INF2D: Week 6: Symbolic Planning
    • INF2D: Week 7: From Symbolic Planning to Uncertainty and Rationality
    • INF2D: Week 8: Probabilistic Inference
    • INF2D: Week 9: Approximate Inference Methods, and Time
    • INF2D: Week 10: Rational Decision Making
  • INF2D: Tutorial Exercises
  • Inf2D Labs
  • INF2D: Resource List
  • INF2D: Assessment
RSS feed

Opencourse privacy & accessibility statements; contact Informatics, ILTS.