Verzia zo dňa a času 15:50, 3. september 2012

Reprezentácia znalostí a inferencia 2-AIN-144

Názov a kód predmetu:	Reprezentácia znalostí a inferencia (2-AIN-144)
Prerekvizity:	2-AIN-108!, 1-INF-471
Vyučuje sa/odporúčaný ročník:	Zimný semester / 1
Forma a # hodín/týždeň:	K - kurz (4)
Kredity:	6
Hodnotenie (semester/skúška):	40/60
Webstránka predmetu:	http://www.dai.fmph.uniba.sk/w/Course_KRR
Informačný list:	Informačný list 2-AIN-144 (fakultná služba)
Vyučujúci:	Baláž M., Homola M.

Popis predmetu:

Poskytnúť študentom vedomosti z oblastí: matematická logika, logické programovanie, nemonotónne usudzovanie, teoretické základy znalostných systémov, formálne modely reprezentácie znalostí, sémantická špecifikácia jazyka na reprezentáciu znalostí a vzťahu odvodenia.

Je časťou študijného programu: Povinne-voliteľný v Magisterskom programe Aplikovaná informatika

Odporúčania: žiadne

@@ Riadok 2: / Riadok 2: @@
    | name = Reprezentácia znalostí a inferencia
    | code = 2-AIN-144
-   | prerequisites = žiadne
+   | prerequisites = 2-AIN-108!, 1-INF-471
    | semester = Zimný
    | year = 1
@@ Riadok 9: / Riadok 9: @@
    | evaluation = 40/60
    | webpage = http://www.dai.fmph.uniba.sk/w/Course_KRR
-   | teacher = [[Jan Sefranek|PhDr. Ján Šefránek, CSc.]]
+   | teacher = [[Martin Balaz|Baláž M.]], [[Martin Homola|Homola M.]]
-  | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
-  | homepage = http://ii.fmph.uniba.sk/~sefranek/
    | description =  Poskytnúť študentom vedomosti z oblastí: matematická logika, logické programovanie, nemonotónne usudzovanie, teoretické základy znalostných systémov, formálne modely reprezentácie znalostí, sémantická špecifikácia jazyka na reprezentáciu znalostí a vzťahu odvodenia.
    | offered_in = Povinne-voliteľný v [[Master program in Applied Informatics|Magisterskom programe Aplikovaná informatika]]
    | recommendations = žiadne
 }}