Sold out
More about the book
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.
Book purchase
Formální logika v umělé inteligenci, Alena Lukasová
- Language
- Released
- 2003
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Formální logika v umělé inteligenci
- Language
- Czech
- Authors
- Alena Lukasová
- Publisher
- Computer Press
- Released
- 2003
- Format
- Paperback
- Pages
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Series
- Tags
- Non-Fiction, Textbooks, Science
- Description
- 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.