Seminár z umelej inteligencie
(Seminár z UI v akad. r. 2006-2007)
Tento seminár je organizovaný ako súčasť doktorandského štúdia
umelej inteligencie a aplikovanej informatikyna FIIT STU.
Organizačnými vedúcimi seminára sú prof. Vlado Kvasnička a prof.
Jirka Pospíchal.
Seminár sa koná
v zimnom semestri akad. roku 2007-2008 každý piatok o 14.00 hod
v zasadačke ústavov FIIT na 1. poschodí (č. d. D124) a bude
venovaný
(a)
modálnej
logike (prednáša prof. V. Kvasnička podľa pripravovanej knihy
„Modálna logika pre informatiku a umelú inteligenciu“) a
(b)
prezentácii
samostatných prednášok účatníkmi seminára a pozvaných hostí.
Organizačné
záležitosti, program seminára, prednáška prof. Kvasničku zo seriálu Modálna logika, názov prednášky
„Úvod do klasickej výrokovej
logiky“ Chapter01.pdf Priesvitky01.pdf
2. seminár (12.
10. 2007)
Pokračovanie predchádzajúcej prednášky (Kapitola 1)
Chapter01.pdf Priesvitky01.pdf
3.
seminar (19. 10. 2007)
Seminár bude sa mimoriadne konat v zasadačke dekanátu
FIIT STU, 2. poschodie, miestnosť D220.
Marian Lekavý: "Plánovanie založené na situačnom počte".
Synopsis prednášky:- Situacny pocet (velmi strucny uvod)- STRIPS- Hierarchicka dekompozicia- Dalsie sposoby hladania planu (markovovske procesy, problem splnitelnosti)- Rozsirenia a modifikacie (paralelne vykonavanie, akcie s trvanim, neurcitost, alternativy, zdroje) 4.
seminar (26. 10. 2007)
Matej Košík: "Gentzenova prirodzená dedukcia" (paper1, paper2).
5.
seminar (9. 11. 2007)
Vlado Kvasnicka: “Mentalne modelovanie logick0ho dokazu vyrokovej logiky v kognitivnej vede” (paper1) 6.
seminar (16. 11. 2007)
Peter Trebaticky: prednáška “Adaptácia neurónových sietí pomocou Kalmanovho filtru implementovaného na grafickej karte” (paper1) 7.
seminar (23. 11. 2007)
Vlado
Kvasnicka: “Intuitívny úvod do
jednoduchej (K) modálnej logiky” (paper1)
8.
seminar (30. 11. 2007)
Vlado Kvasnicka: “Axiomatická formulácia modálnej logiky. Vzťah medzi syntaxou a sémantikou” (paper1)
9.
seminar (7. 12. 2007)
Vlado Kvasnicka: “Úvod do epistemickej logiky”
(paper1)
10. seminár (14. 12. 2007)
Ján Šefránek (Katerdra aplik. informatiky, FMFI