Logika STIT
Definition
STIT adalah singkatan dari ‘See To It That’ (Memastikan Hal Tersebut …
Formal Methods
Terms tagged with Formal Methods
Logika modal epistemik
Definition
Logika modal epistemik memperluas logika klasik dengan operator yang menunjukkan apa yang …
Logika Epistemik Dinamis
Definition
Logika Epistemik Dinamis (DEL) memperluas logika modal untuk memodelkan bagaimana …
Concurrent MetateM
Definition
Concurrent MetateM adalah bahasa spesifikasi tingkat tinggi yang digunakan terutama dalam …
Verifikasi Agen
Definition
Hal ini melibatkan penggunaan metode matematika untuk memastikan bahwa tindakan agen …