Mesterséges intelligencia

A mesterséges intelligencia alapjai, története, jelenlegi helyzete.

Intelligens ágensek. Hogyan kell egy ágensnek működnie. Az intelligens ágensek struktúrája. Intelligens rendszerek környezete.

Problémamegoldás modellezése. Problémamegoldó ágensek. Tudás és a problémafajták. Cselekvéssorozatok generálása. Keresési stratégiák. A keresési stratégiák összehasonlítása. Heurisztikus függvények. Memóriakorlátos keresés. Iteratív javító algoritmusok.

Tudás és következtetés. Logikusan következtető ágensek. Tudásalapú ágens. Logikai előzmények áttekintése: Ítéletkalkulus. Helyesség és következtetés. Az ítéletkalkulus következtetési szabályai. A következtetés bonyolultsága. Elsőrendű logika. Az elsőrendű logika felhasználása, a kérdések megfogalmazása és a válaszok kinyerése. Következtetés elsőrendű logikában. Általánosított Modus Ponens. Előre és visszafelé haladó következtetés. Teljesség. Rezolúció. Rezolúciós stratégiák.

A tudás lefordítása cselekvéssé. Az ítéletlogikai ágens problémái. Egy egyszerű reflexszerű ágens és a korlátjai. A világ megváltozásának reprezentálása. Szituációs kalkulus. A cél-orientált ágens felé.

A tudásbázis építése. A kategóriák reprezentálása. Változás reprezentálása eseményekkel. Az idő, az időintervallumok és a cselekvés. Szubsztanciák és objektumok. Mentális események és mentális objektumok. Tudás és cselekvés.

Logikai következtető rendszerek. Előre haladó produkciós rendszerek. Keretrendszerek és szemantikus hálók. Öröklődés megvalósítása kivételkezeléssel. Többszörös öröklődés. Leíró logikák.

Tervkészítés. Egy egyszerű tervkészítő ágens. Tervkészítés szituációs kalkulusban. A tervkészítés alapvető reprezentációi. Egy részben rendezett tervkészítési algoritmus. Hierarchikus dekompozició. Erőforrás kényszerek. Tervkészítés és cselekvés. Feltételes tervkészítés. Egy egyszerű újratervező ágens. Összevont tervkészítés és végrehajtás.

Bizonytalan tudás és következtetés. Cselekvés bizonytalan tudás mellett. Valószínűség. Bayes tétel és a használata. Valószínűségi következtető rendszerek. Következtetés valószínűségi hálókban. A bizonytalan következtetés más megközelítései. Alapeseti (default) következtetés. Bizonytalan következtetés szabályalapú módszerekkel. Tudatlanság reprezentálása. Homályos jelentés reprezentálása: fuzzy halmazok és fuzzy logika. A hasznosság elmélet alapjai.

Tanulás. Tanuló ágensek általános modellje. Induktív tanulás. Döntési fák tanulása. Az általános logikai kifejezések tanulása. Formális tanuláselmélet. Tanulás neurális és valószínűségi hálókban. Hibavisszaterjesztéses tanulás. Valószínűségi hálókban történő tanulás Bayes módszerei. Megerősítéses tanulás. Genetikus algoritmusok és evolúciós programozás. Tudás szerepe a tanulásban. Magyarázatalapú tanulás. Releváns információt felhasználó tanulás. Induktív logikai programozás.

Kommunikáció, észlelés és cselekvés. Kommunikáció mint cselekvés. Kommunikáló ágensek típusai. A természetes nyelv megértésének szintjei és problémái. Párbeszédmegértés. A koherens párbeszéd struktúrája.

Filozófiai alapok. Az intelligens viselkedés megvalósításának lehetőségéről.