Hlavní stránka > Výsledky hledání: keywords:"logika prvního řádu"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Reprezentace znalostí pro expertní systémy
 Lekeš, Pavel ; Sáblík, Václav (oponent) ; Polách, Petr (vedoucí práce)
Tato práce se zabývá možností použití predikátové logiky pro dedukci v systémech umělé inteligence. Výhody logiky prvního řádu jsou zejména v její relativně jednoduché algoritmizaci, kdy lze rozhodnout o platnosti či splnitelnosti věty zapsané pomocí predikátové logiky pouze pomocí formálních pravidel, tedy bez jakékoliv vazby na skutečné denotáty jednotlivých proměnných. V Expertních systémech se predikátová logika využívá k odvození pravdivých formulí ze zadaných axiomů, přičemž se do odvozování zahrnou i nově odvozené pravdivé formule. Jedná se o proces vyhledávání implicitních znalostí z explicitně zadaných axiomů.
Úplný záznam
Reprezentace znalostí pro expertní systémy
 Lekeš, Pavel ; Sáblík, Václav (oponent) ; Polách, Petr (vedoucí práce)
Tato práce se zabývá možností použití predikátové logiky pro dedukci v systémech umělé inteligence. Výhody logiky prvního řádu jsou zejména v její relativně jednoduché algoritmizaci, kdy lze rozhodnout o platnosti či splnitelnosti věty zapsané pomocí predikátové logiky pouze pomocí formálních pravidel, tedy bez jakékoliv vazby na skutečné denotáty jednotlivých proměnných. V Expertních systémech se predikátová logika využívá k odvození pravdivých formulí ze zadaných axiomů, přičemž se do odvozování zahrnou i nově odvozené pravdivé formule. Jedná se o proces vyhledávání implicitních znalostí z explicitně zadaných axiomů.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English