TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 DEF

Programs that have proved theorems.  4, record 1, English, - theorem%20prover

Record number: 1, Textual support number: 1 CONT

The exploration of the search space(i. e. the proof model) is managed by a theorem prover... Starting from the data representing the problem hypotheses, the prover produces... all the facts that can be deduced from the theory.  5, record 1, English, - theorem%20prover

Record number: 1, Textual support number: 2 CONT

The counterexample found above was found by a heuristic filter to the theorem prover called the conjecture disprover.  6, record 1, English, - theorem%20prover

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 DEF

Programme de démonstration de clauses logiques.  3, record 1, French, - d%C3%A9monstrateur%20de%20th%C3%A9or%C3%A8me

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 CONT

The analytic approach involves a two-step process. First, one uses the domain theory to construct an explanation("explanation" is really used to mean "proof" of correctness of a specific solution to a problem given the axioms of the domain theory) that proves that the training example is a positive instance of the goal concept.  1, record 2, English, - explanation

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 DEF

Une des généralisations possibles de la trace d'une preuve formelle.  2, record 2, French, - explication

Record number: 2, Textual support number: 1 CONT

L'apprentissage analytique par explication. L'apprentissage s'effectue en deux étapes : (i) on élabore une explication justifiant en quoi l'exemple est une instance du concept faisant l'objet de l'apprentissage, en exploitant les connaissances du domaine disponibles.  3, record 2, French, - explication

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 DEF

Default if-then rules (axioms) and action operators which represent what is typically true in a real-world domain.  2, record 3, English, - domain%20theory

Record number: 3, Textual support number: 1 CONT

The analytic approach... involves a two-step process. First, one uses the domain theory to construct an explanation.... The second step involves... finding the most general version of the existing proof consistent with the domain theory.  3, record 3, English, - domain%20theory

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 CONT

L'apprentissage est ici analytique, puisqu'il repose largement sur une théorie du domaine.  1, record 3, French, - th%C3%A9orie%20du%20domaine

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 DEF

Strict, logical, or analytical implication (as between two statements so that one can be deduced from the other on purely logical grounds).  5, record 4, English, - logical%20implication

Record number: 4, Textual support number: 1 CONT

Situation semantics claims that efficiency undermines the standard notions of logical form, entailment, and proof theory, and objects to the view that mental processes necessarily involve internal representations.  6, record 4, English, - logical%20implication

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 DEF

Relation logique consistant en ce qu'une chose en implique une autre. En logique mathématique : implication d'une proposition B par une proposition A, proposition qui n'est fausse que si A est vraie et B est fausse.  3, record 4, French, - implication%20logique

Record 4,  Textual support,  Spanish