Automated Reasoning (Level 11) (P01193)

? Credit Points : 10 ? SCQF Level : 11 ? Acronym : INF-P-AR

The overall aim of the module is to describe how reasoning can be automated. Its more specific aim is to provide a route into more advanced uses of theorem proving in automated reasoning and in solving challenging problems if mathematics. Major emphases are on: how knowledge can be represented using logic; how these representations can be used as the basis for reasoning and how these reasoning processes can be guided to a successful conclusion. Students are encouraged to develop a deep understanding of automated reasoning from mathematical "first principles" via theorem proving.

Entry Requirements

? Pre-requisites : Fundamentals of Artificial Intelligence For Informatics PG students only, or by special permission of the School.

? Prohibited combinations : Automated Reasoning (previous syllabus)

Subject Areas

Home subject area

Knowledge Representation and Reasoning, (School of Informatics, Schedule O)

Other subject areas

Theoretical Computer Science, (School of Informatics, Schedule O)

Delivery Information

? Normal year taken : Postgraduate

? Delivery Period : Semester 1 (Blocks 1-2)

? Contact Teaching Time : 2 hour(s) per week for 10 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
21/09/2006	16:10	17:00	Room G.04, William Robertson Building	Central

All of the following classes

Type	Day	Start	End	Area
Lecture	Monday	16:10	17:00	Central
Lecture	Thursday	16:10	17:00	Central

Summary of Intended Learning Outcomes

-represent mathematical and other knowledge using logic.
-analyze the behaviour of various reasoning techniques from "first principles" as theorem provign tasks.
-formalize informal knowledge and reason rigorously about it, understanding the role of mathematical proof in this process.
-compare precisely the tradeoffs between some rival techniques for the same reasoning task.
-implement key reasoning techniques in a computer program/theorem prover.
-know how to use more sophisticated reasoning techniques implemented in a computer program/theorem prover.
-organize their own study to manage project development.
-search and read the literature.
-conduct exploratory experiments.
-critically analyze and evaluate other people's work.
-be broadly up-to-date with current research in the field
-be up-to-date in detail with at least one significant, specific aspect of current research in the field.