MI és a rendszerépítés formális módszerei

Kapcsolódó fogalmak: 
tervkészités
Kapcsolódó könyvfejezetek: 
10. fejezet - Tudásbázis reprezentáció
Kapcsolódó könyvfejezetek: 
11.4. Tervkészítési gráfok
Rövid szöveges bemutatás: 
Ahhoz, hogy az MI rendszereket vizsgálni tudjuk, ajánlott azokat jól kezelhető és megalapozott modellekkel ábrázolni. A diasorozat elsősorban ennek a modellezésnek a Petri hálós megvalósításáról szól, és az Óbudai Egyetem Neumann János Informatikai Karának Mérnök Informatikus mesterképzésen belül meghirdetett Formális Módszerek az informatikában tárgy oktatási segédlete.