STIT-logik
term_id: stit_logic
Category: engineering_practice
Definition
STIT står för ‘See To It That’ (Se till att). Det är en gren av modallogiken som främst används inom filosofi och datavetenskap för att modellera agens och ansvar. Den möjliggör formell specificering av vad en agent kan…
Summary
STIT-logik är en formell ramverk inom deontisk och temporär logik som används för att analysera agens, skyldighet och avsiktlig handling.
Key Concepts
- Agens (Agency)
- Temporär logik
- Deontisk logik
- Avsiktlig handling
Use Cases
- Verifiering av multiagent-system
- Etisk AI-design
- Formella metoder för autonomi