STIT Mantığı
Definition
STIT, ‘Şunu Yaptığını Gör’ (See To It That) anlamına gelir. Ajansı ve …
Formal Methods
Terms tagged with Formal Methods
Epistemik Modal Mantık
Definition
Epistemik modal mantık, bir ajanın neyi bildiğini veya inandığını gösteren operatörlerle …
Dinamik Epistemik Mantık
Definition
Dinamik Epistemik Mantık (DEM), modal mantığı genişleterek ajanların yeni bilgi …
Eşzamanlı MetateM
Definition
Eşzamanlı MetateM, öncelikle robotik ve otonom sistemlerde kullanılan yüksek seviyeli bir …
Ajan Doğrulaması
Definition
Bu süreç, bir ajanın eylemlerinin güvenlik sınırları veya etik yönergeler gibi önceden …