| TDDA16 | Representation of Knowledge in AI, 4 ECTS credits. /AI-kunskapsrepresentation/ |
||
OBS! |
The course, that is given every second year, is given during 2004. |
||
Prel. scheduled
hours: 36 |
|||
|
Area of Education: Technology Subject area: Computer Science |
|||
| Advancement level
(A-D): D
|
|||
| Aim: The aim of the course is to teach the principles of formal knowledge representation in several application areas in AI. In particular, the student will learn how to use logic, both as a tool for analysis and as a knowledge representation language, for reasoning about action and change. |
|||
| Prerequisites: (valid for students admitted to programmes within which the course is offered) TATM 43 Discrete mathematics, basic course TDDA 15 Logic, introductory course TDDA 58 Artificial intelligence C Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding. |
|||
| Organisation: The seminars and lectures cover both theory and exercises of a more practical nature. |
|||
| Course contents: The course is organized into two parts. In part I, we consider knowledge representation in general, and logic-based approaches in particular. We introduce a number of logical tools and concepts required for reasoning about the domain of action and change. The general tools of nonmonotonic logic and temporal logic in AI are introduced and applied to three central problems in the action and change domain: the frame, qualification and ramification problems. All three are still considered open problems, but there are a number of proposed partial solutions that will also be studied. In part II, we introduce a systematic approach for studying the knowledge representation of dynamical systems. It can be used as a tool for analyzing much of the work considered in part I, and also as a tool for constructing new logics for reasoning about action and change. In addition, a technique for assessing the correctness of logics relative to formal definitions of "inhabited dynamic systems", which specify properties of agents and the environments they inhabit, will also be considered. |
|||
| Course literature: The material used in Part I of the course consists of research articles and lecture notes. The material for part II, consists of the following book: Sandewall, Erik, "Features and Fluents: A systematic Approach to the Representation of Knowledge about Dynamical Systems", 1994, Oxford University Press |
|||
| Examination: | |||
| Oral examination and hand-in exercises |
2,5 p |
||
Course language is . Department offering the course: IDA. Director of Studies: Peter Dalenius Examiner: Erik Sandewall Link to the course homepage at the department Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||