2-IKV-131 Representation, Knowledge and Reasoning
Provides: RNDr. Martin Baláž
Form and extent of the course: Lecture / Practical - 2 / 2 hours per week
Number of credits: 5
Evaluation during the course: projects, test
Concluding evaluation: exam
Objectives of the course: Provide students with introduction to theory of knowledge representation, developed within artificial intelligence and lead students towards applying/modifying it for the purpose of studying cognition.
Brief outline of the course:
Logic basics. Relation databases. Logic programming. Nonmonotonous reasoning. Semantics of stable models. Default theories. Hierarchical nets, ontologies, description logics. Abduction. Induction. Dynamic aspects of knowledge representation. Revisions. Applications for cognitive science.
J. Šefránek: Inteligencia ako výpočet. IRIS Bratislava 2002 (in Slovak).
Language of instruction: Slovak