démonstration de théorèmes
- Domaines
-
- philosophie théorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Dans un système formel, séquence de règles d'inférence appliquée pour obtenir des théorèmes.
Note :
Chaque étape dans la preuve aura pour effet de : d'introduire une prémisse ou un axiome; (b) de fournir un énoncé qui est une conséquence naturelle des résultats précédemment établis, en utilisant que des règles d'inférence valables.
Termes privilégiés :
- démonstration de théorèmes n. f.
- preuve de théorème n. f.
- preuve de théorèmes n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Notes :
Theorem proving as a non-computer based task can be defined in terms of a set of "axioms" which are represented by a number of "well formed formulae" and some rules for deriving new formulae. As a problem domain, it therefore fits very well into a "state-space" representation. Much effort has gone into finding efficient search "algorithms" for standard logics that are both "sound" and "complete".
The task of proving theorems in some formal system is an interesting problem for "artificial intelligence" and one that can yield many practical benefits.Terme :
- theorem proving