TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 DEF

The field of telerobotics dealing with the design, building and operation of robots from a distance in outer space.  2, record 1, English, - space%20telerobotics

Record number: 1, Textual support number: 1 CONT

Space telerobotics is an inherently complex task, requiring mental visualization skills, fine motor visualization skills, fine motor control, and adhering to procedure and flight rules. Often space telerobotics is accomplished only using video views of the work area, so the robotic arm operator must interpret two dimensional images to create a 3D [three-dimensional] mental model of the environment and their position inside it, all the while being aware of arm kinematics and limitations, avoiding collisions, and following procedural flight rules. To add to the workload, they also control the arm in six degrees of freedom, using separate rotational and translational hand controls, where the movement axes are frequently not aligned with camera views (e.g., the operator views the scene backwards or upside down).  1, record 1, English, - space%20telerobotics

Record number: 1, Textual support number: 1 OBS

space telerobotics: designation validated by a Canadian subject-matter expert from Université Laval.  3, record 1, English, - space%20telerobotics

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 CONT

Nous avons défini un modèle logique et temporel de plans d’action dotés d’une structure de contrôle impérative, sur la base d’un formalisme unifié inspiré de la logique à intervalles d’Allen, permettant de décrire aussi bien l'environnement et son évolution que l'arrangement temporel des plans. [...] Comme un exemple simplifié le suggère [...], le modèle a été appliqué à la simulation de plans de missions en télérobotique spatiale concernant un robot bi-bras [...]  1, record 1, French, - t%C3%A9l%C3%A9robotique%20spatiale

Record number: 1, Textual support number: 1 OBS

télérobotique spatiale : désignation validée par un spécialiste canadien de l’Université Laval.  2, record 1, French, - t%C3%A9l%C3%A9robotique%20spatiale

Record 1,  Textual support,  Spanish

Record number: 1, Textual support number: 1 CONT

Telerrobótica espacial. Vistas las ventajas de los sistemas de teleoperación espaciales y el gran éxito del brazo del transbordador, en el año 1985, la NASA se planteó seriamente potenciar sus actividades de robótica y automatización para la exploración planetaria y la construcción de la futura estación espacial en fase de diseño. Resultado de estos estudios fue el inicio de diversos proyectos muy ambiciosos encaminados a la obtención de sistemas robóticos espaciales totalmente autónomos […] El [satélite japonés] ETS-VII constituyó un hito fundamental en la historia de la robótica espacial. Estuvo durante dos años en órbita realizando multitud de experimentos de teleoperación y telerrobótica espacial.  1, record 1, Spanish, - telerrob%C3%B3tica%20espacial

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 CONT

Belief operators play an important role in epistemic analyses of games. For any event, a belief operator determines the set of states where this event is (in some precise sense) believed.  2, record 2, English, - belief%20operator

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 CONT

[...] la logique doxastique [...] interprète l'opérateur modal comme un opérateur de croyance [...] offrant un formalisme pour représenter [...] les croyances [et raisonner à leur sujet].  1, record 2, French, - op%C3%A9rateur%20de%20croyance

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 CONT

... Bayesian programming ... is a mathematical formalism that defines in simple mathematical terms the way that probability can be used as an alternative to logic for rational reasoning in the presence of uncertainty.  2, record 3, English, - Bayesian%20programming

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 CONT

Comme les probabilités sont une extension de la logique, il est [...] possible d’utiliser un formalisme algébrique pour définir les modèles probabilistes. Nous avons proposé un tel formalisme, appelé «programmation bayésienne» [...]  2, record 3, French, - programmation%20bay%C3%A9sienne

Record 3,  Textual support,  Spanish

Record number: 3, Textual support number: 1 CONT

La programación bayesiana es un formalismo y una metodología para especificar modelos probabilísticos y resolver problemas cuando se dispone de menos de la información necesaria, es un nuevo método de programación de robots móviles basado en la inferencia bayesiana.  1, record 3, Spanish, - programaci%C3%B3n%20bayesiana

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 DEF

A object representation schema for an attribute and its associated value.  3, record 4, English, - attribute%2Dvalue%20pair

Record number: 4, Textual support number: 1 CONT

Some systems are built around single objects or, in any case, do not formally represent multiple objects. In such cases the system represents facts in terms of attribute-value (A-V) pairs rather than triplets. This representation schema works much like an O-A-V schema except that, since it cannot represent multiple objects, it cannot take advantage of inheritance hierarchies.  4, record 4, English, - attribute%2Dvalue%20pair

Record number: 4, Textual support number: 2 CONT

The input to ID3 is a list of positive and negative instances of some concept, with each instance represented as a list of attribute-value pairs....  5, record 4, English, - attribute%2Dvalue%20pair

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 DEF

Schéma de représentation d’objets uniques, distincte des triplets OBAV (objet-attribut-valeur) propres aux représentations d’objets multiples, en ce qu’il ne peut rendre compte des hiérarchies d’héritage.  2, record 4, French, - couple%20attribut%2Dvaleur

Record number: 4, Textual support number: 1 CONT

Les concepts appris par un système sont le plus souvent décrits dans un formalisme logique plus ou moins expressif, par exemple, en termes de conjonctions ou disjonctions de couples attribut-valeur; beaucoup de concepts réels ne peuvent être caractérisés de manière aussi naïve [...]  3, record 4, French, - couple%20attribut%2Dvaleur

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 CONT

Piaget relied heavily on logical formalisms; ... but his grandiose claims have proved less robust than his specific experimental demonstrations. The logical formalisms underlying specific stages are invalid, the stages themselves are under attack, and his descriptions of the biological processes of stage transformation have eluded even sympathetic scholars.  3, record 5, English, - logical%20formalism

Record 5,  Textual support,  French

Record 5,  Textual support,  Spanish

Record 6,  Textual support,  English

Record number: 6, Textual support number: 1 DEF

A rule indicating expansion of a term by replacing the term by further elements. Rewrite rules are typical, for example, of phrase structure rules in transformational-generative grammar.  3, record 6, English, - rewriting%20rule

Record 6,  Textual support,  French

Record number: 6, Textual support number: 1 DEF

Règle qui spécifie une équivalence entre deux séquences de symboles.  1, record 6, French, - r%C3%A8gle%20de%20r%C3%A9criture

Record number: 6, Textual support number: 1 CONT

Bien avant les débuts de l'intelligence artificielle, le formalisme des règles de production a été utilisé en logique symbolique par Post, puis dans les algorithmes de Markov et en linguistique par N. Chowsky sous forme de règles de récriture.  1, record 6, French, - r%C3%A8gle%20de%20r%C3%A9criture

Record 6,  Textual support,  Spanish

Record 7,  Textual support,  English

Record number: 7, Textual support number: 1 CONT

The PROLOG language has features as well as flaws. One good feature is a logical calculus, called first-order predicate calculus, known to have certain elegant and universal properties for the representation of knowledge.  1, record 7, English, - logical%20calculus

Record 7,  Textual support,  French

Record number: 7, Textual support number: 1 CONT

La logique du premier ordre. Partant du calcul des propositions dont le formalisme est utile mais insuffisant pour exprimer la plupart des problèmes où l'intelligence intervient, nous décrirons ensuite le calcul des prédicats qui en est une extension.  2, record 7, French, - calcul%20logique

Record 7,  Textual support,  Spanish