règle d'inférence
- Domaines
-
- philosophie théorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Règle qui utilise le raisonnement déductif pour résoudre des problèmes.
Notes :
La règle d'inférence permet de créer ou de dériver de nouvelles assertions à partir d'assertions déjà existantes.
Comme exemples de règles d'inférence, on peut mentionner : le modus ponens, le modus tollens et la spécialisation.
Termes privilégiés :
- règle d'inférence n. f.
- règle de déduction n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- inference rule
- deduction rule
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- regla d'inferència n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- regla de inferencia s. f.
-
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 :
- regra de inferência s. f.