complétude
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Caractère d'un système logique capable d'identifier les contradictions dans les axiomes qui lui sont présentés.
Notes :
Un système logique est complet quand il peut calculer les modalités de toutes les formules dont la construction est autorisée.
Outre la complétude, les autres caractères d'un système logique sont la monotonie et la consistance.
Termes privilégiés :
- complétude n. f.
- saturation n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- completeness
- completude
- completedness
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- completesa n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México, -
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- completude s. f.