STIT-logiikka
Definition
STIT tarkoittaa ‘See To It That’ (Varmista se, että). Se on modaali-logiikan …
Formal Methods
Terms tagged with Formal Methods
Episteeminen modaalilogiikka
Definition
Episteeminen modaalilogiikka laajentaa klassista logiikkaa operaattoreilla, jotka …
Dynaaminen episteminen logiikka
Definition
Dynaaminen episteminen logiikka (DEL) laajentaa modaalilogiikkaa mallintamaan, miten …
Concurrent MetateM
Definition
Concurrent MetateM on korkean tason spesifikaatiokieli, jota käytetään pääasiassa …
Agentin varmentaminen
Definition
Tämä sisältää matemaattisten menetelmien käytön varmistamaan, että agentin toiminta …