semi-décidabilité

Domaine: intelligence artificielle
Auteur: Office québécois de la langue française
Dernière mise à jour: 1997

Définition :

Propriété de certains systèmes formels dont les théorèmes sont reconnaissables par un algorithme et les non-théorèmes ne sont pas reconnaissables.

Note :

Le calcul des prédicats est semi-décidable.

Terme privilégié :

semi-décidabilité n. f.

Traductions

anglais
Auteur : Office québécois de la langue française, 1997
Termes :
1. semi-decidability
2. semidecidability