TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
resolution method [2 records]
Record 1 - internal organization data 1993-03-22
Record 1, English
Record 1, Subject field(s)
- Management Operations (General)
Record 1, Main entry term, English
- resolution method
1, record 1, English, resolution%20method
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, French
Record 1, Domaine(s)
- Opérations de la gestion (Généralités)
Record 1, Main entry term, French
- mode de résolution
1, record 1, French, mode%20de%20r%C3%A9solution
correct
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 1986-11-18
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- resolution method
1, record 2, English, resolution%20method
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
- resolution principle 2, record 2, English, resolution%20principle
correct
- resolution theorem proving 3, record 2, English, resolution%20theorem%20proving
correct
Record 2, Textual support, English
Record number: 2, Textual support number: 1 DEF
The inference strategy used in logical systems to determine the truth of an assertion. This complex, but highly effective, method establishes the truth of an assertion by determining that a contradiction is encountered when one attempts to resolve clauses, one of which is a negation of the thesis one seeks to assert. 3, record 2, English, - resolution%20method
Record number: 2, Textual support number: 1 CONT
In computation, logical arguments are found to be true or false through the resolution method which is used on propositions ... 4, record 2, English, - resolution%20method
Record number: 2, Textual support number: 2 CONT
Using the resolution principle, we can prove theorems in a purely mechanical way from our axioms. 5, record 2, English, - resolution%20method
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- principe de résolution
1, record 2, French, principe%20de%20r%C3%A9solution
correct, masculine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
- méthode de résolution 2, record 2, French, m%C3%A9thode%20de%20r%C3%A9solution
proposal, feminine noun
Record 2, Textual support, French
Record number: 2, Textual support number: 1 DEF
Principe dû au mathématicien français Jacques Herbrand, repris et programmé par Alan Robinson, qui systématise le raisonnement par l'absurde : pour démontrer que le théorème p alors g s'applique, le principe de la résolution cherche à prouver que la proposition "p et non g" est contradictoire. 3, record 2, French, - principe%20de%20r%C3%A9solution
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: