Formální logika v umělé inteligenci
Autoren
Parameter
Kategorien
Mehr zum Buch
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.
Buchkauf
Formální logika v umělé inteligenci, Alena Lukasová
- Sprache
- Erscheinungsdatum
- 2003
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Formální logika v umělé inteligenci
- Sprache
- Tschechisch
- Autor*innen
- Alena Lukasová
- Verlag
- Computer Press
- Erscheinungsdatum
- 2003
- Einband
- Paperback
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Kategorie
- Informatik & Programmierung
- Beschreibung
- 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.