Předmět Logické základy umělé inteligence (KIP / YLZU2)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KIP / YLZU2 - Logické základy umělé inteligence, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1. Přímé a nepřímé formální důkazové metody ve výrokové a predikátové logice..2. Tablové formální důkazy, jejich sémantická korektnost a úplnost.3. Rezoluční formální důkazy, jejich sémantická korektnost a úplnost. Unifikační algoritmy.4. Přímé formální důkazy výrokových a predikátových formulí. Axiómatické systémy, jejich korektnost a úplnost.5. Hilbertovské axiómatické systémy výrokové a predikátové logiky.6. Gentzenovské axiómatické systémy výrokové a predikátové logiky.7. Klauzulární axiómatický systém výrokové logiky.8. Klauzulární logika a princip logického programování.9. Univerzální a existenční tvrzení v klauzulární logice.10. Sémantika klauzulární logiky. Znalostní báze a její modely.11. Formální dedukce v klauzulární logice. Axiómatický systém klauzulární logiky12. Přímá a nepřímá metoda dokazování.13. Příklady využití při řešení logických problémů.
Literatura
A.Lukasová. Logické základy umělé inteligence, Formalizace a automatizace dedukce, Ostravská univerzita, 1997. A.Lukasová. Logické základy umělé inteligence, Výroková a predikátová logika, Ostravská univerzita, 1995.
Garant
doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D.
Vyučující
doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D.