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

? Prohibited combinations : U01909 Automated Reasoning (previous syllabus)

Subject Areas

Home subject area

Artificial Intelligence, (School of Informatics, Schedule O)

Other subject areas

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
22/09/2005	16:00	17:00	Room G.01, 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.