Formální logika v umělé inteligenci přehled
Alena Lukasová
https://www.databazeknih.cz/img/books/28_/283358/bmid_formalni-logika-v-umele-inteligenci-Spe-283358.jpg
0
0
0
Reprezentace znalostí prostředky formální logiky dnes představuje nezbytný teoretický základ umělé inteligence. V knize jsou vysvětleny a dokumentovány pojmy od syntaxe, sémantiky, přes formalizaci až k tvorbě a odvozování ze znalostních bází. Poznáte též základní jazyky pro reprezentaci znalostí: jazyk výrokové predikátové a klauzulární logiky, který představuje přechod k jazyku PROLOG logického programování. Určeno především studentům informatiky a filozofie.... celý text
Můj komentář
Zatím jste nenapsal(a) svůj komentář ke knize Formální logika v umělé inteligenci. Přihlašte se a napište ho.
Nové komentáře (0)
Zatím zde není žádný komentář.
Související novinky (0)
Zatím zde není žádná související novinka.
Citáty z knihy (0)
Zatím zde není žádný citát z knihy.
Kniha Formální logika v umělé inteligenci v seznamech
Kniha zatím není zařazena v žádném seznamu (Přečtené knihy, Právě čtené,...)
Autorovy další knížky
| 2003 |  Formální logika v umělé inteligenci |
| 2019 | Formální logika a sémantický web |