logique épistémique
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique utilisée en traitement du langage naturel qui permet de formaliser les modes de « connaissance », de « croyance » (je sais que, je pense que...) ou d'« intention ».
Notes :
Complète les notions de logique déontique et de logique temporelle.
Il existe plusieurs façons de formaliser ce concept, : 1. Si A sait que B alors B doit être vrai. 2. Si A sait que lui-même sait que B alors il sait que B.
Terme privilégié :
- logique épistémique n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
The logic of epistemic notions such as knowledge and belief is a major area of research in artificial intelligence.
Terme :
- epistemic logic