Logika STIT
term_id: stit_logic
Category: engineering_practice
Definition
STIT stojí za ‘See To It That’ (Dohlédni na to, aby…). Jedná se o odvětví modální logiky používané především ve filozofii a informatice k modelování agentnosti a odpovědnosti. Umožňuje formální specifikaci toho, co agent…
Summary
Logika STIT je formální rámec v deontické a časové logice používaný k analýze agentnosti, povinnosti a úmyslného jednání.
Key Concepts
- Agentnost
- Časová logika
- Deontická logika
- Úmyslné jednání
Use Cases
- Verifikace víceagentových systémů
- Návrh etického AI
- Formální metody pro autonomii