CourseWare Wiki
Search
Log In
old
courses
a4m33au
osnova
Warning
This page is located in archive.
Differences
This shows you the differences between two versions of the page.
View differences:
Side by Side
Inline
Go
Link to this comparison view
Both sides previous revision
Previous revision
2011/02/09 09:50 vyskoji1
2011/02/09 09:48 vyskoji1
2011/02/09 09:45 vyskoji1
2011/02/09 09:44 vyskoji1
2011/02/09 09:43 vyskoji1
2011/02/09 09:42 vyskoji1
2011/02/09 09:40 vyskoji1
2011/02/09 09:38 vyskoji1
2011/02/09 09:38 vyskoji1
2011/02/09 09:37 vyskoji1 created
Go
Next revision
Previous revision
2011/02/09 09:50 vyskoji1
2011/02/09 09:48 vyskoji1
2011/02/09 09:45 vyskoji1
2011/02/09 09:44 vyskoji1
2011/02/09 09:43 vyskoji1
2011/02/09 09:42 vyskoji1
2011/02/09 09:40 vyskoji1
2011/02/09 09:38 vyskoji1
2011/02/09 09:38 vyskoji1
2011/02/09 09:37 vyskoji1 created
Go
Next revision
Both sides next revision
courses:a4m33au:osnova [2011/02/09 09:42]
vyskoji1
courses:a4m33au:osnova [2011/02/09 09:44]
vyskoji1
Line 5:
Line 5:
Osnovy přednášek:
Osnovy přednášek:
- Historie automatického uvažování v kontextu umělé inteligence, přehled historických a současných aplikaci automatického uvažování.
- Historie automatického uvažování v kontextu umělé inteligence, přehled historických a současných aplikaci automatického uvažování.
-
-
2.
Formulace, reprezentace a řešení úloh v booleovských doménách. Korektnost a úplnost logického odvozování.
+
- Formulace, reprezentace a řešení úloh v booleovských doménách. Korektnost a úplnost logického odvozování.
+
- Automatické dokazovaní v obecných doménách, formulace a reprezentace problému v predikátové logice.
+
- Organizace práce rezolučních dokazovačů: převod do klauzulí, ANL smyčka.
- 3. Metoda DPLL, její existující implementace a praktické použití.
- 3. Metoda DPLL, její existující implementace a praktické použití.
- 4. Model checking jako nástroj pro verifikaci, aplikace pro konečné automaty.
- 4. Model checking jako nástroj pro verifikaci, aplikace pro konečné automaty.
- 5. Model checking - existující systémy a jejich praktické použití.
- 5. Model checking - existující systémy a jejich praktické použití.
-
- 6. Automatické dokazovaní v obecných doménách, formulace a reprezentace problému v predikátové logice.
- 7. Přehled existujících metod, rezoluční metody.
- 7. Přehled existujících metod, rezoluční metody.
-
- 8. Organizace práce rezolučních dokazovačů: převod do klauzulí, ANL smyčka.
- 9. Další dokazovací metody: "tableaux", rovnostní dokazování, převod na DPLL.
- 9. Další dokazovací metody: "tableaux", rovnostní dokazování, převod na DPLL.
- 10. Metody a systémy pro hledání modelu v obecných doménách.
- 10. Metody a systémy pro hledání modelu v obecných doménách.
courses/a4m33au/osnova.txt
· Last modified: 2013/10/04 13:02 (external edit)