A tantárgy az alábbi témakörök ismeretére épít:
A tantárgy szerepe a képzés céljának megvalósításában:
TTK Matematika (BSc) képzés Alkalmazott szakirányának kötelező tárgya
A tantárgy részletes tematikája magyarul és angolul:
A logika szerepe a mesterseges intelligenciában: hétköznapi gondolkodás formalizálása, tudásreprezentáció, tervezés. Tudásreprezentáció kijelentés és elsőrendű logikában.
Praktikus elsőrendű logika, az elsőrendű logika variánsai és gyengítései: szemantikus hálók, leíró logikák, igazság -karbantartó rendszerek. Játékstratégiák és formális logika, játékok, mint keresési stratégiák.
Modális logika: Kripke-szemantika, teljességi tételek, véges frame tulajdonság, eldönthetőség, temporális logika, dinamikus logika, elsőrendű modális logika.
Modális logika egy alkalmazása: tudásról való érvelés többszereplős rendszerekben. A tervezés logikái: szituációkalkulus,eseménykalkulus.
Bizonytalan tudás és következtetés: valószínűségi (induktív) logika, következtetések valószínűséggel, valószínűségi hálók, nem-monoton logika.
Követelmények szorgalmi időszakban:
Az órákon való részvétel, az aláírás megszerzése
Követelmények vizsgaidőszakban:
Pótlási lehetőségek:
A Tanulmányi és vizsgaszabályzat szerint
Konzultációs lehetőségek:
Számonkérés előtt szervezett konzultációk, egyéni konzultációk fogadóórákon
Jegyzet, tankönyv, felhasználható irodalom:
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y., Reasoning About Knowledge, MIT Press, 1995
Goldblatt, R., Logics of Time and Computation, 2nd ed, CSLI Publications, 1992
Russell, S., Norvig, P., Mesterséges intelligencia modern megközelítésben, PANEM, 2000
Nyomtatóbarát változat
