STIT Mantığı
term_id: stit_logic
Category: engineering_practice
Definition
STIT, ‘Şunu Yaptığını Gör’ (See To It That) anlamına gelir. Ajansı ve sorumluluğu modellemek için felsefe ve bilgisayar bilimlerinde öncelikle kullanılan modal mantığın bir dalıdır. Bir ajanın ne…
Summary
STIT mantığı, ajansı, yükümlülüğü ve niyetli eylemi analiz etmek için kullanılan deontik ve zamansal mantıkta resmi bir çerçevedir.
Key Concepts
- Ajans (Agency)
- Zamansal Mantık (Temporal Logic)
- Deontik Mantık
- Niyetli Eylem
Use Cases
- Çok ajanlı sistem doğrulaması
- Etik AI tasarımı
- Otonomluk için resmi yöntemler