STIT-logikk
term_id: stit_logic
Category: engineering_practice
Definition
STIT står for ‘See To It That’ (Se til at det skjer). Det er en gren av modalllogikk som brukes hovedsakelig innen filosofi og datavitenskap for å modellere agens og ansvar. Det muliggjør formell spesifikasjon av hva en agent kan
Summary
STIT-logikk er et formelt rammeverk i deontisk og tidslogikk brukt til å analysere agens, plikt og hensiktsmessig handling.
Key Concepts
- Agens
- Tidslogikk
- Deontisk logikk
- Hensiktsmessig handling
Use Cases
- Verifisering av multi-agent-systemer
- Design av etisk AI
- Formelle metoder for autonomi