non-déterminisme
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Propriété d'un système de recherche de revenir sur un choix fait précédemment lorsque plusieurs alternatives étaient offertes.
Note :
À certains points, il existe un choix de procédure : le calcul se poursuit soit en faisant un choix arbitraire entre les différentes possibilités, soit en suivant simultanément ces différentes possibilités, produisant des copies séparées qui correspondent à ces choix. La forme précise de non-déterminisme dépend du formalisme de calcul particulier.
Terme privilégié :
- non-déterminisme n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Notes :
For example, goals can be set in PROLOG which match the head of more than one clause. The clauses are examined in the order they are written and, if a failure occurs, backtracking will take place to the next clause in order. So, a PROLOG program containing the three clauses r(a,2) r(a,4) r(a,6), that was set the goal? - r(a,X), might instantiate X to any of the three values, depending upon the stage it had reached in backtracking.
This is in contrast to an imperative programming language, such as Pascal, in which the equivalent of the clause structure, the "procedure", can be defined only once and so no backtracking can occur.
Whilst "virtual machines" can be nondeterministic, ultimately they are implemented on machines that are deterministic. For example, PROLOG clauses may be conceived as being non-deterministic from a declarative point of view, but when implemented at a lower level such as that of a stack mechanism, they can be viewed deterministically.Terme :
- non-determinism