STIT-logik
term_id: stit_logic
Category: engineering_practice
Definition
STIT står for ‘See To It That’ (Sørge for at det sker). Det er en gren af modallogik, der primært bruges inden for filosofi og datalogi til at modellere agens og ansvar. Det muliggør den formelle specifikation af, hvad en agent kan…
Summary
STIT-logik er en formel ramme i deontisk og tidslogik, der bruges til at analysere agens, forpligtelse og intentionel handling.
Key Concepts
- Agens (Agency)
- Tidslogik (Temporal Logic)
- Deontisk logik (Deontic Logic)
- Intentionel handling (Intentional Action)
Use Cases
- Verifikation af multi-agent-systemer
- Design af etisk AI
- Formelle metoder til autonomi