Skip to main content

INF2D - top navigation

  • Learn
  • Piazza
  • DRPS

Breadcrumb

  1. Home
  2. INF2D: Informatics 2D - Reasoning and Agents
  3. INF2D: Course Materials
  4. INF2D: Week 3: Revision, CW1 and Logical Agents

INF2D: 9: Logical Agents

9: Logical Agents

Slides

  • 09_LogicalAgents.pdf (title slide update on 28 Jan)

Contents

  1. A definition of knowledge-based agents as logical agents which apply inference to a knowledge base to derive new information and make decisions. An example, called the Wumpus World.
  2. A characterization of logics as formal systems consisting of syntax and semantics.
  3. A presentation of Propositional Logic.

Required Reading

R&N Sections 7.1–7.5 or NIE Chapter (6) "Logical Agents", Sections 1–5.
NOTE: The abbreviation R&N refers to :
“Artificial Intelligence: A Modern Approach” Third Edition, Russell R & Norvig P, Prentice Hall, 2010 (R&N).
The abbreviation NIE stands for the following edition of the same book:
“Artificial Intelligence: A Modern Approach” Third Edition, Pearson New International Edition, Russell R & Norvig P, Pearson, 2014.

Quiz: Logical Agents

These questions are designed to test your understanding of the course content in Lecture 8; doing this quiz does not contribute to your overall grade, but we can give some formative feedback. This quiz requires that you have gone through Lecture 8 and done the required reading.  Some of the questions require a short text answer.  You can ask for formative feedback from your tutor or on piazza.

License
All rights reserved The University of Edinburgh

Book traversal links for INF2D: 9: Logical Agents

  • INF2D: Week 3: Revision, CW1 and Logical Agents
  • Up
  • INF2D: Week 4: Propositional Inference, First-Order Logic, Unification

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.