axiome
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Postulat considéré comme vrai par principe sans avoir à être démontré.
Notes :
Un ensemble d'axiomes ajouté à un langage formel et à des règles de production constitue un système formel.
L'étymologie indique qu'un axiome a un caractère de choix ou mieux d'hypothèse. En ce sens, tous les systèmes reposant sur des axiomes peuvent s'interpréter : « Si ces expressions que j'appelle axiome sont correctes, alors voici le système ». À partir de la logique du premier ordre, on peut constituer différentes théories en privilégiant certaines expressions qui deviennent des axiomes. Une interprétation d'une théorie est un modèle si les axiomes de la théorie y sont vrais.
Termes privilégiés :
- axiome n. m.
- définition n. f.
- postulat n. m.
- principe n. m.
-
[axiome] Du grec axioma, « estimation ».
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- axiom