Zzobsolete28 (Talk | contribs) (Prerequisities) |
Zzobsolete28 (Talk | contribs) (More courses, reorganized, names corrected (w.r.t. English info sheets)) |
||

Line 1: | Line 1: | ||

[http://en.wikipedia.org/wiki/Knowledge_representation Knowledge representation] has traditionally been an important area of research at our department. In accordance, whole family of courses on this subject is offered to our students. | [http://en.wikipedia.org/wiki/Knowledge_representation Knowledge representation] has traditionally been an important area of research at our department. In accordance, whole family of courses on this subject is offered to our students. | ||

− | == | + | ==Introduction to KR== |

− | * Semantic | + | * Semantic fundamentals of knowledge systems (1-INF-470) |

− | + | ||

− | + | ||

− | == | + | ==Core KR courses== |

+ | * Representation, Knowledge and Reasoning (2-IKV-131) | ||

+ | * Knowledge Representation and Reasoning (2-AIN-144) | ||

* Description Logics, ontologies and the semantic web (1-AIN-646) | * Description Logics, ontologies and the semantic web (1-AIN-646) | ||

* Answers set programming (M-INCU-062) | * Answers set programming (M-INCU-062) | ||

+ | * Programming in Prolog (M-INCU-022) | ||

+ | * Judegment involving uncertainty (2-AIN-245) | ||

==Related courses== | ==Related courses== | ||

Line 19: | Line 21: | ||

* Expert systems 2 (2-AIN-241) | * Expert systems 2 (2-AIN-241) | ||

* Introduction to declarative programming (1-AIN-505) | * Introduction to declarative programming (1-AIN-505) | ||

+ | * Declarative Programming of Web Applications (1-AIN-425) | ||

* Symbolic programming and LISP (M-INCU-021) | * Symbolic programming and LISP (M-INCU-021) | ||

+ | * Logic and cognitive science (2-IKV-261) | ||

==Before you subscribe to KR course== | ==Before you subscribe to KR course== | ||

− | Before you subscribe to any of the KR courses, it is advised to have some background in logic and in artificial intelligence (AI). We advice that you take at least one of: | + | Before you subscribe to any of the KR courses, it is advised to have some background in logic and in artificial intelligence (AI). It is best if you have the background informations beforehand but usually it is also possible to take your KR course together the pre-required courses (same semester). |

+ | We advice that you take one of the AI courses: | ||

+ | |||

+ | * Fundamentals of artificial intelligence 1 (1-AIN-360) | ||

+ | * Fundamentals of artificial intelligence for Cognitive Science (2-IKV-103) | ||

+ | |||

+ | and at least one of the Logic courses: | ||

* Introduction to mathematical logic (1-INF-210) | * Introduction to mathematical logic (1-INF-210) | ||

* Mathematical logic (2-INF-114) | * Mathematical logic (2-INF-114) | ||

* Logic for computer science (1-INF-450) | * Logic for computer science (1-INF-450) | ||

− | * Set | + | * Mathematical logic for cognitive science (2-IKV-267) |

− | * Set | + | * Set theory and mathematical logic 1 (1-MAT-455) |

+ | * Set theory and mathematical logic 2 (1-MAT-480) |

## Revision as of 16:54, 14 February 2008

Knowledge representation has traditionally been an important area of research at our department. In accordance, whole family of courses on this subject is offered to our students.

## Contents

## Introduction to KR

- Semantic fundamentals of knowledge systems (1-INF-470)

## Core KR courses

- Representation, Knowledge and Reasoning (2-IKV-131)
- Knowledge Representation and Reasoning (2-AIN-144)
- Description Logics, ontologies and the semantic web (1-AIN-646)
- Answers set programming (M-INCU-062)
- Programming in Prolog (M-INCU-022)
- Judegment involving uncertainty (2-AIN-245)

## Related courses

Selection of courses that are also related to knowledge representation:

- Expert systems 1 (2-AIN-141)
- Expert systems 2 (2-AIN-241)
- Introduction to declarative programming (1-AIN-505)
- Declarative Programming of Web Applications (1-AIN-425)
- Symbolic programming and LISP (M-INCU-021)
- Logic and cognitive science (2-IKV-261)

## Before you subscribe to KR course

Before you subscribe to any of the KR courses, it is advised to have some background in logic and in artificial intelligence (AI). It is best if you have the background informations beforehand but usually it is also possible to take your KR course together the pre-required courses (same semester). We advice that you take one of the AI courses:

- Fundamentals of artificial intelligence 1 (1-AIN-360)
- Fundamentals of artificial intelligence for Cognitive Science (2-IKV-103)

and at least one of the Logic courses:

- Introduction to mathematical logic (1-INF-210)
- Mathematical logic (2-INF-114)
- Logic for computer science (1-INF-450)
- Mathematical logic for cognitive science (2-IKV-267)
- Set theory and mathematical logic 1 (1-MAT-455)
- Set theory and mathematical logic 2 (1-MAT-480)