système axiomatique
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Système logique constitué d'un ensemble d'énoncés considérés comme valides (les axiomes) et d'un ensemble de règles d'inférences permettant la construction de nouveaux énoncés valides appelés théorèmes.
Note :
Une démonstration dans un tel système est un enchaînement formel partant d'axiomes ou de théorèmes déjà connus pour aboutir au théorème à demander.
Terme privilégié :
- système axiomatique n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- axiomatic system