Környezetleírás szakterület-specifikus logikai modellek segítségével

Mindennapi életünket egyre több informatikai technológián alapuló megoldás könnyíti meg. Ezen megoldások közül egyre több autonóm működést megvalósító rendszer, melyek működésük során önálló döntéseket hoznak a környezetük aktuális állapota alapján. Legyen ez a rendszer egy egyszerű háztartási robot, egy intelligens házba épített kis szenzor vagy egy katonai felderítőrepülőgép, mindenképpen szüksége van a egy a környezetét leíró belső modellre, tudásbázisra, ami alapján a döntéseket hozza. A tudásbázisok ábrázolásához az informatikai környezetben leggyakrabban logikai leírónyelveket, ontológiákat használnak, és ezen technológáik segítségével hatékonyan és gyorsan fejleszthetünk új környezet-specifikus modellezési nyelveket.

A labor célja, hogy egy szabadon választott területen működő autonóm eszköz belső környezeti modelljét megtervezzük és elkészítsük.