Logika STIT
term_id: stit_logic
Category: engineering_practice
Definition
STIT adalah singkatan dari ‘See To It That’ (Memastikan Hal Tersebut Terjadi). Ini adalah cabang logika modal yang digunakan terutama dalam filsafat dan ilmu komputer untuk memodelkan agensi dan tanggung jawab. Logika ini memungkinkan spesifikasi formal mengenai apa yang…
Summary
Logika STIT adalah kerangka kerja formal dalam logika deontik dan temporal yang digunakan untuk menganalisis agensi, kewajiban, dan tindakan yang disengaja.
Key Concepts
- Agen (Agency)
- Logika Temporal
- Logika Deontik
- Tindakan Disengaja
Use Cases
- Verifikasi sistem multi-agen
- Desain AI etis
- Metode formal untuk otonomi