Logique STIT
term_id: stit_logic
Category: engineering_practice
Definition
STIT signifie « See To It That » (Veiller à ce que). C’est une branche de la logique modale utilisée principalement en philosophie et en informatique pour modéliser l’agence et la responsabilité. Elle permet la spécification formelle de ce qu’un agent peut accomplir ou garantir.
Summary
La logique STIT est un cadre formel en logique déontique et temporelle utilisé pour analyser l’agence, l’obligation et l’action intentionnelle.
Key Concepts
- Agence
- Logique temporelle
- Logique déontique
- Action intentionnelle
Use Cases
- Vérification des systèmes multi-agents
- Conception d’IA éthique
- Méthodes formelles pour l’autonomie