principe de résolution

Désignations

français	principe de résolution (correct,masculine noun) synonyme : méthode de résolution (proposal,feminine noun)
anglais	resolution method (correct) CONT: In computation, logical arguments are found to be true or false through the resolution method which is used on propositions ... CONT: Using the resolution principle, we can prove theorems in a purely mechanical way from our axioms. synonyme : resolution principle (correct) synonyme : resolution theorem proving (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: 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.
anglais: 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.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-276ea76ffbec9471/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.