Les prédicats d'affect

International audienceL'étude comporte trois parties : dans un premier temps, la notion de prédicat d' est précisée ; dans un deuxième temps, il est question de la méthode suivie pour élaborer la classification des prédicats d' ; dans un troisième temps, il est fait état des résultats obtenus

Exploring the Boundaries of Monad Tensorability on Set

We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the component theories. As such, they extend the sum of two theories, which is just their unrestrained combination. Tensors of theories arise in several contexts; in particular, in the semantics of programming languages, the monad transformer for global state is given by a tensor. We present two main results: we show that the tensor of two monads need not in general exist by presenting two counterexamples, one of them involving finite powerset (i.e. the theory of join semilattices); this solves a somewhat long-standing open problem, and contrasts with recent results that had ruled out previously expected counterexamples. On the other hand, we show that tensors with bounded powerset monads do exist from countable powerset upwards

Modélisation des objets urbains pour l'étude des dynamiques urbaines dans la longue durée

http://www.emse.fr/site/SAGEO2007/CDROM/p34.pdfThe use of GIS to study the spatial evolution of pre-industrial cities over the "longue durée" requires rigorously formalising heterogeneous data from different sources into robust entities. An initial model using the HBDS (Hypergraph Based Data Structure) method enabled us to distinguish social and spatial features. In this paper we develop a specific model for the temporal dimension. The definition of urban objects using social, spatial and temporal features enhances the study of urban dynamics of change over the "longue durée".L'utilisation des SIG pour l'analyse spatiale des villes préindustrielles dans la longue durée nécessite la formalisation des données disparates issues de sources diverses en entités robustes. Une première modélisation à l'aide de la méthode HBDS (Hypergraph Based Data Structure) nous a amené à distinguer entités fonctionnelles et entités spatiales. Dans cet article nous proposons d'ajouter la dimension temporelle en en développant la modélisation. La définition d'objets urbains par trois entités, fonctionnelle, spatiale et temporelle, a pour objectif l'étude des dynamiques de la ville dans le temps long

Les prédicats d’<affect>

Le modèle des classes d’objets (Gross G., 1995a, 1995b et 1996 ; Le Pesant & Mathieu-Colas, 1998) a été conçu au Laboratoire de linguistique informatique (LLI) pour décrire exhaustivement et systématiquement le lexique dans la perspective du traitement automatique des langues. Il a comme principes d’analyse, entre autres, de rapporter le fonctionnement des principales unités linguistiques à des phrases élémentaires et de considérer la langue comme seule métalangue, i.e. ses particularités et ..

Les dictionnaires électroniques du modèle des classes d'objets

Nous présentons le point de départ du modèle des classes d'objets et la structuration des dictionnaires électroniques qui en a découlé. Nous discutons ensuite des difficultés d'application de la théorie du point de vue de l'encodage des prédicats dans les premières versions des dictionnaires et des solutions théoriques qui ont permis de les dépasser. Enfin, nous montrons comment ces solutions sont intégrées dans les nouvelles versions des dictionnaires électroniques

Evaluation de dispositifs d'accès aux ressources terminologiques multilingues électroniques

National audienceMany multilingual terminological resources are available today for information professionals and for the general public. Implemented as electronic devices, these resources serve as a mediation tool between users and the information they need, thus making them knowledge acquisition devices. We analyse the structure of some resources, the type of information they offer for a term, the search options as well as the results exploration modalities. The aim is later to assess how these devices contribute towards knowledge acquisition and more precisely, how the terminological resources enable information professionals find equivalent terms in a multilingual framework. The current survey brings to light a certain level of hybridisation among resources making it more difficult to qualify a resource using the usual and classical frontiers (dictionary, thesaurus, ontology, terminology base). This is because, some resources, in the course of their design as electronic devices or during their migration to an electronic form adopted forms and structures issuing from different types of resources. The hybridisation of terminological resources thus appears as the favoured avenue to meet the needs of today's information professionals for knowledge acquisition in a multilingual framework.De nombreuses ressources terminologiques mono et multilingues sont mises à la disposition des usagers et en particulier des professionnels de l'information. Ces ressources, matérialisées aujourd'hui sous forme de dispositifs techniques électroniques servent d'outils de médiation entre les usagers et l'information à traiter. Ils deviennent de fait un dispositif d'appropriation des savoirs. Nous examinons la structure de ces dispositifs en ce qui concerne les modalités d'accès (options de recherche), les caractéristiques terminologiques qu'ils proposent pour un terme, les parcours d'exploration de l'information qu'ils autorisent. L'objectif à terme est de voir comment ces dispositifs facilitent ou non l'appropriation des connaissances dans un contexte multilingue et plus précisément, comment ils facilitent la recherche des équivalences inter-langues dans le cadre d'exercice d'une activité professionnelle. Cette première étude fait ressortir un certain niveau d'hybridation dans les ressources, à savoir qu'il n'est plus aisé que qualifier telle ressource d'un dictionnaire électronique, telle autre d'une base terminologique, d'un thésaurus ou d'ontologie parce qu'une même ressource, conçue entièrement sous support électronique ou lors de sa migration vers une forme électronique, va mêler des structures et fonctionnalités venant de plusieurs types de ressources. Le modèle hybride, celui d'un dispositif intégré apparaît comme la piste privilégiée pour répondre aux besoins des différents professionnels travaillant dans un contexte multilingue

L'approche orientee objets dans l'espace

The subject matter of this article concems objectivity of lexicographie description. Here objectivity is being associated with the names of "functional" places, in D. Le Pesant's understanding of the terme The author presents principles of the object-oriented description of lexicosemantic data, according to the concept by W. Banys. Later on, she distinguishes a couple of basic classes of appropriés predicates, which are typical for the locative nouns suggested by D. Le Pesant. The elements of the object-oriented approach are confronted with their counterparts in such lexicographie theories as: I. Melczuk and A.K. Zholkovsky'sframes, J. Pustejovsky's qualia structure system, G. Gross's object classes and unique beginners from the WordNet lexical database. In the suggested descriptive scheme of entries the author places results of her own analyses concerning descriptions of names of functional places, in this case-buildings