Formální logika v umělé inteligenci vydání
Alena Lukasová
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
Vydání (1)
Formální logika v umělé inteligenci
2003, Computer Press (CP Books)
ISBN: 80-251-0023-5Autorovy další knížky
2003 | Formální logika v umělé inteligenci |
2019 | Formální logika a sémantický web |