sémantique des mondes possibles
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Technique d'analyse sémantique qui consiste à évaluer une formule modale au sein d'un univers, l'analyse de vérité de la formule dépendant du mode considéré.
Note :
Technique introduite par Kripke.
Terme privilégié :
- sémantique des mondes possibles n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- possible-world semantics