matematikai logika, valószínűség számítás, számítástechnika alapjai

A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.

A tantárgy célkitűzése a mesterséges intelligencia területének rövid, ám igényes bemutatása. A felvezetés lépései

(1) az intelligens viselkedés számítási modellekkel való kifejezés problémaköre,

(2) a mesterséges intelligencia formális és heurisztikus módszereinek elemzése és alkalmazása,

(3) a gyakorlati megvalósítások módszerei és problémái. A tárgy az informatikus hallgatók azokat a képességeit fejleszti, melyek révén képesek lesznek:

- tanulmányozni számítógép újszerű használatát,

- fejleszteni hatékony módszereket számítási problémák megoldására,

- megérteni számítástechnika/-tudomány technológiai / koncepcionális korlátjait

- intellektuálisan megérteni az algoritmus központi szerepét az informatikai rendszerekben.

1. Ágensmodellezési paradigma: Intelligens rendszer és a környezete. Komplex feladatok formalizálása és megoldása ágens paradigmán belül. Problémamegoldó módszerek (keresési stratégiák) összehasonlítása. Komplexitáscsökkenő heurisztikák. A komplexitás és a tudásintenzív tervezés. Kísérletezés egy ütemezési feladat paradigmába való ágyazásával és megoldásával keresési algoritmusok segítségével.

2. Tervkészítés: Tervkészítés problémamegoldó szerepe. A tervkészítés alapvető reprezentációi. Modern tervkészítési algoritmusok alapjai. Hierarchikus, feltételes tervkészítés. Erőforrás kényszerek kérdése. Összevont tervkészítés és végrehajtás. Kísérletezés egy szerelési feladat tervének készítésével különböző bonyolító szempontok figyelembevételével.

3. Tudásintenzív rendszerek. Tudás formális ábrázolása és manipulálása. Logikai módszerek áttekintése. Az elsőrendű logika felhasználása problémák leírására és a megoldások kinyerésére. Szabály alapú rendszerek alap működése. Bizonytalan tudás és következtetés módszerei. Valószínűségi következtető rendszerek. Alapeseti (default) következtetés. Homályos jelentés reprezentálása fuzzy halmazokkal. Kísérletezés egy diagnosztizálási feladattal különböző szilárdságú ismeretek mellet, az azokhoz illeszkedő eszközökkel, ill. kísérletezés egy fuzzy rendszer építésével (szabályalapú nyelvek, fuzzy csomagok, stb.).

4. Tanulás. Tanulás ágens paradigmán belül. Induktív logikai tanulás (döntési fák, általános logikai kifejezések tanulása). Tanulás neurális és valószínűségi hálókban. Megerősítéses tanulás. Genetikus algoritmusok és evolúciós programozás. Kísérletezés többféle tanulási feladatottal, megfelelő szoftvercsomagokkal.

(előadás, gyakorlat, laboratórium):

Előadás

a. A szorgalmi időszakban:

Félév közben (előadástól külön időpontban) egy nagy ZH, amely a félév utolsó hetében pótolható, a szükséges minimum szint 40% (azaz 20 pont).Az érvényes ZH pontszámának fele a végleges osztályzatba beleszámít.

Félév közben egy házi feladat, amely egy megfelelően kialakított Web lapon kérhető le illetve adható be. A feladathoz tartozó további ütemezés a feladat lapján olvasható. A HF minősítése „nem felelt meg" (0 pont), ill. „megfelelt" (10 - 25 pont) lehet. A házi feladaton szerzett pontszám a végleges osztályzatba beszámít.

A félévi aláírás és a vizsgára bocsátás feltétele a ZH minimum 40%-os megírása és a házi feladat helyes megoldása és beadása "megfelelt" minősítéssel.

b. A vizsgaidőszakban:

Írásbeli vizsga, minimum szint 40% (20 pont). A vizsgaanyag egy beugrót tartalmazhat, aminek teljesítése a vizsgadolgozat további javításának az előfeltétele lehet.

Pontozás: ZH - max. 50 pont, annak 40%-ka a szükséges minimum, a minimum elérése esetén tovább megy az elért pontok fele (azaz min. 10, max. 25 pont), vizsga - max. 50 pont, annak 40%-ka a szükséges minimum (azaz 20 pont). A házi feladatból 10-25 pont származik.

A végleges minősítés: a vizsga pontszáma + az érvényes ZH pontszám negyede + az érvényes HF pontszáma.

Osztályozás: 40-tól elégséges, 55-tól közepes, 70-tól jó, 85-től jeles.

c. Elővizsga

Igény szerint elővizsga is elképzelhető a pótlási időszakban a pótzárthelyivel egy időben (tehát elővizsgázni a zárthelyit csakis rendes időpontban teljesítő hallgató képes). A vizsgaanyag egy beugrót tartalmazhat, aminek teljesítése a vizsgadolgozat további javításának az előfeltétele.

A TVSZ szerint a sikertelen zárthelyit pótlási időszakban lehet még egyszer pótpótzh-n pótolni, ennek anyaga megegyezik az eredeti számonkérés anyagával, vizsgaidőszakban félévközi számonkérés nem pótolható.

A házi feladat a pótlási hét szerdáig késedelmesen leadható különeljárási díj mellett.

Igény esetén, megbeszélés alapján.

Stuart Russell és Peter Norvig:

Mesterséges intelligencia korszerű megközelítésben, Panem Kiadó, Budapest, 1999

Stuart Russell és Peter Norvig:

Mesterséges intelligencia korszerű megközelítésben, 2., átdolgozott kiadás,

Panem Kiadó, Budapest, 2006