calcul des propositions
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Mécanisme de résolution de problème utilisé en logique des propositions, qui s'effectue sur des formes de raisonnement dont la validité, indépendante de la structure des propositions composantes, résulte uniquement de leurs propriétés d'être vraies ou fausses.
Notes :
De nombreux auteurs, en anglais comme en français, considèrent que les termes calcul des propositions et logique des propositions sont équivalents. Cependant, alors que les propositions et les connecteurs logiques forment le vocabulaire de la logique propositionnelle, le calcul des propositions fournit un cadre formel pour assembler ce vocabulaire en phrases syntaxiquement correctes.
Le calcul des propositions n'exploite pas le concept de « variable ».
Termes privilégiés :
- calcul des propositions n. m.
- calcul propositionnel n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- propositional calculus
- proposition calculus
- sentential calculus
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- càlcul proposicional n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Termes :
- cálculo proposicional s. m.
- cálculo de proposiciones s. m. Mexique
-
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 :
- cálculo proposicional s. m.