Automated Reasoning (Level 10) (VS1) (U02409)

? Credit Points : 10 ? SCQF Level : 10 ? Acronym : INF-4-AR-V

The aim of the module is to describe how reasoning can be automated. 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. Many of the examples are drawn from mathematics because this domain contains lots of challenging reasoning problems which can be succinctly stated. A version of this course is available also at level 11 for students who wish to explore the mathematics of theorem proving in greater depth, with the aim of specialising in one of its many sub-fields.

Entry Requirements

? This course is only available to part year visiting students.

? This course is a variant of the following course : U02493

? Pre-requisites : Informatics 2D Successful completion of Year 3 of an Informatics Single or Combined Honours Degree, or equivalent by permission of the School. This course is only available to part-year visiting students who are only in Edinburgh for Semester 1.

? Prohibited combinations : Automated Reasoning (Level 11)

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 : 4th year

? 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
20/09/2007	16:10	17:00	Room G19, Adam Ferguson 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

After completing the course successfully students should be able to:
- Represent mathematical and other knowledge using logic.
- Analyze the behaviour of various reasoning techniques.
- Formalize informal knowledge and reason rigorously about it.
- Discuss the tradeoffs between some rival techniques for the same reasoning task.
- Implement/use reasoning techniques 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.