| Course Type | Elective Course |
| Course Level | Master's Degree With Thesis |
| Year of Study | - |
| Semester | - |
| ECTS | 10 |
| Name of Lecturer(s) |
|
| Learning Outcomes |
At the end of this course, the students;
- Be informed of Knowledge representation and reasoning.
- Know syntax, semantics, and proof theory (deductive inference) of propositional logic.
- Apply first-order predicate logic.
- Have knowledge of uncertainty and probabilistic reasoning.
- Recognize expert systems.
|
| Mode of Delivery | Face to face |
| Prerequisites | No |
| Recommended Optional Programme Components | None |
| Course Description | Knowledge representation and reasoning. Syntax, semantics. Proof theory (deductive inference) of propositional logic. First-order predicate logic. Uncertainty. Probabilistic reasoning. Expert systems. |
| Course Contents |
| WEEK |
TOPICS |
|
1st Week |
Knowledge representation and reasoning. |
|
2nd Week |
Knowledge representation and reasoning. |
|
3rd Week |
Knowledge representation and reasoning. |
|
4th Week |
Syntax, semantics. |
|
5th Week |
Syntax, semantics. |
|
6th Week |
Syntax, semantics. |
|
7th Week |
Syntax, semantics. |
|
8th Week |
Mid-term |
|
9th Week |
Proof theory (deductive inference) of propositional logic. First-order predicate logic. |
|
10th Week |
Proof theory (deductive inference) of propositional logic. First-order predicate logic. |
|
11th Week |
Uncertainty. |
|
12th Week |
Probabilistic reasoning. |
|
13th Week |
Expert systems. |
|
14th Week |
Expert systems. |
|
| Recommended or Required Reading | 1. Russell S., Norvig P. Artificial Intelligence: A Modern Approach, Prentice Hall, 2003, Second Edition, ISBN: 9780137903955 |
| Planned Learning Activities and Teaching Methods |
- Lecture
- Questions/Answers
- Presentation
- Experiment
- Practice
- Problem Solving
- Project
- Report Preparation
|
| Assessment Methods and Criteria |
|
Quantity |
Percentage (%) |
| Mid-term |
1 |
30 |
| Assignment |
1 |
15 |
| Project |
1 |
15 |
| Total(%) |
|
60 |
| Contribution of In-term Studies to Overall Grade(%) |
|
60 |
| Contribution of Final Examination to Overall Grade(%) |
|
40 |
| Total(%) |
|
100 |
|
| ECTS Allocated Based on Student Workload |
| Activities |
Quantity |
Duration (Hour) |
Total Workload (Hour) |
| Midterm exam |
1 |
2 |
2 |
| Preparation for Quiz |
|
|
|
| Individual or group work |
|
|
|
| Preparation for Final exam |
1 |
70 |
70 |
| Course hours |
14 |
3 |
42 |
| Preparation for Midterm exam |
1 |
50 |
50 |
| Laboratory (including preparation) |
|
|
|
| Final exam |
1 |
2 |
2 |
| Homework |
3 |
30 |
90 |
| Project |
1 |
35 |
35 |
| Total Work Load | 291 |
| Total Work Load / 30 (h) | 9.7 |
| ECTS Credit of the Course | 10 |
|
| Language of Instruction | Turkish |
| Work Placement(s) | No |