Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Levelező tagozaton
A kurzus felvételének előfeltételei:
Előadás anyaga: http://www.inf.u-szeged.hu/~dombi
A mesterséges intelligencia fogalma, részterületei. A mesterséges intelligencia alapjai, története. A gyenge és az erős MI. Problémák megoldása egy ügynök (ágens) segítségével. Intelligens ügynök. Néhány egyszerű, mesterséges intelligenciához tartozó feladat.
Feladatreprezentáció állapottérrel: állapottér reprezentáció gráffal, a reprezentációs gráf fává alakítása.
Produkciós rendszer és a heurisztika: produkciós rendszer komponensei Heurisztika alkalmazása, a heurisztika fogalma, a heurisztika és a megoldás költsége, előre és visszafelé haladó működés
Vezérlési stratégiák: Nem módosítható vezérlési stratégiák, visszalépéses vezérlési stratégia, gráf kereső vezérlési stratégia, Informálatlan és heurisztikus keresések:
Feladatmegoldás problémaredukcióval. ÉS/VAGY gráfok. Keresés és vagy gráfokon.
Kétszemélyes játékok: Grundy Tac-Tix, amőba, NIM.Hex, Othello.
A teljes játék-fa kiértékelése: A kétszemélyes játékok reprezentációja gráffal, nyerő stratégia létezése és meghatározása, nyerő stratégia meghatározása ÉS/VAGY fával.
A játékfa részleges kiértékelése: minimax eljárás az alfa-béta nyesés. Néhány játékprogram elemzése. Véletlen elemet is tartalmazó játékok.
Bizonytalansággal terhelt problémák. A statisztikus alakfelismerés alapfogalmai: a Bayes tétel használata. Bayes hálózatok. Időbeli folyamatok, rejtett Markov modell. Beszédfelismerés.
Egyszerű döntések meghozatala.
Automatikus tételbizonyítás:
Tételbizonyítás az ítéletkalkulusban: szintaxis és szemantika, a kielégíthetőségi tulajdonság, formulák ekvivalenciája, logikai következmény, a tételbizonyítás néhány módszere, Quine-, Wang algoritmusa, formális levezetés, konjunktív normálforma, rezolúció.
Elsőrendű logika alapfogalmai: szintaxis és szemantika, termek, atomi mondatok, összetett mondatok, kvantorok. A kielégíthetőségi tulajdonság. Ekvivalencia. A logikai következmény. A formulák klóz alakja. Az egyesítési algoritmus. Rezolúció.
A rezolúció hatékonyságának növelése: rezolúciós stratégiák, szélességi keresés, támogató halmaz stratégiája, lineáris input stratégia, ősre korlátozott stratégia, egységklóz stratégia, bináris rezolúció, egyszerűsítő stratégiák
S. Russell, P. Norvig: Artificial Intelligence, A Modern Approach, Prentice Hall, 1995. Magyar fordítása: Mesterséges intelligencia modern megközelítésben, PANEM, 2000
Mesterséges Intelligencia (Szerk. Futó Iván), Aula Kiadó, 1999
Fekete I., Gregorics T., Nagy S.: Bevezetés a mesterséges intelligenciába, LSI Oktató Központ
Barr, E. A. Feigenbaum: The handbook of Artificial Intelligence, I., Addison Wesley 1989
E. Rich, K. Knight: Artificial intelligence, McGraw-Hill, 1991
P. H. Winston: Artificial Intelligence, Addison-Wesley 1992
M. Ginsberg: Essentials of Artificial Intelligence, Morgan Kaufman, 1993
Mérő László: Új észjárások (Tercium kiadó 2001.)
A kurzusok teljesítéseinek értékelése pontozás alapján történik. Maximálisan összegyűjthető pontszám 100, amelyből a gyakorlaton 40-et, a vizsgán 60-at lehet megszerezni.
A gyakorlat teljesítésének (az aláírás megszerzése) feltételei:
A gyakorlati pontszám a következőkből tevődik össze:
A vizsga írásbeli. A maximális pontszám 60. A vizsga sikeres, ha a hallgató 30 pontot elért a 60-ból és az összpontszáma 50 felett van.
A kollokvium érdemjegyének meghatározása a gyakorlaton és a vizsgán a fenti feltételeket kielégítő szerzett pontok összege alapján történik a következő ponthatárok szerint:
0 - 50 pont : elégtelen (1)
51 - 60 pont : elégséges (2)
61 - 80 pont : közepes (3)
81 - 90 pont : jó (4)
91 - 100 pont : jeles (5)
A vizsgáról való igazolatlan hiányzás a TVSZ. 17.§ (6) szabályozásának megfelelően elégtelen jegyű vizsgának minősül. Vizsgáról való hiányzás igazolását köteles a hallgató a hiányzást követő legelső vizsgáját megelőzően bemutatni.