TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
LOGICAL INFERENCE [2 records]
Record 1 - internal organization data 2015-05-19
Record 1, English
Record 1, Subject field(s)
- Practice and Procedural Law
- Law of Evidence
- Logic (Philosophy)
Record 1, Main entry term, English
- logical inference
1, record 1, English, logical%20inference
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- rational inference 1, record 1, English, rational%20inference
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
A presumption is an inference which the trier of fact must draw from a basic fact, in the absence of evidence to rebut the presumption. The compelling effect of a true presumption is what distinguishes it from the so-called "presumption of fact" which is a mere logical inference that may be drawn by the trier of fact. 1, record 1, English, - logical%20inference
Record 1, French
Record 1, Domaine(s)
- Droit judiciaire
- Droit de la preuve
- Logique (Philosophie)
Record 1, Main entry term, French
- inférence logique
1, record 1, French, inf%C3%A9rence%20logique
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 1995-02-21
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- logical inference
1, record 2, English, logical%20inference
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 DEF
A resolution method that reaches conclusions using logic; it is normally done by theorem proving. 2, record 2, English, - logical%20inference
Record number: 2, Textual support number: 1 CONT
Japanese planners want their machines to handle millions of logical inferences per second (LIPS) - one logical inference equalling one step in a syllogistic, or IF-THEN, sequence of reasoning. 3, record 2, English, - logical%20inference
Record number: 2, Textual support number: 2 CONT
Each logical inference involves a set of premises, a reason, and a conclusion. ... The student is finished when there is a set of logical inferences connecting the given statements to the statements to be proved. 4, record 2, English, - logical%20inference
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- inférence logique
1, record 2, French, inf%C3%A9rence%20logique
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 CONT
Lorsqu'il fallut formaliser des règles effectivement utilisées par les médecins, il fut évident que leurs inférences étaient moins des inférences logiques, (SI E alors H), que des inférences plausibles. 2, record 2, French, - inf%C3%A9rence%20logique
Record 2, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: