TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Self's vision of formalizing teaching in terms of a student model is given a sharp focus in his work on concept teaching(Self, 1977). It differs from other projects by being a formal experiment on teaching rather than a teaching system. The domain is the acquisition of simple conjunctive concepts in a relational language close to first-order logic. An example of the concepts taught by Self's system would be R(x) T(y)("There is a rectangle and no triangle"). The target concept is taught through successive variable-free examples classified as positive or negative instances. For example, the tutor could say that R(a) T(b)("There is a rectangle a and a triangle b") is a negative example. Since the order in which the sequence of instances is presented greatly influences the time the student takes to converge on the correct concept, the idea is for the teacher to use a learning model to optimize its selection of examples.  1, fiche 1, Anglais, - concept%20teaching

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 OBS

Voir étude de concepts, évaluation des concepts, test de concepts.  3, fiche 1, Français, - enseignement%20de%20type%20conceptuel

Record number: 1, Textual support number: 2 OBS

Comparer à apprentissage de concepts : apprentissage visant à trouver une fonction de reconnaissance qui permet de distinguer les éléments appartenant au concept de ceux n'en faisant pas partie.  3, fiche 1, Français, - enseignement%20de%20type%20conceptuel

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

[Instruction using] programs that understand the student’s internal cognitive structures; are able to analyse a student’s answer to a question and determine which parts of the question confuse the student. They then use that information to provide very specific instruction. A system of this type would be a substitute for a very competent and experienced teacher.  7, fiche 2, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 2, Textual support number: 1 CONT

Intelligent Computer-Assisted Instruction(ICAI)... encompasses two primary areas. One is instructional programs that model the learner... These programs collect detailed data about the student's work and formulate a hypothesis about what the student knows and is thinking.... The other area is the use of expert systems... that contain all known information on a particular topic, a set of logic that ties all this information together..., and in some cases a program that allows a person to converse easily and in natural language with the computer.  8, fiche 2, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 2, Textual support number: 2 CONT

The components of an ICAI program are problem-solving expertise, student model, and tutoring module.  9, fiche 2, Anglais, - intelligent%20computer%2Daided%20instruction

Record number: 2, Textual support number: 1 OBS

For historical reasons, much of the research in the field of educational software involving artificial intelligence has been conducted under the name of "ICAI." This acronym stands for "Intelligent Computer-Aided Instruction," a phrase that evolved out of the name "Computer-Aided Instruction" (CAI) ... Most recently, "ICAI" has often been replaced by the acronym "ITS," for "Intelligent Tutoring Systems"....  10, fiche 2, Anglais, - intelligent%20computer%2Daided%20instruction

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Enseignement à partir du principe que les programmes à vocation pédagogique devraient être eux-mêmes des experts du domaine capables de résoudre les problèmes posés de différentes façons, de suivre et de critiquer les solutions de l'étudiant.  3, fiche 2, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Record number: 2, Textual support number: 1 CONT

L'E.I.A.O. consiste à appliquer la technicité des systèmes experts à l'E.A.O., l'expert en l'occurrence étant l'enseignant-pédagogue. L'E.A.O. pratique une analyse plus ou moins affinée des réponses des apprenants. L'E.I.A.O. ambitionne d'analyser le raisonnement de cet apprenant, de lui montrer d'autres formes de raisonnement ou l'aider à les découvrir [...]  2, fiche 2, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Record number: 2, Textual support number: 1 OBS

Le sigle est aussi celui d'un projet de recherche au Laboratoire de recherche informatique d'Orsay (France).  6, fiche 2, Français, - enseignement%20intelligemment%20assist%C3%A9%20par%20ordinateur

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

A method for structuring programs as sets of logical rules with predefined algorithms for the processing of input data to a program according to the rules of that program.  2, fiche 3, Anglais, - logic%20programming

Record number: 3, Textual support number: 1 CONT

One of the most important features of logic programming is that it separates the idea of goals from the statements of how to satisfy them.  3, fiche 3, Anglais, - logic%20programming

Record number: 3, Textual support number: 2 CONT

One outcome of the procedural-declarative controversy... has been the development of "logic programming", in particular the language PROLOG... which is essentially a notation for predicate logic.  4, fiche 3, Anglais, - logic%20programming

Record number: 3, Textual support number: 1 OBS

logic programming: term standardized by ISO and CSA.  5, fiche 3, Anglais, - logic%20programming

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

Programmation basée sur la logique propositionnelle, la logique des prédicats, ou une extension de celles-ci.  3, fiche 3, Français, - programmation%20logique

Record number: 3, Textual support number: 2 DEF

Méthode utilisée pour structurer les programmes sous la forme d'ensembles de règles logiques munis d'algorithmes prédéfinis permettant de traiter, selon ces règles, les données d'entrée d'un programme.  4, fiche 3, Français, - programmation%20logique

Record number: 3, Textual support number: 1 OBS

Le langage Prolog a été spécialement conçu pour ce type de programmation. Notion développée par C. Cordell Green dans sa thèse de doctorat (1969).  5, fiche 3, Français, - programmation%20logique

Record number: 3, Textual support number: 2 OBS

programmation en logique; programmation logique : termes normalisés par l'ISO et la CSA.  6, fiche 3, Français, - programmation%20logique

Fiche 3,  Justifications,  Espagnol

Record number: 3, Textual support number: 1 DEF

Método de programación en el que los enunciados son del tipo lógico, en el sentido técnico del término, o sea, representan proposiciones y predicados lógicos, implicaciones lógicas, etc.  1, fiche 3, Espagnol, - programaci%C3%B3n%20l%C3%B3gica

Fiche 4,  Justifications,  Français

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

The ’Rote’ learning technique has again been recognised as a preferred method of teaching certain basic skills and the English language, where there is no obvious logic throughout, is a prime target for its use.  4, fiche 5, Anglais, - lecture%2Dand%2Dmemorize%20technique

Record number: 5, Textual support number: 2 CONT

So many courses are terminology laden subjects which at times many students approach by using rote learning techniques. To help students go beyond rote learning, we need to teach them how to organize important ideas in ways that lead to an understanding of meaningful relationships.  5, fiche 5, Anglais, - lecture%2Dand%2Dmemorize%20technique

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 CONT

L'apprentissage par mémorisation. Apprendre par cœur est à la portée de tout enfant et l'école doit développer de manière systématique cette faculté. Il va de soi que toute mémorisation doit avoir un sens et qu'elle ne peut se substituer à la compréhension et à l'exploitation des connaissances. Néanmoins, il est indispensable de montrer aux enfants les techniques d'apprentissage par cœur et de les tenir à l'entraînement régulier de cette faculté.  3, fiche 5, Français, - technique%20d%27apprentissage%20par%20m%C3%A9morisation

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

... the generation of computer program code given some description of the problem in another form. This description might be in the form of examples of behaviour, a statement in a formal language(such as logic), a description in natural language, or result from an interactive dialogue.  2, fiche 6, Anglais, - program%20synthesis

Record number: 6, Textual support number: 1 CONT

Knowledge and reasoning in program synthesis.  3, fiche 6, Anglais, - program%20synthesis

Record number: 6, Textual support number: 1 OBS

program synthesis: term standardized by the Institute of Electrical and Electronics Engineers (IEEE)  4, fiche 6, Anglais, - program%20synthesis

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 DEF

Génération automatique de programmes à partir d'une description non procédurale de leurs effets souhaités.  4, fiche 6, Français, - synth%C3%A8se%20de%20programme

Record number: 6, Textual support number: 1 CONT

La synthèse de programmes permet de synthétiser, automatiquement ou par des interactions avec l'utilisateur, des algorithmes à partir d'exemples d'entrée/sortie, de traces de calculs, ou de spécifications formelles.  5, fiche 6, Français, - synth%C3%A8se%20de%20programme

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 DEF

A programming language for programmable logic controllers that uses graphical program elements(contacts, coils and boxes) linked together to form a program that resembles a relay ladder logic diagram.  4, fiche 7, Anglais, - ladder%20logic%20programming%20language

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 DEF

Langage graphique [qui sert à] programmer les automates programmables industriels (PLC) [et qui permet l'écriture d'un] programme de contrôle sous la forme d'un circuit électrique comportant des interrupteurs.  5, fiche 7, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts

Record number: 7, Textual support number: 1 CONT

Un programme écrit en langage schéma à contacts consiste en la représentation graphique d'instructions d'un programme de l'automate, avec des symboles pour les contacts, bobines et blocs, sous la forme d'une série de réseaux exécutés de manière séquentielle par un automate.  6, fiche 7, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

The [ITU Telecommunication Standardization Sector(ITU-T) ] language used in the presentation of the functional specification and functional description of the internal logic processes in a stored programmed control switching system.  1, fiche 8, Anglais, - specification%20and%20description%20language

Fiche 8,  Justifications,  Français

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 CONT

Support for these two interfaces ensures that an animation engine need not replicate the parser and any additional semantic logic associated with language abstract values.  1, fiche 9, Anglais, - semantic%20logic

Record number: 9, Textual support number: 1 OBS

The English terminology on this record is standardized by the World Wide Web Consortium (W3C) whose role it is to establish standards relating to Internet technology. The French terminology was proposed by translators certified by the W3C and was verified by the author of this record.  2, fiche 9, Anglais, - semantic%20logic

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 CONT

La gestion de ces deux interfaces assure que le moteur d'une animation n'a pas besoin de reproduire l'analyseur et toute autre logique sémantique supplémentaire associée aux valeurs abstraites du langage.  1, fiche 9, Français, - logique%20s%C3%A9mantique

Record number: 9, Textual support number: 1 OBS

La terminologie anglaise de cette fiche est normalisée par le World Wide Web Consortium (consortium W3C) dont le rôle principal est d'établir les normes reliées aux technologies Internet. La terminologie française est proposée par des traducteurs agréés par le Consortium et elle a été vérifiée par l'auteur de cette fiche.  2, fiche 9, Français, - logique%20s%C3%A9mantique

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 DEF

A symbolic or AI programming language based on predicate calculus.  1, fiche 10, Anglais, - Prolog

Record number: 10, Textual support number: 1 OBS

PROLOG is the most popular language for AI research outside of North America.  1, fiche 10, Anglais, - Prolog

Record number: 10, Textual support number: 2 OBS

PROgramming in LOGic. An AI programming language that is especially popular in Europe and In Japan.  4, fiche 10, Anglais, - Prolog

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 DEF

Langage de programmation logique qui permet, à la façon des systèmes experts, de résoudre les problèmes par inférence à partir de règles.  1, fiche 10, Français, - Prolog

Record number: 10, Textual support number: 1 CONT

Prolog contient en quelque sorte le noyau d'un (certain type de) système expert.  1, fiche 10, Français, - Prolog

Fiche 10,  Justifications,  Espagnol

Record number: 10, Textual support number: 1 DEF

Lenguaje de programación de alto nivel basado en la lógica usado en el campo de la inteligencia artificial.  1, fiche 10, Espagnol, - PROLOG

Record number: 10, Textual support number: 1 CONT

PROLOG está diseñado para manipular el conocimiento en vez de números. Lo que distingue a PROLOG de otros lenguajes más tradicionales orientados hacia la programación es que cada línea de PROLOG incluye tanto las instrucciones como los datos que deben ser procesados por la computadora (ordenador). Fue desarrollado por Alain Colmerauer de la Universidad de Marsella (Francia).  1, fiche 10, Espagnol, - PROLOG

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 OBS

A language used by the Audio Visual Connection(AVC) to add logic, arithmetic, file actions, trigger fields, and similar advanced functions to stories.  1, fiche 11, Anglais, - Audio%20Visual%20Authoring%20language

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 CONT

Le tableau d'intégration organise l'ensemble des éléments qui composent l'application, à savoir les images graphiques (fond d'écran, icônes, objets utilisés dans une animation, ...) et les procédures informatiques en langage AVA.  1, fiche 11, Français, - langage%20AVA

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 CONT

Evolutionists and economists are raiding each other's theories. The result is a new and encouraging view of human nature. Economists and Darwinian biologists talk the same language, borrow each other's techniques and come to similar conclusions. By exploring a common ground(focus on the individual), a new discipline of evolutionary economics is being born. Some examples : J. Hirshleifer(UCLA) has used evolutionary arguments to explain when and why human beings resort to anarchy and warfare. E. Leigh(Smithsonian Tropical Institute-Panama) resorts to Adam Smith to explain how conflicts between genes inside cells are resolved. A. Rogers(University of Utah) suggests that long-term interest rates can be predicted from the biology of humans. Leda Cosmides, psychologist at UCSB, has used evolutionary logic to explain human reasoning in terms of social bargaining.  1, fiche 12, Anglais, - evolutionary%20economics

Fiche 12,  Justifications,  Français

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 DEF

A logic that has terms whose intended meaning is an expression of some object language.  1, fiche 13, Anglais, - syntactic%20logic

Fiche 13,  Justifications,  Français

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 CONT

Clausal Logic is a specification Language of universal expressivity, with an automatic deductive mechanism for solving any problems specified.  1, fiche 14, Anglais, - universal%20expressivity

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 OBS

Il s'agit de l'expressivité logique (mise en expression, en équation) non pas de l'expressivité affective usuelle.  1, fiche 14, Français, - expressivit%C3%A9%20universelle

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 DEF

Language that attempts to integrate input/output better with the logic programming model, by identifying the input/output streams of devices with the logical streams in the language.  1, fiche 15, Anglais, - concurrent%20logic%20language

Fiche 15,  Justifications,  Français

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 CONT

The objective of fuzzy logic is to modify(or "fuzzify") logic so that it applies directly to informal arguments. Fuzzy logic results from two stages of fuzzification : the introduction of vague predicates into the object language(this results in some form of multivalued logic), and treating the metalinguistic predicates "true" and "false" as themselves vague or fuzzy. The second stage is by far the most radical and controversial, and we shall reserve the term "fuzzy logic" for this stage of "fuzzification".  1, fiche 16, Anglais, - fuzzification

Fiche 16,  Justifications,  Français

Record number: 16, Textual support number: 1 OBS

Voir logique floue, ensemble flou.  1, fiche 16, Français, - modification%20logique%20floue

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Français

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, Textual support number: 1 CONT

Of course this emphasis on logic as a specification language ignores a crucial aspect of conceptual modelling, the implementation problem.  1, fiche 18, Anglais, - implementation%20problem

Fiche 18,  Justifications,  Français

Fiche 18,  Justifications,  Espagnol

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 DEF

A class of programming languages, and a subclass of the declarative languages, that is based on symbolic logic. The objective is to program in "pure" logic, but this has not yet been achieved. The most widely used logic programming language is PROLOG(based on the Horn clause subset of logic) but includes certain "impure" features.  1, fiche 19, Anglais, - logic%20programming%20language

Fiche 19,  Justifications,  Français

Record number: 19, Textual support number: 1 CONT

Il est prévu au contraire de mettre au point un langage (en cours de définition), relevant de la catégorie des langages de programmation logiques, qui permet d'exprimer non pas des instructions à exécuter scrupuleusement, mais des contraintes logiques portant sur des variables, un "moteur" se chargeant de trouver toutes les combinaisons de valeurs qui satisfont ces contraintes.  1, fiche 19, Français, - langage%20de%20programmation%20logique

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 DEF

Concern with architecture of task-specific reasoning as opposed to concern with implementation-level concerns at rule, frame or logic language level.  2, fiche 20, Anglais, - diagnostic%20reasoning

Fiche 20,  Justifications,  Français

Fiche 20,  Justifications,  Espagnol

Fiche 21,  Justifications,  Anglais

Record number: 21, Textual support number: 1 CONT

... there is another language for functional decomposition and input/output specification : IORL(Input/Output Requirements Language). Although these do some useful specification checking, they cannot check detailed logic or specify the order and timing constraints needed in real-time systems.  1, fiche 21, Anglais, - Input%2DOutput%20Requirements%20Language

Fiche 21,  Justifications,  Français

Record number: 21, Textual support number: 1 OBS

langage de spécification entrée/sortie.  1, fiche 21, Français, - langage%20IORL

Fiche 21,  Justifications,  Espagnol

Fiche 22,  Justifications,  Anglais

Record number: 22, Textual support number: 1 CONT

... finite-state-machine rotation permits complex logic to be described in terms of entities which have discrete states. It has been extensively used in defining complex protocols for computer networks and communications switching systems. The CCITT standards committee for international telephony and networking has a language for protocol specification based on this approach, SDL(Specification and Description language).  1, fiche 22, Anglais, - finite%2Dstate%2Dmachine%20rotation

Fiche 22,  Justifications,  Français

Fiche 22,  Justifications,  Espagnol

Fiche 23,  Justifications,  Anglais

Record number: 23, Textual support number: 1 CONT

It is desirable to have high-level languages, unlike programming languages, with which we can express requirements and specifications. The early versions of such languages... were not computable. This book describes such a language which is computable. Its statements are successively refined until program code can be automatically generated. It is mathematically based so that it produces bug-free and consistent logic.  1, fiche 23, Anglais, - provably%20correct%20language

Fiche 23,  Justifications,  Français

Record number: 23, Textual support number: 1 OBS

prouvable : qu'il est possible de prouver.  2, fiche 23, Français, - code%20prouvable%20correct

Fiche 23,  Justifications,  Espagnol

Fiche 24,  Justifications,  Anglais

Record number: 24, Textual support number: 1 OBS

A system over and beyond a system of lower logical order, and therefore capable of deciding propositions, discussing criteria, or exercising regulation for systems that are themselves logically incapable of such decisions and discussions or of self-regulation(because the metalogic is inaccessible to the system's logic, or the metalanguage is capable of statements inexpressible in the system's language). Note : a metasystem is of a higher logical order than a system, and not necessarily of higher "seniority" in the sense of command. For example : the school timetable is metasystemic to the timetable of a single class.  1, fiche 24, Anglais, - metasystem

Fiche 24,  Justifications,  Français

Record number: 24, Textual support number: 1 OBS

système situé au-dessus d'un système d'ordre logique inférieur. Un métasystème est donc capable de discuter et de juger des propositions, des critères, et d'assurer la régulation d'un système qui en est incapable du point de vue logique (parce que la métalogique est inaccessible à la logique du système, ou parce que le métalangage est capable de formuler des propositions qui ne sont pas exprimables dans le langage du système). Remarque. Un métasystème est d'un ordre logique supérieur à celui d'un système, mais n'est pas nécessairement "prioritaire" au sens du contrôle. Par exemple, l'emploi du temps d'une école est métasystémique par rapport à l'emploi du temps d'une classe de cette école.  1, fiche 24, Français, - m%C3%A9tasyst%C3%A8me

Fiche 24,  Justifications,  Espagnol