Denkprothesen: on programs that reason

This paper considers computer programs that purport to do inference. It finds the essence of their reasoning ability to reside in a particular relationship which exists between the computations described by the texts of those programs and machine-independent formal representations of the theories in which they are said to reason. The principal novelties in the treatment of this question are the use of explicit “abstraction functions” between states of a computation and sets of sentences of a theory, and the notion of global “inference relations” which characterize the set of all inferences of which a system is capable. The central result of the paper is an “arrow-theoretic” characterization of the concept of a knowledge representation, along with the related concept of a knowledge representation realization. The notions of equivalence and subsumption for knowledge representations are defined, as well as equivalence of knowledge representation realizations. Finally, important issues of expression evaluation and control are addressed. The paper concludes with a slogan: “The AI is in the arrows.” Cet article traite des programmes informatiques qui prétendent faire de ľinférence. Ľauteur constate que ľessentiel de leur capacityé de raisonnement réside dans la relation particulière qui existe entre les calculs décrits par les textes de ces programmes et les représentations formelles non liées à un type de machine des théories dans le cadre desquelles ils sont supposés raisonner. Les principales nouveautés dans le traitement de cette question sont ľutilisation de fonctions ?abstraction explicites éntre les etats ?un calcul et les ensembles de phrases ?une théorie, et la notion de relations ?inférence globales qui caractérisent ľensemble de toutes les inférences dont un système est capable. Le principal résultat de cet article est une caractérisation du concept de la représentation des connaissances, ainsi que du concept connexe de la réalisation de la représentation des connaissances. Les notions ?équivalence et de sous-somption pour la représentation des connaissances sont définies, ainsi que ľéquivalence des réalisations de la représentation des connaissances. Enfin, des questions importantes comme ľanalyse et le contrǒle ?expressions sont traitées.     

Time revisited1

Temporal reasoning is essential for many artificial intelligence applications. To date, most research has concentrated on temporal inference in isolation without considering the role it can play in a more general reasoning environment. This paper takes an efficient temporal reasoner and extends its inferential capabilities to handle both strict and nonstrict relations. The resulting temporal specialist is incorporated into a system intended for low-level reasoning in natural language understanding. The specialist assists the resolution-based theorem prover in function evaluation, literal evaluation, and generalized resolving and factoring. The combined system can do some proofs in just a few steps that would normally require many. An example from the fully operational hybrid system is included. Le raisonnement temporel est essentiel dans de nombreuses applications relatives à? intelligence artificielle. Jusqu’à présent, la plupart des travaux de recherche ont porté sur ? inférence temporelle dans ? isolation sans tenir compte du rǒle qu'elle peut jouer dans un environnement de raisonnement plus général. Cet article traite ? un raisonneur temporel ef ficace dont les capacityés inférentielles ont été augmentée afin de pouvoir traiter les relations strides et non strides. Le spécialiste temporel qui en résulte est intégréà un système conçu pour le raisonnement bas-niveau en langage naturel. Le spécialiste assiste le démonstratur de théorèmes basé sur la résolution dans ?évaluation des fonctions, ?évaluation littérale et la fonction fadorielle généralisée. Le système combine peut vérifier des preuves en quelques étapes seulement au lieu ? un grand nombre. Un exemple ? un système hybride entièrement opérationnel est fourni. Mots clés: raisonnement temporel, methodes ? inférence spéciales, résolution de théories, représentation des connaissances.     

A spectrum of logical definitions of model-based diagnosis1

In this paper, we analyze the logical definitions of model-based diagnosis recently presented in the literature, and we propose a unified framework (based on the integration of abductive and consistency-based reasoning) in which most of such definitions can be captured. This allows us to single out the existence of a spectrum of alternatives in the logical definition of diagnosis. A lot of attention in the paper is devoted to analyzing the differences among the definitions in the spectrum. In particular, we show that the definitions can be compared on the basis of their restrictive-ness and we relate such a restrictiveness with the completeness of the model of the system to be diagnosed. Dans cet article, les auteurs analysent les définitions logiques de diagnostics basés sur un modèle dont il a été question récemment dans certains ouvrages. Ils proposent un cadre unifié (basé sur l'intégration du raisonnement abductif et du raisonnement basé sur la consistance) à l'interieur duquel la plupart de ces définitions peuvent ětre regroupées. Cette particularité permet de mettre en lumière l'existence d'un spectre d'alternatives dans la définition logique du diagnostic. Cet article accorde une attention toute particulière à l'analyse des différences entre les définitions du spectre. En outre, les auteurs démontrent que les définitions peuvent ětre compareées en fonction de leur caractère restrictif, qui est ensuite mis en relation avec la complétude du modèle du système faisant l'objet d'un diagnostic.     

Analyse et optimisation d'une procédure de reprise dans un système de gestion de données centralisées

Resumé Le sujet de cet article est l'étude d'un système de gestion de données qui opère en présence de pannes intermittentes et dans lequel des points de reprise (PR) sont établis pour permettre la reprise après une défaillance du système. Un PR est établi après le traitement de N transactions, N étant un nombre entier fixe.Nous proposons un modèle mathématique qui nous permet de calculer la disponibilité du système. Des simulations sont également faites pour valider ces résultats. Nous comparons nos résultats à ceux de Gelenbe [10] qui suppose qu'un PR est établi après un temps fixe de fonctionnement normal du système et nous montrons que, sous certaines conditions, les deux approches sont équivalentes aussi bien du point de vue de la disponibilité du système que des valeurs optimales du temps entre PR successifs.

---

Optimal recovery in a system for the management of centralized data

Summary We have investigated a transaction oriented computer system operating in the presence of intermittent failures. The system integrity is maintained by a built-in checkpoint and roll-back recovery schema. The analytical results, concerning system availability and stability, are compared with those of Gelenbe [10] and validated through simulation.

---

---

Travail effectué dans le cadre d'un contract de recherche IRIA/SIRIUS     

La Validité des Mesures de Frequence Cardiaque en Ergonomie

1. Le choix du critére cardiaque en Ergonomie est justifié par l'ensemble des connaissances des variations de la fréquence cardiaque. Ces variations s'expliquent en général par des réflexes physiologiques simples. Les valeurs moyennes et les variations de la frequence cardiaque sont d'abord envisagées au repos, puis au cours de divers états d'activité partielle de l'organisme. Les effets respectifs du travail musculaire (général et local), de la digestion, de la posture, de l'altitude, de la température extérieure, du bruit et des activitéa psychosensorielles sont suceessivement considéréd. L'interprétation de variations observérs au cours d'un posto de travail implique une bonne connaissance de ces effets. Les conclusions pratiques les plus importantes sont soulignées.

2. La miso au point de dispositifs de mesure de la fréquence cardiaque a conduit a la commercialisation de divers fréquencemétres. Ceux-ci sont généralement basés sur la détection électrocardiographique ou photopléthysmographique du signal cardiaque. Les dispositifs télémétriques laissent toute liberté de mouvemont et de déplacement au sujet observé. La plupart des appareils existants permettent d'obtenir directement une courbe de la fréquence cardiaque et la totalisation des battements cardiaquos sur un temps long. Les divers types d'appareils et les criteres de choix de ceux-ci sont examinés.

3. Le critère cardiaque rend de grands services dans le domaine de 1'adaptation du travail à l'Homme. Différents modes d'expression des variations de la fréquence cardiaque sont utilisés pour rendre compte des mesures faites en laboratoire ou en atelier. Celles-ci s'appliquent à révaluation do lo capacityé de travail des individus et àa l'appréciation de la charge que représente pour le coeur un poste de travail donné. La mesure de la fréquence cardiaque permet de dissocier dans lenBernble des facteurs de charge coux qui sont le plus contraignants afin de faire porter sur eux les efforts d'amélioration de poste. Le critere cardiaque est un témoin physiologique, done objectif, de léfficiaté des aménagemonts apportés à un poste de travail.     

La transition secondaire postsecondaire abordée sous l'angle de l'harmonisation des manières d'utiliser le symbolisme chez les enseignants

Nos observations au secondaire et au collégial et les travaux menés sur la transition secondaire postsecondaire en mathématiques ont permis de documenter un ensemble de ruptures dans le passage d'un ordre à l'autre, soulignant l'importance de s'attarder à l'articulation entre ces deux ordres. C'est afin de mieux comprendre ces articulations possibles qu'une recherche collaborative a été menée avec des enseignants des deux ordres. L'analyse, puisant ses fondements en ethnométhodologie, fait apparaître l'utilisation du symbolisme comme un thème central de cette articulation interordres, et permet de retracer une trajectoire d'harmonisation qui se développe durant les rencontres en lien avec cette utilisation.     

Variabilité saisonnière et interannuelle de la concentration de la chlorophylle dans la zone côtière du golfe de Guinée à partir des images SeaWiFS

La variabilité saisonnière et interannuelle de la concentration de chlorophylle dans le golfe de Guinée est analysée pour la période de 1997 à 2004 en utilisant une série d'images SeaWiFS auxquelles ont été associées des images de température de surface de la mer. Les résultats montrent que la zone côtière du golfe de Guinée est caractérisée par une forte variabilité spatiale et temporelle de ses propriétés physiques et biologiques. Ainsi, seules les zones côtières de la Guinée-Bissau et de la Côte d'Ivoire et dans une moindre mesure celle du Ghana montrent un comportement classique reliant la présence de résurgences côtières à de plus fortes concentrations de chlorophylle. La zone côtière du Liberia est caractérisée par une variabilité interannuelle quasi-nulle de la chlorophylle alors que celles du Nigéria et du Gabon ne montrent aucune relation entre la chlorophylle et la température. Plusieurs processus physiques apparaissent jouer un rôle important dans la réponse biologique des régions; à savoir la position latitudinale de la Zone de Convergence Inter-Tropicale qui modifie considérablement les patrons de vent dans l'ensemble du golfe de Guinée et le El-Niño Atlantique qui modifie les masses d'eaux dans l'est équatorial.     

Algorithme de simulation du signal des masses d'eau cÔtiÈres au niveau des capteurs satellitaires À haute rÉsolution spatiale fondÉ sur le code atmosphÉrique 6S

Un algorithme de simulation du signal d'une masse d'eau côtière au niveau d'un capteur satellitaire est présenté dans cet article. Il fait appel au code atmosphérique 6S pour le calcul du rayonnement solaire reçu par un capteur après réflexion par une masse d'eau, selon des conditions variables de l'atmosphère ainsi que de la géométrie d'illumination et de visée. Le calcul de la réflectance d'éclairement sous la surface de la masse d'eau se fait par un module spécialement conçu par nous. Ce module fait appel à des modèles approximatifs du transfert radiatif dans une masse d'eau d'une profondeur variable et limitée par un fond d'une nature et d'une couverture variable (ex. algues, sable, gravier). La masse d'eau peut être composée de plusieurs couches, chacune étant caractérisée par son contenu distinct en matières minérales en suspension, en matières organiques dissoutes et en chlorophylle. L'accent dans cette étude a étémis sur les données du capteur TM de Landsat, le seul à l'heure actuelle offrant un certain potentiel du point de vue résolution spectrale, spatiale et radiométrique pour l'étude du contenu des masses d'eau côtières. Dans un premier temps, les résultats du module de calcul de la réflectance d'éclairement ont été vérifiés pour les longueurs d'onde centrales des bandes TM1, TM2 et TM3, à l'aide de données acquises sous la surface de l'eau et publiées dans la littérature (masses d'eaux du type CASE I ou CASE II). Dans un deuxième temps, les résultats de l'ensemble de l'algorithme ont été vérifiés à partir d'une image TM et de données d'échantillonnage des eaux côtières de la baie des Chaleurs, au Québec, acquises en quasi-synchronisme avec le passage du satellite. Dans les deux cas l'algorithme proposémontre un bon comportement. En effet, les réflectances d'éclairement simulées sous la surface d'eau montrent un haut degré de similitude avec celles publiées. Quant aux résultats globaux, l'algorithme surestime de 2.5 niveaux de gris (échelle en 8 bits), en moyenne, le signal du système atmosphère-masse d'eau dans les trois bandes TM. Les causes probables de cette surestimation et les possibilités d'améliorer le rendement de l'algorithme sont discutées dans cet article. Un exemple de simulation du signal d'une masse d'eau côtière est également présenté pour démontrer le potentiel d'utilisation de l'algorithme.     

Planning in polynomial time: the SAS-PUBS class

This article describes a polynomial-time, O ( n³ ), planning algorithm for a limited class of planning problems. Compared to previous work on complexity of algorithms for knowledge-based or logic-based planning, our algorithm achieves computational tractability, but at the expense of only applying to a significantly more limited class of problems. Our algorithm is proven correct, and it always returns a parallel minimal plan if there is a plan at all.
Cet article décrit un algorithme de planification de temps polynomial O ( n ³) pour une classe restreinte de problemes de planification. Contrairement aux travaux précédents sur la complexité des algorithmes pour la planification basée sur la logique ou les connaissances, l' algorithme dont il est question dans cet article permet d' obtenir la tractabilityé computationnelle; cependant, il ne peut ětre appliqué qu'à une catégorie beaucoup plus restreinte de problèmes. Cet algorithme s'est done révélé correct et il génère toujours un plan minimal en parallèle lorsqu'il y en a un.     

Apport de la teledetection a l'etude des plaques de sols nus en zone soudanienne (Burkina-Faso)

L'imagerie satellitale haute resolution SPOT est utilisee pour detecter les plaques de sols nus en zone de savane soudanienne. L'objectif hydrologique de cette determination est de mieux comprendre en quoi la presence ou l'absence de ces plaques explique la genese des ruissellements dans les petits bassins versants: contribution au transfert d'eau continu entre le versant elementaire et le bas-fond et genese de debits de crues extremes. La precision de la cartographie est appreciee a partir de documents de terrain detailles (echelle 1/10,000) servant de reference pour connaitre la repartition, le nombre, la surface et la forme des plaques. La qualite d'estimation est evaluee en separant erreur geometrique fonction de la resolution utilisee, et erreur radiometrique fonction des canaux utilises et de la date de l'image. Pour cet objectif thematique, les images SPOT XS paraissent alors suffisamment precises pour detecter les plaques de sols nus (taille minimale des plaques 0.25ha) a partir d'une image de saison des pluies (grand contraste entre sols nus et cultures). L'application porte sur un petit bassin versant du Burkina Faso (Imiga, 12km²).     

Forme scolaire, éducation aux sciences et pratique de la critique

Résumé

Les science studies ont permis de réintégrer les sciences dans le giron du social, en montrant notamment que ce que l'on entend par objets scientifiques correspond à des entités produites, scénarisées, travaillées par des acteurs multiples, dont l'avenir et la pérennité sont fonction de l'extension des réseaux qui en permettent la (re)production ou la mobilisation. Tout en mettant ainsi en évidence que le travail scientifique est traversé par des tensions, des conflits et des négociations que l'on imputait traditionnellement aux seules sciences ?molles?, ces travaux ont de plus montré que les objets ou entités qui surgissent des laboratoires peuvent étre source de nouveaux problèmes et de nouvelles incertitudes (telles les thérapies géniques), malgré leurs promesses et l'expertise dont ils procèdent. Du point de vue de l'éducation aux sciences, de telles considérations invitent à questionner la pertinence de la forme scolaire au sein de laquelle cette éducation s'accomplit, compte tenu que cette forme occulte allègrement tout ce qui contribue à faire des sciences un monde autre qu'un monde de savoirs achevés et disant ce qui est. Mais elles invitent aussi, si l'on souhaite aider les jeunes à mieux négocier cette performation du social par les sciences, à s'intéresser aux pratiques interprétatives de ces derniers, à leurs manières de concevoir les enjeux et les conflits qui sont consubstantiels au monde des sciences et à l'expertise qui s'en réclame. C'est ce dont traite cet article, suivant une perspective essentiellement illustrative. Ainsi, après avoir décrit comment un enseignant est amené, à son corps défendant, à reconduire la rhétorique scolaire habituelle sur les sciences, nous examinons quelques‐unes des manières par lesquelles dejeunes québécois du secondaire et du collège s'approprient les désaccords entre scientifiques et envisagent leur résolution.     

La preuve en mathematique

Résumé

En mathématique, la méthode de la preuve et la méthode déductive remontent au modèle classique de l'exposition inventé par Euclide et décrit dans son ouvrage célèbre ayant pour titre Éléments. L'attitude des mathématiciens envers ces méthodes a eu beau évoluer au cours des derniers siècles, la relation entre la compréhension et l'acceptabilité des énoncés mathématiques n'a cependant pas progressé de manière spectaculaire. C'est pourquoi la présente analyse tente d'expliquer comment les difficultés liées à la preuve peuvent provenir de la tension entre deux pôles: la production des connaissances mathématiques, d'une part, et leur systématisation, d'autre part.

Il s'agit ici de deux orientations complémentaires de la recherche. En effet, la première partie de l'analyse axée sur la notion de l'unité cognitive a trait à la relation entre la production d'une conjecture et sa preuve, la construction théorique de l'unité cognitive servant à analyser et à interpréter les difficultés des élèves. La deuxième partie porte sur une étude qui veut initier les élèves à la réflexion théorique et examiner le rôle du logiciel Cabri‐géomètre dans le processus d'enseignement et d'apprentissage. Dans une perspective vygotskienne, l'emphase est alors mise sur la médiation sémiotique qui s'effectue par des artefacts culturels. Les exemples tirés de diverses recherches sont analysés en vue d'illustrer la complémentarité de nombreux aspects et problèmes relatifs à la preuve.

Dans la pratique didactique, l'utilisation d'objets communs n'est pas nouvelle, mais c'est plutôt l'interprétation de ces objets en termes de médiation sémiotique qui est considérée comme une nouveauté. [Agrave] ce sujet, un exemple intéressant nous est donné dans le projet développé par le Groupe de Modène que coordonne Bartolini Bussi ; il s'agit d'une expérience qui a de nombreuses affinités avec la nôtre. [Agrave] propos de ces deux exemples, la signification que nous comptons introduire dans laquelle nous utilisons un artefact comme médiateur sémiotique est celle de Théorème en liaison étroite avec celle de Théorie. Dans ce cas précis, les artéfacts culturels sont les systèmes d'engrenage et la théorie de référence retenue est la cinématique de Héron (Livre l” de la mécanique, ler siècle apr. J.‐ C.). C'est un principe facilement acceptable qui peut servir de base à une théorie: ? Deux cercles engrenés tournent en direction opposée. L'un vers la droite, l'autre vers la gauche ? (cité dans Carra de Vaux, 1988). On peut tirer de ce postulat plusieurs théorèmes intéressants.

L'expérience du Groupe de Modène se déroule dans une classe de 4e année. Malgré l'âge des élèves, on observe que la plupart d'entre eux sont en mesure de concevoir des énoncés généraux relatifs au mouvement des engrenages et d'élaborer des argumentations pour les justifier, tout en ayant recours au principe établi. C'est en ce sens qu'il est possible de parler de pensée théorique.     

The role of the user's domain knowledge in generation

A question-answering program that provides access to a large amount of data will be most useful if it can tailor its answers to each individual user. In particular, a user's level of knowledge about the domain of discourse is an important factor in this tailoring if the answer provided is to be both informative and understandable to the user. In this research, we address the issue of how the user's domain knowledge, or the level of expertise, might affect an answer. We present TAILOR, a flexible computer system that takes into account this knowledge to provide an answer that is appropriate for users with varying levels of expertise (including novices and experts), without requiring an a priori set of user types.
Un programme qui donne accès à un système de connaissances à de nombreux et divers utilisateurs serait plus utile s'il pouvait adapter ses réponses pour chaque utilisateur. En particulier, le savoir de l'utilisateur est un facteur important pour que la réponse soit compréhensible et informative. Dans cet article, nous étudions le rle de la connaissance de l'utilisateur pour former un texte qui soit approprié pour la personne qui le lira. Nous présentons TAILOR, un système de génération flexible qui est sensitif au niveau de connaissance de l'utilisateur. TAILOR peut générer des textes appropries pour des utilisateurs aux niveaux de connaissances très variés, sans avoir besoin ďun groupe de stéréotypes définis a priori.     

Didactique des mathématiques et formation des enseignants: Le cas de l'Université du Québec à Montréal

Résumé:

Les travaux de recherche en didactique qui se sont développés à l'Université du Québec à Montréal (UQAM) ont été dès le départ liés à la formation des enseignants et enseignantes en mathématiques. Cet ancrage particulier a contribué au fil des années à l'enrichissement et à la complexification dans le champ de la didactique des mathématiques de problématiques qui sont venues éclairer, en retour, cette formation. Nous montrerons, à partir de quelques exemples, les orientations prises par les recherches développées par les didacticiens et didacticiennes de l'UQAM, en vertu de cet ancrage original qu'est celui de la formation des enseignants et enseignantes en mathématiques, et préciserons comment s'est opéré leur réinvestissement dans la formation. Cette approche des problèmes didactiques a débouché sur la mise en ?uvre graduelle d'un modèle de formation des enseignants et enseignantes en mathématiques au secondaire, dont nous décrirons l'organisation globale et les caractéristiques particulières. Nous illustrerons cette formation en action à partir d'un exemple tiré du cours de didactique de l'algèbre. Cet exemple permettra de faire comprendre les bases théoriques qui président aux choix réalisés par les didacticiens et didacticiennes formateurs, et d'entrevoir le caractère fécond du modèle de formation mis en place sur les apprentissages réalisés par les futurs intervenants et intervenantes.     

La Commercialisation de la teledetection Les produits ERS

Résumé

Abstract

Cet article traduit le point de vue de PAgence Spatiale Européene relatif à la commercialisation des applications de la télédétection réalisées par le satellite ERS-1. Ce point de vue repose sur Pexperience de l'ESA relative au système Météosat qui a été transporté sur Eumetsat, à son système Earthnet—une récente expérience sur Eurimage—et relative à l'étude de concurents tels que Landsat et SPOT. En ce qui conceme les applications à partir de données ERS, on étudie les differents créneaux du marché et, comme le système ERS est très different des ressources terrestres satellitaires existantes dans la mesure ou il est surtout conçu pour étudier les océans, les zones côtieres et glacières, on attend une demande de i'utilisateur dans des secteurs tels que l'industrie 'offshore', le transport maritime, la pêgche, la surveillance de la pollution marine et l'administration des zones. côtières. Les auteurs concluent que cette étape n'a pas encore été réalisée si on entend par commercialisation le recouvrement de tous les coÛts effectués lors du developpement total du satellite, les frais de lancement et de fonctionnement. Neanmoins si l'on estime que cette commercialisation est un autre moyen d'utilise[rdot] les fonds publics pour tenir compte de la demande du marché et de partager les risques avec le secteur privé, alors ies résultats de la commercialisation commencent déjà à porter leurs fruits.

This paper describes the European Space Agency's views on the commercialization of the remote sensing products to be produced by the ERS-1 satellite. The views are based on the agency's experience with the Meteosat system which it has transferred to Eumetsat, on its Earthnet system, the recent experience with Eurimage and on observations of the competitors such as Landsat and SPOT. The various market segments for ERS data products are examined, and as the ERS system is very different to the existing Earth resources satellites in that it is mainly for studying the oceans, ice and coastal zones, user demand is expected in such fields as the off-shore industry, maritime transport, fishing, monitoring marine pollution and management of coastal zones. The authors conclude that if, by commercialization we mean full cost recovery of the total satellite development, launch and separating costs, then no one has reached this stage yet. However, if we consider that commercialization is a re-orientation in the use of public funds in order to take account of market demand and in risk-sharing with the private sector, then the results of commercialization are already starting to bear fruit.     

SYNTAX OR SEMANTICS? HANDLING NONLOCAL DEPENDENCIES WITH MCTAGS OR SYNCHRONOUS TAGS

We show how multicomponent TAGs, although in their “local” version equivalent to “simple” TAGs, enable one to associate the derived structures with a richer set of derivations. This is especially useful for representing some nonlocal dependencies such as wh-extraction out of NP or extraposition, as soon as one interprets the derivation structures as representing the predicate-argument dependencies. However, there is a formal alternative in the formalism of synchronous TAGs that achieves a similar result, namely, that associates standard syntactic derivations with nonisomorphic semantic derivations, and relies on the latter to represent the dependency relations. We show that the latter treatment accounts for a different range of extraposition facts in French, where the relationship between the head noun and its extraposed dependent is a semantic one. Nous montrons comment les TAGs ensemblistes “locales” (MCTAGs), qui sont équivalentes aux TAGs simples, permettent ?associer aux structures syntaxiques dérivées un ensemble plus large de structures dérivationnelles. Cela est particulièrement utile pour la représentation des dépendances non locales qu'on observe dans les extractions hors du groupe nominal et les extrapositions, à partirdu moment où?on interprète les arbres de dérivation comme représentant les relations de dépendance. II existe toutefois une autre possibilityé dans le cadre des TAGs synchrones qui associe aux dérivations syntaxiques standard des dérivations sémantiques non isomorphes et interprète les relations de dépendance en se basant sur ces dernières. Nous montrons que cette deuxième possibilityé est mieux adaptée pour des cas ?extraposition en français où la relation de dépendance entre le nom těte et ?élément extraposé est ?ordre sémantique.     

Et pourquoi pas une éducation aux sciences qui aborde la participation des acteurs sociaux aux controverses sociotechniques?

Résumé

Dans cet article nous faisons état d’une recherche qui s’est déroulée dans le cadre d’un projet orienté vers une éducation aux sciences citoyennes. Nous présentons la recherche et quelques-uns des résultats qui en sont issus, puis nous prenons position quant à la pertinence d’aborder, en classe de sciences, les questions de la participation citoyenne aux débats sociotechniques et des rôles et capacités des acteurs sociaux concernés.     

La fabrication de l'éducation relative a l'environnement

Résumé

S'appuyant sur la théorie des représentations sociales ainsi que sur un modèle de fabrication d'une discipline scolaire, cet article retrace la sociogenèse de l'Education relative à l'environnement (ERE), c'est‐à‐dire les processus et les contenus qui ont participé à sa fabrication et à sa mise en forme. Nous verrons ainsi que, de manière générale, l'ERE tend à s'inscrire dans le prolongement d'une conception essentiellement écologique de l'environnement et d'une conception plutôt mécaniste et sensualiste de l'éducation. En ce sens, si cette sociogenèse de l'ERE suggère que la construction et la circulation des connaissances qui lui sont liées participent à des images et des récits ambiants, elle suggère aussi que la hiérarchie des savoirs en vigueur lors de cette construction n'est pas en reste et que, dans ce cas, cette hiérarchie a profité sans conteste aux savoirs dits scientifiques.     

Paradigmes et espaces de travail géométriques. Éléments d'un cadre théorique pour l'enseignement et la formation des enseignants en géométrie

Résumé:

Cet article développe les éléments d'un cadre théorique utilisé pour l'étude de l'enseignement de la géométrie élémentaire notamment en formation des enseignants. Les notions de paradigmes géométriques et d'espace de travail de la géométrie font l'objet d'une présentation détaillée. La géométrie élémentaire est ainsi vue comme éclatée en trois paradigmes géométriques différents. Ces derniers approfondissent la notion de cadre géométrique due à Douady. Ils sont ensuite mis en relation avec les niveaux de Van Hiele. La notion d'espace de travail permet d'étudier la spécificité de l'activité du géomètre qu'il soit expert ou apprenti. Une articulation avec l'approche cognitive de Duval est envisagée.     

Enseignants de mathématiques et connaissances statistiques: le cas de la variabilité

RÉSUMÉ

Cette recherche vise à explorer les connaissances professionnelles en statistique d'enseignants de mathématiques du secondaire à travers l'exploration de diverses mises en situation ancrées à leur contexte de pratique et faisant intervenir le concept de variabilité, un concept clé dans le développement de la pensée statistique. Douze enseignants de mathématiques du secondaire ont été confrontés à des contenus scolaires en statistique et à des raisonnements d'élèves associés à ces contenus. En plus de résoudre les tâches proposées sur les contenus, les enseignants ont par la suite été amenés à proposer des façons d'intervenir auprès des élèves afin de favoriser leurs compréhensions statistiques. Dans un premier temps, l'analyse des réponses des enseignants permet d'explorer les raisonnements déployés par ces derniers pour réaliser les tâches, leurs compréhensions et pratiques associées au concept de variabilité, ainsi que de porter un regard sur l'enseignement de ce concept. Dans un deuxième temps, l'étude montre que des conceptions déjà observées chez des élèves sur ces contenus se retrouvent également chez ces enseignants du secondaire.