Informatics 2D: Reasoning & Agents (U02602)

? Credit Points : 20 ? SCQF Level : 8 ? Acronym : INF-2-INF2D

This course focuses on approaches relating to representation, reasoning and planning for solving real world inference. The course illustrates the importance of (i) using a smart representation of knowledge such that it is conducive to efficient reasoning, and (ii) the need for exploiting task constraints for intelligent search and planning. The notion of representing action, space and time is formalized in the context of agents capable of sensing the environment and taking actions that affect the current state. There is also a strong emphasis on the ability to deal with uncertain data in real world scenarios and hence, the planning and reasoning methods are extended to include inference in probabilistic domains.

Entry Requirements

? Pre-requisites : Informatics 1A and 1B

Subject Areas

Home subject area

Informatics, (School of Informatics, Schedule O)

Delivery Information

? Normal year taken : 2nd year

? Delivery Period : Semester 2 (Blocks 3-4)

? Contact Teaching Time : 3 hour(s) per week for 11 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
08/01/2008	15:00	15:50	Lecture Theatre 4, Appleton Tower	Central

All of the following classes

Type	Day	Start	End	Area
Lecture	Tuesday	15:00	15:50	Central
Lecture	Thursday	15:00	15:50	Central
Lecture	Friday	15:00	15:50	Central

Summary of Intended Learning Outcomes

After completing this course successfully, students should be able to:
* Use task constraints to make search efficient
* Perform Inference with First Order Logic
* Comprehend the strengths and weaknesses of various kinds of logic representations, e.g. Propositional, FOL
* Use STRIPS to plan and execute actions using either propositional or First Order Logic representation.
* Create a Bayesian net representation of a non-deterministic planning problem
* Create a basic probabilistic action agent using simulated state transitions and goals.