logique inductive oor Engels

logique inductive

Vertalings in die woordeboek Frans - Engels

inductive logic

voorbeelde

La programmation logique inductive est particulièrement utile en bio-informatique et pour le traitement automatique du langage naturel.
Inductive logic programming is particularly useful in bioinformatics and natural language processing.

On utilise deux types de logique : la logique inductive et la logique déductive.
Two kinds of logic are used, inductive and deductive.

Différentes logiques inductives (sur lesquelles il n'y a pas consensus) ont été proposées.
Several inductive logics (on which there is no consensus) have been proposed.

Le but de la logique inductive est de tirer des lois générales de cas particuliers.
The purpose of inductive logic is to infer general laws from particular occurrences.

Il n ’est pas logique : inductif ou déductif.
It is not logic- inductive or deductive.

Miller élaborent un argument dont l’ambition est d’établir l’impossibilité d’une logique inductive.
Miller presented an argument whose aim was to establish the impossibility of inductive logic.

Il suffisait d’utiliser la logique inductive de Twissell, de déterminer la cause par l’effet.
It was only a matter of using Twissell’s reverse logic, of calculating cause from effect.

Cela n'est-il pas évident, d'après les principes de la Logique Inductive et de la Métaphysique ?
Is this not apparent on the principles of Inductive Logic and Metaphysics alike?

Il incorpora les probabilités à sa théorie de la connaissance et anticipa ce qui est connu comme logique inductive.
He incorporated probabilities into his theory of knowledge and anticipated what is known as inductive logic.

Le terme programmation logique inductive (en anglais) fut utilisé pour la première fois dans un article de Stephen Muggleton (en) en 1991.
The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991.

Il existe trois types de machines logiques: pour le calcul des propositions, pour le calcul des prédicats et pour la logique inductive (plausible raisonnement) nommés aussi automates neuronaux.
There are three types of logical machines, namely those for the propositional calculus, those for the calculus of predicates, and those for inductive logic (plausible inference) or neuronal automata.

Des techniques de logique inductive sont proposées pour suggérer de nouvelles règles de détection d'intrusion destinées à être ajoutées au système, sur la base d'exemples de trafic constituant une menace.
Inductive logic techniques are proposed for suggesting new intrusion detection rules for inclusion into the system, based on examples of sinister traffic.

La transaction (110) est convertie en une forme relationnelle, et des spécifications de la bibliothèque sont apprises par l'utilisation d'un outil de programmation logique inductif (107) à partir de la forme relationnelle de la transaction.
The transaction (110) is converted into a relational form, and specifications of the library are learned using an inductive logic programming tool (107) from the relational form of the transaction.

•en développant les compétences heuristiques et inductives pour la compréhension de textes authentiques nouveaux, et l'application de principes et processus logiques inductifs et déductifs pour consolider la connaissance d'une langue et utiliser ce savoir pour traiter des textes, aussi bien en production qu'en réception;
• the development of heuristic and inferencing skills for understanding newly encountered authentic texts and the application of both inductive and deductive logical principles and processes in building up knowledge of a language and using that knowledge when dealing with the production and reception of texts;

Mots clés : fréquence des crues, système expert, station unique, logique floue, raisonnement inductif, système de production.
Key words: flood frequency, expert system, single-station, fuzzy logic, inductive reasoning, production system.

Analyse double, déductive et inductive, – logique et historique (les formes de la valeur). » 58.
A double analysis, deductive and inductive – logical and historical (forms of value).’ 4K.

Puis on décrit les problèmes les plus importants et les résultats de la théorie abstraite des automates qui se composent d’éléments de décision à deux valeurs, et on montre que la logique inductive a besoin d’un nouveau genre de machines, notamment des automates neuronaux qui doivent se composer des éléments de connections semblables aux neurons et qui sont capables, au moins en principe, d’apprendre et de réaliser des associations sélectives.
The main problems and results of the abstract theory of automata which may be synthesized out of two-valued decision elements are briefly described and it is shown that for the inductive logic or plausible inference a new type of machines, neuronal automata, are necessary which have to be assembled from basic switching organs like nervous cells and which automata are, at least principally, capable of learning and selective associations.

Il y a deux sortes de logique : la déductive et l’inductive.
There are two sorts of logic, deductive and inductive.

Ils sont capables de raisonnement logique à la fois déductif et inductif.
“They reason logically, both deductively and inductively.

Gordon Plotkin et Ehud Shapiro (en) ont posés les fondations théoriques de l'apprentissage automatique inductif dans un contexte logique,,.
Gordon Plotkin and Ehud Shapiro laid the initial theoretical foundation for inductive machine learning in a logical setting.

La logique de commande de transfert d'énergie sans fil inductif est configurée pour déterminer une puissance d'entrée du signal d'entrée.
The inductive wireless power transfer control logic is configured to determine an input power of the input signal.

Système pour une détermination inductive de probabilités de motif de connecteurs logiques
System for inductive determination of pattern probabilities of logical connectors

L'invention concerne un système pour la détermination inductive de probabilités de motif de 16 connecteurs logiques dyadiques.
The invention relates to a system for the inductive determination of pattern probabilities of 16 dyadic logical connectors.

Pensée logique inductive (ix) - scales ix mesure l'aptitude à penser de manière logique.
Inductive-logical Thinking (ix) - scales ix measures the ability of logical thinking.

Aptitudes logiques abstraites Pensée logique inductive (cls) - scales cls mesure le raisonnement logique inductif.
Abstract logical abilities Inductive-logical Thinking (cls) - scales cls measures inductive logical reasoning.