Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Frans

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

inference rule

Vertaling van "inference rule" in Frans

NEW

règle d'inférence

règle d'interférence

règle de déduction

règles d'inférence

It is a generalisation of the classical modus ponens inference rule.

Elle est une généralisation de la règle d'inférence du modus ponens classique.

It has modus ponens as inference rule, and the following axioms

Il possède modus ponens comme règle d'inférence, et les axiomes suivants

According to the inference rule, an attribute which is not directly described in the meta-information can be used.

Selon la règle d'interférence, il est possible d'utiliser un attribut non directement décrit dans les méta-informations.

based on the history of retrievals and reads, if the inference rule is a rule of which the application frequency is higher than a threshold value, a meta-information/schema modifying section

sur la base des historiques des récupérations et lectures, si la règle d'interférence est une règle dont la fréquence d'application dépasse une valeur seuil, une section

Both of these logics extend classical logic with modal-like probability operators, and both feature an infinitary inference rule.

Les deux logiques étendent la Logique Classique avec des opérateurs de probabilité, et présentent une règle de déduction infinitaire.

First, we introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sound and strongly-complete axiomatic system, featuring an infinitary inference rule.

Résumé : On présente une Logique Probabiliste avec des Operateurs Conditionnels - LPCP, sa syntaxe, sémantique, axiomatisation correcte et fortement complète, comprenant une règle de déduction infinitaire.

In mathematical logic, the cut rule is an inference rule of sequent calculus.

En logique mathématique, la règle de coupure est une règle d'inférence du calcul des séquents.

As for resolution, unit propagation is a correct inference rule, in that it never produces a new clause that was not entailed by the old ones.

Comme la résolution, la propagation unitaire est une règle d'inférence correcte, dans le sens où elle ne produit jamais de clauses qui ne sont déductible des autres.

In a set of rules, an inference rule could be redundant in the sense that it is admissible or derivable.

Dans un ensemble de règles, une règle d'inférence peut être redondante au sens où elle est « admissible » ou « dérivable ».

distinguishing an abnormal e-mail using the specific values given to the respective pieces of header information according to a logical inference rule

à identifier un courriel anormal en fonction d'une règle d'inférence logique à l'aide des valeurs spécifiques données aux éléments respectifs de l'information d'en-tête

The invention makes it possible to exclusively determine unknown information in the prerequisite part of the inference rule that was difficult with the conventional fuzzy inference.

Cette invention permet de déterminer de manière exclusive des informations inconnues dans la partie nécessaire au préalable de la règle d'inférence qui étaient difficiles à obtenir par les procédés d'inférence floue usuels.

In default logic, a default is similar to an inference rule, except that it includes, besides its premises and conclusion, a list of formulas called justifications.

Dans la logique par défaut, une position par défaut est similaire à une règle d'inférence, sauf qu'elle inclut, en plus de ses prémisses et sa conclusion, une liste de formules appelées justifications.

an inference rule to infer the coordinate positions from the feature values by data mining is derived (s14)

une règle d'inférence pour prédire les positions de coordonnées à partir des valeurs caractéristiques par recherche parmi les données disponibles (s14) est déduite