Extension du langage de requêtes LISQL pour la représentation et l'exploration d'expressions mathématiques en RDF

National audienceLes expressions mathématiques comptent pour une part importante dans les connaissances humaines. Nous en proposons une représentation en RDF afin de pouvoir les intégrer aux autres connaissances dans le Web sémantique. Nous étendons ensuite le langage de description et d'interrogation LISQL afin de concilier des représentations non-ambiguës, des requêtes expressives et des notations naturelles et concises. Par exemple, la requête \textttint(...?X $\hat~$ 2...,?X) permet de trouver les intégrales en~$x$ dont le corps contient la sous-expression~$x^2$. Tout cela permet d'utiliser Sewelis, un système d'information logique pour le Web sémantique, pour la représentation et l'exploration guidée d'expressions mathématiques. Ce guidage dispense les utilisateurs de maîtriser la syntaxe de LISQL et le vocabulaire tout en leur garantissant des expressions bien formées et des résultats à leurs requêtes

Complétude des extensions en arbres de théories

Nous présentons dans ce papier une méthode pour combiner une théorie T quelconque du premier ordre avec la théorie des arbres éventuellement infinis. Sémantiquement cette nouvelle théorie hybride n'est rien d'autre qu'une axiomatisation de l'extension en arbres des éléments des modèles de la théorie T. Tout d'abord, ayant une axiomatisation d'une théorie T, nous donnons l'axiomatisation de la théorie T de l'extension en arbre de T et présentons son modèle standard M. Nous introduisons ensuite une nouvelle classe de théories dite flexibles et montrons que si T est flexible alors T est complète. Les théories flexibles sont des théories ayant des propriétés élégantes qui nous permettent de manipuler aisément les formules. Enfin nous présentons un algorithme de décision de propositions dans T pour toute théorie T flexible. L'algorithme est donné sous forme d'un ensemble de six règles de réécriture qui pour toute proposition ' donnent soit vrai soit faux

Mathématiques et programmation analyse des besoins et inventaire de ressources au collégial /

"Ce projet constitue le troisième volet d'une recherche portant sur les applications de l'ordinateur dans l'enseignement et l'apprentissage des mathématiques au collégial"Également disponible en version papierTitre de l'écran-titre (visionné le 5 déc. 2009)Bibliogr

XMG : Un Compilateur de Méta-Grammaires Extensible

National audienceDans cet article, nous présentons un outil permettant de produire automatiquement des ressources linguistiques, en l'occurence des grammaires. Cet outil se caractérise par son extensibilité, tant du point de vue des formalismes grammaticaux supportés (grammaires d'arbres adjoints et grammaires d'interaction à l'heure actuelle), que de son architecture modulaire, qui facilite l'intégration de nouveaux modules ayant pour but de vérifier la validité des structures produites. En outre, cet outil offre un support adapté au développement de grammaires à portée sémantique