Course - Logic and Reasoning Systems - TDT4136
TDT4136 - Logic and Reasoning Systems
About
Examination arrangement
Examination arrangement: Written examination
Grade: Letters
Evaluation | Weighting | Duration | Grade deviation | Examination aids |
---|---|---|---|---|
Written examination | 100/100 | 4 timer |
Course content
The subject starts with a description of problem solving methods by means of heuristic search. Therafter, various knowledge representation languages and inference methods for automatic problem solving. Representation in form of predicate logic, frames and semantic nets are treated, and connected to the main forms of reasoning - especially rule based reasoning. Furthermore, architectures that integrates various resoning methods, agent based architectures and architectures for interactive problem solving. Numerous applicaton examples are given to demonstrate the methods.
Learning outcome
The subject shall give a general introduction to Artificial Intelligence (AI), and its basis is taken from mathematics, logic and cognitive sciences. The subject aims at realising aspects of intelligent behaviour in computer systems.
Learning methods and activities
Lectures, self study and exercises. A number of mandatory exercises must be approved in order to take the exam. If there is a re-sit examination, the examination form may be changed from written to oral.
Compulsory assignments
- Exercises
Recommended previous knowledge
TDT4120 Algorithms and Data Structures. MA0301 Elemantary Discrete Mathematics, or similar.
Course materials
Stuart Russell, Peter Norvig: Artificial Intelligence. A Modern Approach, Third Edition, Prentice Hall, 2010.
Credit reductions
Course code | Reduction | From | To |
---|---|---|---|
IMT3103 | 7.5 | ||
IT2702 | 3.7 | ||
IT272 | 3.7 | ||
MNFIT272 | 3.7 | ||
SIF8015 | 3.7 | ||
SIF8031 | 3.7 | ||
TDT4135 | 3.7 | ||
TDT4170 | 3.7 |
No
Version: 1
Credits:
7.5 SP
Study level: Third-year courses, level III
Term no.: 1
Teaching semester: AUTUMN 2011
Language of instruction: -
-
- Computer Systems
- Informatics
Department with academic responsibility
Department of Computer Science
Examination
Examination arrangement: Written examination
- Term Status code Evaluation Weighting Examination aids Date Time Examination system Room *
- Autumn ORD Written examination 100/100 2011-12-01 09:00
-
Room Building Number of candidates
- * The location (room) for a written examination is published 3 days before examination date. If more than one room is listed, you will find your room at Studentweb.
For more information regarding registration for examination and examination procedures, see "Innsida - Exams"