STIT-logica
term_id: stit_logic
Category: engineering_practice
Definition
STIT staat voor ‘See To It That’ (Zorg ervoor dat). Het is een tak van de modale logica die voornamelijk in de filosofie en informatica wordt gebruikt om agentuur en verantwoordelijkheid te modelleren. Het maakt de formele specificatie mogelijk van wat een agent kan bereiken door zijn acties.
Summary
STIT-logica is een formeel kader in deontische en temporele logica dat wordt gebruikt om agentuur, verplichting en intentionele actie te analyseren.
Key Concepts
- Agentuur
- Temporele logica
- Deontische logica
- Intentionele actie
Use Cases
- Verificatie van multi-agent systemen
- Ontwerp van ethische AI
- Formele methoden voor autonomie