| Цоурсе Титле | Кноwледге-басед сyстемс
|
||||||||||||||
| Фацултy
|
Сцхоол оф Цомпутинг | ||||||||||||||
| Студy Программе
|
Цомпутер Сциенце – мастер студиес | ||||||||||||||
| Профессор | Младен Станојевић | Цонтацт (е-маил аддресс) | мстанојевиц@раф.рс | ||||||||||||
| Цоде | 14.8010 | Цоурсе левел | Мастер | ЕЦТС цредитс | 8 | ||||||||||
|
Десцриптион (маx. 100 wордс) |
Тхе формал лангуаге оф пропоситионал логиц. Семантиц рулес. Цалцуlatинг тхе трутх-валуе оф пропоситионал формулас. Тхе трутх табле. Семантиц трее. Цлаусес анд нормал формс. Фирст-ордер логиц. Цомплетенесс оф пропоситионал логиц. Предицате цалцулус. Кноwледге репресентатион. Тхе логицал репресентатион. Репресентатион оф нетwоркс. Фрамес. Цонцептуал грапхс. Објецт дата модел анд датабасе сyстем. Тхе семантицс оф дедуцтиве датабасес. Тривалент логиц. Нонмонотониц реасонинг. Стандард логиц. Модел инференце тхат цан бе ревисед. Цонцлудинг ундер унцертаинтy. Пробабилитy тхеорy. Нетwорк оф белиефс. Пробабилистиц логицс. Модал логицс. Пропоситионал модал логиц. Валуатион анд таутологy. Тхеорy оф прооф. Мултимодал лангуагес. Темпорал логиц. Тхе темпорал модал фирст-ордер логиц. Мета-сyстемс. Мета-программинг. Мета-логиц предицатес. Мета-интерпретер. | ||||||||||||||
| Леарнинг оутцомес
(маx. 50 wордс) |
Ат тхе енд оф тхе цоурсе, студентс wилл бе абле то десигн ан интеллигент кноwледге-басед сyстем тхат ис абле то провиде суппорт ин децисион макинг ин реал енвиронмент. | ||||||||||||||
| Семестер
|
1 | Маxимум нумбер оф виситинг студентс | 5 | ||||||||||||
| Лангуаге | Сербиан, Енглисх | Аваилабле фор интернатионал студентс (YЕС ор НО) | YЕС | ||||||||||||
Абоут тхе Аутхор:
Леаве А Цоммент
Yоу муст бе логгед ин то пост а цоммент.