456-0927/01 – Logic for Artificial Intelligence (LU)
Gurantor department | Department of Computer Science | Credits | 10 |
Subject guarantor | prof. RNDr. Marie Duží, CSc. | Subject version guarantor | prof. RNDr. Marie Duží, CSc. |
Study level | postgraduate | Requirement | Choice-compulsory |
Year | | Semester | winter + summer |
| | Study language | Czech |
Year of introduction | 2003/2004 | Year of cancellation | 2009/2010 |
Intended for the faculties | FEI | Intended for study types | Doctoral |
Subject aims expressed by acquired skills and competences
Teaching methods
Summary
Introduction and Overview
A Model for Knowledge
Explicit vs. Implicit Knowledge
Logical Omniscience
Knowledge in Multi-Agent Systems
Inferable Knowledge
Common Knowledge and Agreement
Knowledge-Based Programminng
Evolving Knowledge
Compulsory literature:
Fagin, Halpern, Moses, Vardi: Reasoning about Knowledge, MIT.
Recommended literature:
Way of continuous check of knowledge in the course of semester
E-learning
Other requirements
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.