Download
1 / 9
90 likes | 204 Views
Ö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.
E N D
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ó. • 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, akkor • 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
