====== Introduction to Artificial Intelligence (B4B36ZUI,BE4B36ZUI) ======

This course provides an introduction to the symbolic artificial intelligence. It presents the algorithms for informed and non-informed state space search, nontraditional methods of problem solving, knowledge representation by means of formal logic, methods of automated reasoning and introduction to markovian decision making

===== General information =====
**Lecturers:** [[http://cs.fel.cvut.cz/en/people/pechouce|Michal Pěchouček]], [[http://cs.fel.cvut.cz/en/people/klema|Jiří Kléma]], [[http://cs.fel.cvut.cz/en/people/bosanbra|Branislav Bošanský]]

**Teaching assistants:** The TAs are rotated according to the topics, 
contacts: [[http://cs.fel.cvut.cz/en/people/bosanbra|Branislav Bošanský]], [[http://cs.fel.cvut.cz/en/people/fiedlda1|David Fiedler]],
[[http://cs.fel.cvut.cz/en/people/janisjar|Jaromír Janish]], [[http://cs.fel.cvut.cz/en/people/schaemar|Martin Schaefer]]

  * [[courses:b4b36zui:prednasky|Lectures]] 
  * [[courses:b4b36zui:seminars|Labs/Tutorials/Seminars]]
  * [[https://cw.felk.cvut.cz/brute|BRUTE - Task Upload and Evaluation system]]

==== Tasks ====
^Task ^ When ^ Deadline ^
|Task 1: Path planning (A*)| week 3-5 | 25/03/2018 23:59 |
|Task 2: CSP| week 5-7 | 08/04/2018 23:59 |
|Task 3: Test | TBD | written during seminar |
|Task 4: Situation calculus | week 9-10 | 07/05/2018 23:59  |
|Task 5: MDP |week 11-12| 22/05/2018 23:59  |
|Following tasks to be specified|||

===== Credit allowance conditions =====
  * Getting the seminar credit - you will not be allowed to pass the exam without this one.
  * Passing the exam.
  * Points gathered from the seminar assignments are added to points from the exam and form the final grade according to standard university rules (50-59b. = E, ..., 90-100b. = A).

==== Seminar credit allowance conditions ====
  * Participation and active work at all seminars (up to 2 absences without an excuse will be tolerated).
  * Gathering at least 25 points from the assignments (out of 50).
  * Submitting **all** assignments during the term and receiving **at least 50% of points from each of the assignment for the content**.
    * You can choose one assignment, for which you don't have to get 50% of points. 
    * Getting the points for the fulfilling 50% of the assignment are computed before the deduction of points for late submission penalty.
    * The late submission penalty is 50, 75 and 100% percent of points for being late by up to 24 hours, 48 hours, more than 48 hours.    

==== The exam ====

Exam rules: 

  * The exam is written and takes approximately 150 minutes
  * After the evaluation of the written part, possible ambiguities are cleared between the examiner and the student in a short discussion 
    * Discussion is not graded. However, it may lead to the re-evaluation of the student's score (typically a few points upwards)

  * Topics covered by lecture slides will be examined
  * You can find exams from previous years here:
    * {{zkouska-10-6-2011.pdf|2011 exam example}},  {{:courses:b4b36zui:zkouska-10-6-2011-en-comments.pdf| in english}}
    * {{zkouska-14-6-2012.pdf|2012 exam example}},
    * {{zkouska-11-06-2014.pdf|2014 exam example}}, {{:courses:b4b36zui:zkouska-11-06-2014-en-comments_complete.pdf| in english}},
    * {{zkouska-02-06-2016-EN.pdf|2016 exam example (direcly in English)}}.
  * At the exam it is possible to use **1 A4 page with hand-written notes** and a calculator (**no cell phone!**)
  * No other information sources (books, laptops, etc.) are allowed 

Exam passing conditions:

  * Getting 25 point out of 50

**Exam dates [2018]:**


  * TBD
===== Links =====
  * [[courses:b4b36zui:prednasky|Lectures]] 
  * [[courses:b4b36zui:seminars|Seminars]]
  * [[https://cw.felk.cvut.cz/upload/secure/umain.phtml?id=289|Brute - upload and evaluation system]]

===== Literature =====


  * [AIMA] Russel, S. a Norvig, P.: Artificial Intelligence: A Modern Approach (2nd edition), Prentice Hall, 2003