Multimodal logic programming using equational and order-sorted logic

AbstractIn our previous works a method for automated theorem proving in modal logic, based on algebraic and equational techniques, was proposed. In this paper we extend the method to multimodal logic and apply it to modal logic programming. Multimodal systems under consideration have a finite number of pairs of modal operators (♢i, □i) of any type among KD, KT, KD4, KT4, KF, and interaction axioms of the form □iA → □jA. We define a translation from such logical systems to specially tailored equational theories of classical order-sorted logic, preserving satisfiability, and then use SLD E-resolution for theorem proving in these theories

Transitions thématiques : Annotation d'un corpus journalistique et premières analyses

National audienceLe travail présenté dans cet article est centré sur la constitution d'un corpus de textes journalistiques annotés au niveau discursif d'un point de vue thématique. Le modèle d'annotation est une segmentation classique, à laquelle nous ajoutons un repérage de zones de transition entre unités thématiques. Nous faisons l'hypothèse que dans un texte bien construit, le scripteur fournit des indications aidant le lecteur à passer d'un sujet à un autre, l'identification de ces indices étant susceptible d'améliorer les procédures de segmentation automatique. Les annotations produites ont fait l'objet d'analyses quantitatives mettant en évidence un ensemble de propriétés des transitions entre thèmes. ------------------ The work presented in this paper focuses on the creation of a corpus of journalistic texts annotated at dicourse level, more precisely on a topic level. The annotation model is a classic segmentation one, to which we add transition zones between topical units. We assume that in a well-structured text, the author provides information helping the reader to move from one topic to another, where an identification of these clues is likely to improve automatic segmentation. The produced annotations have been subject of several quantitative analyses showing a set of linguistic properties of topical transitions

Rapport technique du projet OGRE

This repport concerns automatic understanding of (french) iterative sentences, i.e. sentences where one single verb has to be interpreted by a more or less regular plurality of events. A linguistic analysis is proposed along an extension of Reichenbach's theory, several formal representations are considered and a corpus of 18000 newspaper extracts is described.Comment: 92 page

ANNODIS : une approche outillée de l'annotation de structures discursives

International audienceThe ANNODIS project has two interconnected objectives: to produce a corpus of texts annotated at discourse-level, and to develop tools for corpus annotation and exploitation. Two sets of annotations are proposed, representing two complementary perspectives on discourse organisation: a bottom-up approach starting from minimal discourse units and building complex structures via a set of discourse relations; a top-down approach envisaging the text as a whole and using pre-identified cues to detect discourse macro-structures. The construction of the corpus goes hand in hand with the development of two interfaces: the first one supports manual annotation of discourse structures, and allows different views of the texts using NLP-based pre-processing; another interface will support the exploitation of the annotations. We present the discourse models and annotation protocols, and the interface which embodies them.Le projet ANNODIS vise la construction d'un corpus de textes annotés au niveau discursif ainsi que le développement d'outils pour l'annotation et l'exploitation de corpus. Les annotations adoptent deux points de vue complémentaires : une perspective ascendante part d'unités de discours minimales pour construire des structures complexes via un jeu de relations de discours ; une perspective descendante aborde le texte dans son entier et se base sur des indices pré-identifiés pour détecter des structures discursives de haut niveau. La construction du corpus est associée à la création de deux interfaces : la première assiste l'annotation manuelle des relations et structures discursives en permettant une visualisation du marquage issu des prétraitements ; une seconde sera destinée à l'exploitation des annotations. Nous présentons les modèles et protocoles d'annotation élaborés pour mettre en œuvre, au travers de l'interface dédiée, la campagne d'annotation

De l'interprétation (sens, structures et processus)

On interpretation (meaning, structures and processes) : In this paper we propound a method for analysing semiotic processes which is structural, dynamic and constructive and essentially non-realist. This method refuses the assimilation of meaning and reference ; the closest formal reference is not model thoery, but rather the operational semantics of programming languages. This viewpoint is notably supported by an analysis of the interpretation of aerial photographs, and by a discussion of semantic questions in the automatic processing of natural languages.Cet article propose une méthode d'analyse des processus sémiotiques à la fois structurelle, dynamique et constructive, essentiellement non réaliste et refusant l'assimilation sens-référence, pour laquelle la référence formelle la plus proche concerne la sémantique opérationnelle des langages de programmation plutôt que la théorie des modèles. Ce point de vue est particulièrement étayé par une analyse de l'interprétation de photos aériennes et par une discussion des questions de sémantique en traitement automatique des langues.Enjalbert Patrice. De l'interprétation (sens, structures et processus). In: Intellectica. Revue de l'Association pour la Recherche Cognitive, n°23, 1996/2. Le sémiotique. pp. 79-120

Notes préliminaires à une théorie opérationnelle du sens

Enjalbert Patrice. Notes préliminaires à une théorie opérationnelle du sens. In: Intellectica. Revue de l'Association pour la Recherche Cognitive, n°8, 1989/2. pp. 109-159

Sémantique et TALN : première approche

@incollection{OL-ENJALBERT-2005, author = {Patrice Enjalbert}, title = {{S{é}mantique et TALN : premi{è}re approche}}, chapter = {1}, pages = {27-52}, booktitle = {S{é}mantique et traitement automatique des langues}, editor = {Patrice Enjalbert}, series = {Trait{é} IC2, s{é}rie Cognition et traitement de l'information}, publisher = {Herm{è}s Sciences, Lavoisier}, year = {2005}

Sémantique des énoncés itératifs. Une approche formelle

International audienceThis article is about the semantics of iterative statements, expressing repetition in time of a type-eventuality. With these statements are associated frequency properties, quantified by iterative adverbs (often, sometimes, sporadically, n times out of p…). Our purpose is to design a formal representation, with a method allowing to compute it from the text. The interpretation of an iterative statement closely relies on its information structure so that we first study precisely the topic-focus partition for a significant range of configurations. In the formal model, the occurrences of iterative eventualities or circumstants are represented by sequences of intervals. The temporal semantic of a sentence is then formalised as an instanciation of generic formulas using two types of generalised quantifiers

L'extraction d'information

@incollection{OL-ENJALBERT-2005-3, author = {Patrice Enjalbert}, title = {{L'extraction d'information}}, chapter = {8}, pages = {309-334}, booktitle = {S{é}mantique et traitement automatique des langues}, editor = {Patrice Enjalbert}, series = {Trait{é} IC2, s{é}rie Cognition et traitement de l'information}, publisher = {Herm{è}s Sciences, Lavoisier}, year = {2005}

Qu'est-ce qu'un "\,corpus homogène\," ? Réflexions à partir d'expériences en Extraction et Recherche d'Information

@inproceedings{CN-ENJALBERT-2003, author = {Patrice Enjalbert}, title = {{Qu'est-ce qu'un "\,corpus homog{è}ne\," ? R{é}flexions {à} partir d'exp{é}riences en Extraction et Recherche d'Information}}, year = {2003}, booktitle = {Actes des 3{è}mes Journ{é}es de la Linguistique de Corpus}, address = {Lorient, France}, editor = {G. Williams}, publisher = {L'Harmattan}, organization = {septembre} }National audienc