course-details-portlet

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

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
More on the course

No

Facts

Version: 1
Credits:  7.5 SP
Study level: Third-year courses, level III

Coursework

Term no.: 1
Teaching semester:  AUTUMN 2011

Language of instruction: -

-

Subject area(s)
  • Computer Systems
  • Informatics
Contact information

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.
Examination

For more information regarding registration for examination and examination procedures, see "Innsida - Exams"

More on examinations at NTNU