| TDDC65 | Artificial Intelligence and LISP, 6 ECTS credits. /Artificiell intelligens och LISP/ |
||
OBS! |
The course overlaps with TDDC17! Both courses are not allowed in the same degree. |
||
Prel. scheduled
hours: 64 |
|||
|
Area of Education: Technology Main field of studies: Computer Science, Computer Engineering, Programming |
|||
| Advancement level
(G1, G2, A): G2
|
|||
| Aim: The goal of the course is to make the student acquainted with the software techniques that have been developed in Artficial Intelligence research, including in particular
It is also part of the course goals that the student shall be acquainted with some practical applications of these techniques, and shall have obtained an understanding of where they may be applicable. After the course the student will be able to
|
|||
| Prerequisites: (valid for students admitted to programmes within which the course is offered) Basic courses in computer science and programming (approximately 12 ECTS credits). 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 course consists of four modules:
2. Lisp programming module 3. Elementary logic module (optional) 4. Knowledge representation module |
|||
| Course contents: The course begins with a module for basic representation and computation which introduces the logic-based notation for recursive functions of symbolic expressions. The notations of standard formal logic, elementary set theory and the core part of the Lisp programming language are defined in a unified way. The Lisp programming module defines some additional facilities in Lisp, for example for using files. It also explains the general framework for facilities in industrial-scale Lisp systems, such as extending the range of datatypes, and the use of namespaces. The module also addresses language-theoretical aspects such as partial evaluation and the use of closures, as well as constructs in metalanguage based on Lisp such as pattern-directed invocation. Finally it includes a discussion of the differences between compiling and interpreting software systems. The Elementary Logic module is optional for those students already having a background in formal logic. It introduces the syntax of first-order predicate logic, equivalence rules for formulas in this logic, and the use of the resolution operator as an inference rule and for theorem-proving. The Knowledge Representation module addresses major topic areas in KR-based Artificial Intelligence, including decision trees and causal nets, reasoning about the effects of actions, ontologies and defeasible inheritance, search techniques and SAT techniques. It also addresses AI-oriented software architectures, such as the SOAR architecture, blackboard architecture, and autonomous agent architecture. The course runs over the entire autumn semester. |
|||
| Course literature: Lecture notes and compendiums that are made available on the course website. Selected articles which are available from the Internet. |
|||
| Examination: | |||
| Written examination Labratory work |
3 ECTS 3 ECTS |
||
Course language is English. Department offering the course: IDA. Director of Studies: Peter Dalenius Examiner: Erik Sandewall Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||