Skip to main content

Breadcrumb

  1. Home

INF2D: Informatics 2D - Reasoning and Agents

Decorative image for Informatics 2D - Reasoning and Agents

Welcome to Informatics 2D - Reasoning and Agents

Hello, we are pleased to welcome you to Informatics 2D - Reasoning and Agents.

This is a second year undergraduate course, which introduces you to some basic concepts and techniques in Artificial Intelligence (AI). 

We will be delivering the course via lectures (in person), weekly tutorials in small groups (in person), chat forums (piazza) and lab sessions with demonstrators (who will help you resolve problems with coursework).

More details about the course topics and how you will study them is given in Course Information.  The course material for each week (including lecture slides, videos, required reading and quizzes) will appear in Course Materials.  The textbook we use for required reading is detailed under Library Resources.  

There are three lecturers to this course: Nadin Kokciyan and Dave Robertson (weeks 1 to 5) and Alex Lascarides (weeks 6 to 10).

 

photo of Nadin Kokciyan     

Nadin Kokciyan is a lecturer in AI at the School of Informatics, whose research is in: Multiagent Systems; Agreement Technologies (Argumentation and Negotiation); Privacy in Social Software; AI Ethics and Explainable AI.

 

David Robertson is a professor in AI at the School of Informatics, whose research is in formal methods for coordination and knowledge sharing in distributed, open systems, using ubiquitous internet and mobile infrastructures.

 

photo of Alex Lascarides

Alex Lascarides is a professor at the School of Informatics, whose research is in natural language processing,  learning strategies in complex games, interactive task learning, and learning to adapt to unforeseen possibilities. 

We very much look forward to teaching you all.

Learning Outcomes

On successful completion of this course, you should be able to: 

  1. Use task constraints to make search efficient.
  2. Perform Inference with First Order Logic and appreciate the strengths and weaknesses of this and other logic representations (eg Propositional).
  3. Use PDDL to plan and execute actions using either Propositional or First Order Logic representations.
  4. Create and reason with a representation of a Bayesian agent for handling a non-deterministic planning problem.
  5.  Constructively engage in both self-study and peer-learning.
The Lecturers: their story

ILTS NOTE: Don't have required permissions to get embed code from MH Create to add Nadin's video here

 

License
All rights reserved The University of Edinburgh
  • INF2D: Course Overview
  • INF2D: Course Materials
  • INF2D: Tutorial Exercises
  • Inf2D Labs
  • INF2D: Resource List
  • INF2D: Assessment

Book traversal links for INF2D: Informatics 2D - Reasoning and Agents

  • INF2D: Course Overview

Navigation links

  • INF2D: Course Overview
  • INF2D: Course Materials
  • INF2D: Tutorial Exercises
  • Inf2D Labs
  • INF2D: Resource List
  • INF2D: Assessment
RSS feed

Opencourse privacy & accessibility statements; contact Informatics, ILTS.