Undergraduate Course: Informatics 2D - Reasoning and Agents (INFR08010)
Course Outline
| School |
School of Informatics |
College |
College of Science and Engineering |
| Course type |
Standard |
Availability |
Available to all students |
| Credit level (Normal year taken) |
SCQF Level 08 (Year 2 Undergraduate) |
Credits |
20 |
| Home subject area |
Informatics |
Other subject area |
None |
| Course website |
https://www.inf.ed.ac.uk/teaching/courses/inf2d |
|
|
| Course description |
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. |
Course Delivery Information
|
| Delivery period: 2010/11 Semester 2, Available to all students (SV1)
|
WebCT enabled: No |
Quota: None |
| Location |
Activity |
Description |
Weeks |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
| Central | Lecture | | 1-11 | | | | 15:00 - 15:50 | | | Central | Lecture | | 1-11 | | | | | 15:00 - 15:50 | | Central | Lecture | | 1-11 | | 15:00 - 15:50 | | | |
| First Class |
Week 1, Tuesday, 15:00 - 15:50, Zone: Central. David Hume Tower, Lecture Theatre A |
Summary of Intended Learning Outcomes
1 - Use task constraints to make search efficient
2 - Perform Inference with First Order Logic
3 - Comprehend the strengths and weaknesses of various kinds of logic representations, e.g. Propositional, FOL
4 - Use STRIPS to plan and execute actions using either Propositional or First Order Logic representation.
5 - Create a Bayesian net representation of a non-deterministic planning problem
6 - Create a basic probabilistic action agent using simulated state transitions and goals |
Assessment Information
Written Examination 75
Assessed Assignments 25
Oral Presentations 0
Assessment
Three pieces of assessed coursework. Details will change every year and will be published on the course web pages.
If delivered in semester 1, this course will have an option for semester 1 only visiting undergraduate students, providing assessment prior to the end of the calendar year. |
| Please see Visiting Student Prospectus website for Visiting Student Assessment information |
Special Arrangements
| Not entered |
Contacts
| Course organiser |
Dr Jacques Fleuriot
Tel: (0131 6)50 9342
Email: Jacques.Fleuriot@ed.ac.uk |
Course secretary |
Ms Kendal Reid
Tel: (0131 6)50 5194
Email: kr@inf.ed.ac.uk |
|
copyright 2010 The University of Edinburgh -
1 September 2010 6:09 am
|
University Homepage