1 / 9

Összefoglaló

Ö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.

casper
Download Presentation

Összefoglaló

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Összefoglaló

  2. Valós világ • Formális Modell • Sintaktikusan ellenőrizhető modell

  3. 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

  4. 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.”

  5. 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.

  6. Renszermodellezés • Verifikáció, validáció • Modellek: vízesés, lineáris, többciklusú • A modellezés alapelvei

  7. 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”, • …

  8. 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)

  9. Ágensek • Architektúrája • Alkalmazása • Verifikációban és validációban betöltött szerepe

More Related