|
|
Vizualizace rezoluční metody
Smetka, Tomáš ; Orság, Filip (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato bakalářská práce se zabývá problematikou automatického dokazování ve výrokové a predikátové logice. V teoretické části je popsána výroková a predikátová logika v návaznosti na systém jejich automatického dokazování pomocí rezoluční metody. V práci je dále popsán návrh a implementace programu, který se skládá z terminálu a serverové části. Program hledá důkaz nesplnitelnosti zadané formule a vizualizuje jednotlivé kroky vedoucí k nalezení řešení. V závěru je vyhodnocena implementace řešení a práce jako celek a také jsou popsány další možnosti rozšíření.
|
|
|
Expertní systémy ES pro samostatné studium a jeho vyhodnocení
Novák, Jaroslav ; Honzík, Petr (oponent) ; Jirsík, Václav (vedoucí práce)
Tato diplomová práce obsahuje základní informace ohledně znalostních a expertních systémů. Dále se zde zabývám architekturou expertních systémů a důkladně jsou zde popsány způsoby reprezentace znalostí pro expertní systémy. Ke každému způsobu reprezentace znalostí jsou zde zpracovány demonstrující jednotlivé způsoby reprezentace znalostí. Na závěr je zde popsán vytvořený expertní systém, který ukládá znalosti pomocí rámcové reprezentace 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ů.
|
|
|
Metody reprezentace znalostí
Verbík, Josef ; Polách, Petr (oponent) ; Jirsík, Václav (vedoucí práce)
Práce pojednává o metodách reprezentace znalostí v expertních systémech. V práci jsou charakterizovány expertní systémy a jejich historie. Dále jsou popsány jednotlivé druhy expertních systémů a jeho části. Hned za tímto popisem je charakterizována reprezentace znalostí. Tato charakteristika je rozdělena na dvě části. V první části jsou popsány požadavky pro efektivní reprezentaci znalostí. Ve druhé části jsou popsány jednotlivé metody znalostí. Jsou to pravidla, rámce, sémantické sítě a predikátová logika.
|
|
|
Vizualizace rezoluční metody
Smetka, Tomáš ; Orság, Filip (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato bakalářská práce se zabývá problematikou automatického dokazování ve výrokové a predikátové logice. V teoretické části je popsána výroková a predikátová logika v návaznosti na systém jejich automatického dokazování pomocí rezoluční metody. V práci je dále popsán návrh a implementace programu, který se skládá z terminálu a serverové části. Program hledá důkaz nesplnitelnosti zadané formule a vizualizuje jednotlivé kroky vedoucí k nalezení řešení. V závěru je vyhodnocena implementace řešení a práce jako celek a také jsou popsány další možnosti rozšíření.
|
|
|
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ů.
|
|
|
Metody reprezentace znalostí
Verbík, Josef ; Polách, Petr (oponent) ; Jirsík, Václav (vedoucí práce)
Práce pojednává o metodách reprezentace znalostí v expertních systémech. V práci jsou charakterizovány expertní systémy a jejich historie. Dále jsou popsány jednotlivé druhy expertních systémů a jeho části. Hned za tímto popisem je charakterizována reprezentace znalostí. Tato charakteristika je rozdělena na dvě části. V první části jsou popsány požadavky pro efektivní reprezentaci znalostí. Ve druhé části jsou popsány jednotlivé metody znalostí. Jsou to pravidla, rámce, sémantické sítě a predikátová logika.
|
|
|
Expertní systémy ES pro samostatné studium a jeho vyhodnocení
Novák, Jaroslav ; Honzík, Petr (oponent) ; Jirsík, Václav (vedoucí práce)
Tato diplomová práce obsahuje základní informace ohledně znalostních a expertních systémů. Dále se zde zabývám architekturou expertních systémů a důkladně jsou zde popsány způsoby reprezentace znalostí pro expertní systémy. Ke každému způsobu reprezentace znalostí jsou zde zpracovány demonstrující jednotlivé způsoby reprezentace znalostí. Na závěr je zde popsán vytvořený expertní systém, který ukládá znalosti pomocí rámcové reprezentace znalostí.
|
|
|
Reprezentace znalostí
Blecher, Jan ; Jirků, Petr (vedoucí práce) ; Berka, Petr (oponent)
Tato práce se snaží priblížit jednotlivé metody reprezentace znalostí v umelé inteligenci s durazem na obecný prehled a rozdíly mezi jednotlivými metodami. V textu jsou rozebrána schémata reprezentace znalostí, mezi která patrí predikátová logika, produkcní systémy, sémantické síte a rámce. U každého schématu jsou uvedeny jeho charakteristické vlastnosti a nekteré typické metody. Z textu je zrejmé, že opravdu neexistuje žádná univerzální metoda reprezentace znalostí, ale naopak, že jednotlivé metody jsou vhodné pro konkrétní situace reálného sveta. Nekteré oblasti znalostí dokonce nejsou klasickými schématickými metodami, které uvádím v tomto textu, reprezentovatelné vubec nebo jen velmi težko. Práce je rozdelena dle jednotlivých metod reprezentace, které jsou dále strukturovány s ohledem na postupy v nich používané.
|
host ::
RSS.