Bookbot

Formální logika v umělé inteligenci

En savoir plus sur le livre

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.

Nous avons un total de du titreFormální logika v umělé inteligenci (2003 ).

Achat du livre

Formální logika v umělé inteligenci, Alena Lukášová

  • Traces d'humidité / éclaboussures
Langue
Année de publication
2003
product-detail.submit-box.info.binding
(souple),
État du livre
Abîmé
Prix
9,69 €

Modes de paiement

Personne n'a encore évalué .Évaluer