Politechnika Warszawska - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Knowledge Representation and Reasoning

Informacje ogólne

Kod przedmiotu: 1120-INSZI-MSA-0122 Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Knowledge Representation and Reasoning
Jednostka: Wydział Matematyki i Nauk Informacyjnych
Grupy: Computer Science and Information Systems, Artificial Intelligence, 1st sem. of 3 (summer edition)
Computer Science and Information Systems, Artificial Intelligence, 1st sem. of 4 (summer edition)
Computer Science and Information Systems, Artificial Intelligence, 2nd sem. of 3 (winter edition)
Computer Science and Information Systems, Artificial Intelligence, 2nd sem. of 4
Punkty ECTS i inne: 5.00
Język prowadzenia: angielski
Kod wydziałowy:

1120-INSZI-MSA-0012

Skrócony opis:

The aim of the course is to provide students with principles of knowledge representation and reasoning methods in Artificial Intelligence. Students are acquainted with principles of classical logic and basic computational methods of reasoning in this system. They are made familiar with non–classical logics useful for representing and reasoning about knowledge, time, events and actions. Formal models of dynamic systems based on action and query languages are presented. Methods of default reasoning are also presented. Moreover, the course provides students with foundations to rough sets theory and its applications. Introduction to fuzzy logics completes the course.

Pełny opis:

Fundamentals of classical logic. Automated theorem proving in classical logic. Non-classical logics in Artificial Intelligence: modal logics and epistemic logics, agent-oriented logics. Representation and reasoning about actions and time, models of dynamic systems, action languages and query languages. Reasoning methods in multi-agent systems. Non-monotonicity, default and abductive reasoning. Rough sets and their applications.

Literatura:

1. R. Brachman, H. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.

2. R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, The MIT Press, 1995.

3. E. Sandewall, Feature and Fluents: A Systematic Approach to the Representation of Knowledge of Dynamical Systems, Oxford University Press, 1994.

4. E. Mueller, Commonsense reasoning, Morgan Kaufmann Publishers, 2005.

Efekty uczenia się:

Students

(a) know basic logical systems applied in artificial Intelligence and principal methods in Knowledge Repesentation and AI systems.

(b) are familiar with methods in advanced algorithmics, data structures and modern techniques of constructing algorithms

(c) are expertised in graph theory.

Students have the following skills:

(a) they can apply their knowledge in constructing expert systems and knowledge bases

(b) can construct effective interface languages for advanced AI systems (knowledge bases, MAS)

(c) are able to apply Resolution Principle and other automated deduction methods. He/she is capable of modeling of graph heuristic searching (OR, AND/OR methods).

Students have the following social competences:

(a) they are capable of continuing professional training and is aware of the necessity of self-education in the framework of a constant training process

(b) are fully aware of his/her role and responsibility in collaborative tasks.

Metody i kryteria oceniania:

Programming task: theoretical part (10 points), implementation (10 points). Each part has to be positively evaluated: at least 11 points for the programming task and at least 16 points for the examination.

Examination consists of the written part and the oral part.

Written exam is evaluated for 20 points. It has the form of a multi-choice test (evaluated for max. 10 points) and one open problem (evaluated for max. 10 points). In order to take the oral exam a student has to receive at least 10 points from the written part. Students who obtain at least 18 points from the written part need not take the oral examination.

Praktyki zawodowe:

Not concerned.

Zajęcia w cyklu "rok akademicki 2019/2020 - sem. letni" (w trakcie)

Okres: 2020-02-22 - 2020-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Anna Radzikowska
Prowadzący grup: Anna Radzikowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2018/2019 - sem. letni" (zakończony)

Okres: 2019-02-18 - 2019-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Anna Radzikowska
Prowadzący grup: Anna Radzikowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2017/2018 - sem. letni" (zakończony)

Okres: 2018-02-19 - 2018-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Anna Radzikowska
Prowadzący grup: Anna Radzikowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena łączna
Laboratorium - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2016/2017 - sem. letni" (zakończony)

Okres: 2017-02-20 - 2017-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Anna Radzikowska
Prowadzący grup: Anna Radzikowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2015/2016 - sem. letni" (zakończony)

Okres: 2016-02-23 - 2016-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Anna Radzikowska
Prowadzący grup: Anna Radzikowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2014/2015 - sem. letni" (zakończony)

Okres: 2015-02-23 - 2015-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Anna Radzikowska
Prowadzący grup: Anna Radzikowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2013/2014 - sem. letni" (zakończony)

Okres: 2014-02-24 - 2014-09-28
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Anna Radzikowska
Prowadzący grup: Anna Radzikowska
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Laboratorium - Zaliczenie
Wykład - Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Politechnika Warszawska.