2-IKV-131 Representation, Knowledge and Reasoning

Provides: RNDr. Martin Baláž

Form and extent of the course: Lecture / Practical - 2 / 2 hours per week

Semester: 2^nd

Number of credits: 5

Prerequisites: 2-IKV-103

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.

Literature:

J. Šefránek: Inteligencia ako výpočet. IRIS Bratislava 2002 (in Slovak).

Language of instruction: Slovak