Formální logika v umělé inteligenci

Objednací kód: 9890445,Part No.: K0817,Záruka spotřebitel/ostatní: 24 měsíců / 3 měsíce

Je nám líto,
ale tento produkt je beznadějně vyprodán a nebo je pouze dostupný jako dárek k vybranému výrobku. Vyberte si, prosím, ze související nabídky níže.

Popis

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.

Hodnocení

Loading...

Poradna

Loading...