Formální logika v umělé inteligenci

Objednávací kód: 9890445,Part No.: K0817,Záruka spotrebiteľ/ostatní: 24 mesiacov / 3 mesiace

Je nám ľúto,
ale tento produkt je beznádejne vypredaný alebo je dostupný len ako darček k vybranému výrobku. Prosím, vyberte si z ponuky nižšie.

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.

Hodnotenie

Loading...

Poradňa

Loading...