|
|
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ů.
|
|
|
Fuzzy Petriho sítě pro expertní systémy
Maksant, Jindřich ; Valenta, Jan (oponent) ; Jirsík, Václav (vedoucí práce)
Tato práce si klade za cíl návrh a praktickou realizaci expertního systému, jehož báze znalostí bude modelovaná fuzzy Petriho sítí. Při návrhu je vycházeno z poznatků teoretického rozboru diagnostického expertního systému a fuzzy Petriho sítí. Tento návrh je pak realizován v programovacím jazyce C#. Jsou popsány funkce programu a provedeny vzorové konzultace při použití různých bází znalostí.
|
|
|
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ů.
|
|
|
Fuzzy Petriho sítě pro expertní systémy
Maksant, Jindřich ; Valenta, Jan (oponent) ; Jirsík, Václav (vedoucí práce)
Tato práce si klade za cíl návrh a praktickou realizaci expertního systému, jehož báze znalostí bude modelovaná fuzzy Petriho sítí. Při návrhu je vycházeno z poznatků teoretického rozboru diagnostického expertního systému a fuzzy Petriho sítí. Tento návrh je pak realizován v programovacím jazyce C#. Jsou popsány funkce programu a provedeny vzorové konzultace při použití různých bází znalostí.
|
host ::
RSS.