Student bude seznámen s problémy, které jsou předmětem discipliny Logická sémantika a reprezentace znalostí. Přesné určení významu výrazu přirozeného jazyka spočívá v nalezení algoritmicky strukturované procedury, tj. konstrukce, kterou výraz reprezentuje. Přitom tato analýza musí být natolik přesná, aby na jejím základě mohly být provedeny adekvátní inference. Zároveň je nutno výsledky analýzy formalizovat tak, aby je bylo možno automaticky zpracovávat. Studenti se naučí tyto problémy řešit takovým způsobem, aby nedocházelo k nežádoucím paradoxům usuzování. Správná analýza, tj. adekvátní logická konstrukce, je nutnou podmínkou korektní inference a může pak sloužit např. jako podklad pro reprezentaci znalostí ve znalostních systémech umělé inteligence, umožňuje přesný (i automatický) překlad do jiného jazyka, využití v multi-agentních systémech pro komunikaci agentů, apod.
Oblíbený předmět Bez zkoušky
Zkratka:
ISY
Kredity:
4
Ukončení:
Zápočet
Garant:
Marie Duží
Projektů:
1
Bodů k zápočtu:
51
| Popis | Nahrál | Materiál | Staženo | Nahráno |
|---|---|---|---|---|
| jedno zadani | pearmonik | Zadání k písemce | 23x | 19.05.2011 |
| Expertni system, chybi jen dopredne retezeni | Nemo | Projekt | 8x | 16.04.2010 |
| expertní systém - dopravní prostředky | x.soldier | Zdrojový kód | 14x | 11.04.2010 |
| balík Olivkových PDF, všechny dostupné k tomuto kurzu | x.soldier | Balík přednášek | 22x | 09.05.2009 |
| plánování, zdroják pro Otec a dva synové | x.soldier | Zdrojový kód | 27x | 25.03.2009 |
| povolený tahák k písemce z Prologu (PDF, 5 stran) | x.soldier | Tahák | 18x | 24.03.2009 |
| Příklady na práci se seznamy + problém Koza,Vlk,Zelí,Prevozník v GPS | belzebub6 | Příklady ze cvičení | 23x | 21.03.2009 |
| plánování, zdrojáky Nádoby a Robot | x.soldier | Zdrojový kód | 14x | 11.03.2009 |
| Prolog - dobré zpracování, kódy | Ossian | Ekniha | 41x | 03.03.2009 |