TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
RESOLUTION PRINCIPLE [1 record]
Record 1 - internal organization data 1986-11-18
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
Record 1, Main entry term, English
- resolution method
1, record 1, English, resolution%20method
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- resolution principle 2, record 1, English, resolution%20principle
correct
- resolution theorem proving 3, record 1, English, resolution%20theorem%20proving
correct
Record 1, Textual support, English
Record number: 1, 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 1, English, - resolution%20method
Record number: 1, 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 1, English, - resolution%20method
Record number: 1, Textual support number: 2 CONT
Using the resolution principle, we can prove theorems in a purely mechanical way from our axioms. 5, record 1, English, - resolution%20method
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
Record 1, Main entry term, French
- principe de résolution
1, record 1, French, principe%20de%20r%C3%A9solution
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- méthode de résolution 2, record 1, French, m%C3%A9thode%20de%20r%C3%A9solution
proposal, feminine noun
Record 1, Textual support, French
Record number: 1, 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 1, French, - principe%20de%20r%C3%A9solution
Record 1, Spanish
Record 1, 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: