Résumé. Dans cet article, nous proposons un système de classification des comptes-rendus mammographiques, reposant sur une ontologie radiologique décrivant les signes radiologiques et les différentes classes de la classification ACR des systèmes BIRADS dans le langage OWL. Le système est conçu pour, extraire les faits issus des textes libres de comptes-rendus en étant dirigé par l’ontologie, pu...

Une vue d’ensemble de l’architecture de la partie linguistique d’un système de traduction de texte Anglais en langage de signes est présentée. Nous nous concentrons sur la traduction du texte en langue naturelle vers une représentation sémantique pour l’aide à la traduction gestuelle. Nous rapportons nos progrès actuels dans l’application de techniques syntaxiques, sémantiques et contextuelles ...

The Active HYpermedia Delivery System(AHYDS) is an hypermedia platform being developed at NACSIS (Tokyo-Japan) based on the PHASME Application-Oriented DBMS. The AHYDS is a media delivery platform to support various hypermedia applications. The features of customisability and active behavior enable to support different kinds of heterogeneous hypermedia applications. The demonstration shows the ...

R~sum~ Pour "multilingualiser" (et non simplement "localiser") Gif, un 6diteur de documents structures, nous avons d6fini un langage de transcription, appel6 langage E, analogue aux autres langages (S, Pet T) de Grif. E est utilis6 pour compl6ter la description structurale d'une classe de documents, 6crite en S, par une description "linguistique" concemant les syst~mes d'6cnture utilis6s clans ...

Résumé. UML est le langage graphique de référence dans l’industrie pour la modélisation objet. Cependant UML reste un langage, et ne fournit aucun moyen de vérification ou d’interrogation de ses schémas. Il existe aujourd’hui des outils de vérification, mais ils se comportent comme des bôıtes noires où l’utilisateur ne peut accéder. Nous proposons une méthode graphique de vérification et d’inte...

Cet article présente une extension des indexicals pour décrire des propagateurs de contraintes globales. Ce nouveau langage produit par compilation des propagateurs pour différents solveurs et est indépendant d’un solveur particulier. De plus, nous montrons que cette description de haut niveau aide à prouver certaines propriétés telles que correction et monotonie. Des résultats expérimentaux mo...

Résumé. Soit K et K ′ deux corps elliptiques avec multiplication complexe sur un corps algébriquement clos k de caractéristique 0, non k-isomorphes, et soit C et C ′ deux courbes ayant pour corps de fonctions K et K ′ respectivement. Nous démontrons que si les anneaux d’endomorphismes de C et de C ′ ne sont pas isomorphes, alors K et K ′ ne sont pas élémentairement équivalents dans le langage d...

This paper presents an overall assessment of the whole range of research activities devoted to Natural-Language Processing within the field of Artificial Intelligence (AI). After a quick survey of the social and economic conditions of research, the paper addresses itself to : i) the influence of language theories on AI research : neuropsychology, psychocognitive sciences, transformational gramm...

Multi-Agent Systems are often used for electronic business. Agents involved in such applications do not want to collaborate and strictly follow rules. In this paper we study interactions between such agents, and we propose a semantics of speech acts unifying various aspects that are generally handled separately by existing semantics: the intentional aspect, describing why an agent performs a gi...

RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une séma...