Formální logika v umělé inteligenci

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F03%3A00000025" target="_blank" >RIV/61988987:17310/03:00000025 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Formální logika v umělé inteligenci
Popis výsledku v původním jazyce
V knize jsou zpracovány, a to od syntaxe,sémantiky, přes formalizaci usuzování až k tvorbě a odvozování ze znalostních bází, základní jazyky pro reprezentaci znalostí, a to jazyk výrokové, predikátové a klauzulární logiky, z nichž poslední představuje přechod k jazyku PROLOG logického programování.
Název v anglickém jazyce
Formal logic in artificial intelligence
Popis výsledku anglicky
The book contains syntax, semantics, formal approach to knowledge representation and creation o knowledge bases within three of the basic logical languages : propositional logic, predicate logic and clausal form logic - theoretical base of the language PROLOG for logic programming.

Rok uplatnění
2003
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)