Összefoglaló
Valós világ Formális Modell –Sintaktikusan ellenőrizhető modell
Logika Propozicionális (nulladrendű) Elsőrendű (logikai programozás, szakértői rendszerek) Többértékű Fuzzy Temporális (lineáris, elágazó) Modális … Numerikus verifikálás
Modális logika A modális logika a klasszikus logika olyan kibővítése, amely már modális kijelentéseket tartalmazó érvelésekről is képes számot adni. Modális logikában egy kijelentés kapcsán nem pusztán arról lehet beszélni, hogy az igaz vagy hamis, hanem arról is, hogy egy bizonyos módon igaz, például szükségszerű, tudott vagy hitt, kötelező, bizonyítható.klasszikus logika A modális logika legjellemzőbb kifejezései a „lehetséges, hogy A” (jelben: ' ') és a „szükségszerű, hogy A” (jelben: ' ') és ezek átfogalmazásai, például: –„Lehet, hogy holnap tengeri csata lesz.” –„Nixon győzhetett volna.” –„Szükségszerű, hogy egy modális logikáról szóló bevezetőben mindig az alethikus modalitással kezdik.”
Ezek az operátorok dualitás elve mentén kölcsönösen kifejezhetők egymással; ha A mondat, akkordualitás elve –lehetséges A akkor és csak akkor, ha nem szükségszerű, hogy nem A, azaz: –szükségszerű A akkor és csak akkor, ha nem lehetséges nem A, azaz: A szükségszerűségen és a lehetőségen kívül, azaz az ún. alethikus modalitásokon kívül számos modalitás vizsgálható, melyek például a megismerhetőségre (episztemikus modalitás), meggyőződés fokára (doxatikus modalitás), az időbeli elhelyezkedés szintjeire (temporális modalitás), egy normarendszer szerinti megengedhető tevékenységekre (deontikus modalitás), egy formális rendszerbeli bizonyíthatóságra vonatkoznak.
Renszermodellezés Verifikáció, validáció Modellek: vízesés, lineáris, többciklusú A modellezés alapelvei
Szükségesség, mert: Real-time Kapacitás-problémák (erőforrás, idő,…) Átláthatóság Bonyolultság Automatizmus és „szintaktizálás”, …
Petri hálók Struktúrája: PN P, T, E, W, M, C… Alkalmazás: operációs rendszerek és általános rendszerműködés Adatfolyamok modellezése (Pataricza könyv)
Ágensek Architektúrája Alkalmazása Verifikációban és validációban betöltött szerepe