Microplanning with Communicative Intentions: The SPUD System

The process of microplanning in Natural Language Generation (NLG) encompasses a range of problems in which a generator must bridge underlying domain-specific representations and general linguistic representations. These problems include constructing linguistic referring expressions to identify domain objects, selecting lexical items to express domain concepts, and using complex linguistic constructions to concisely convey related domain facts. In this paper, we argue that such problems are best solved through a uniform, comprehensive, declarative process. In our approach, the generator directly explores a search space for utterances described by a linguistic grammar. At each stage of search, the generator uses a model of interpretation, which characterizes the potential links between the utterance and the domain and context, to assess its progress in conveying domain-specific representations. We further address the challenges for implementation and knowledge representation in this approach. We show how to implement this approach effectively by using the lexicalized tree-adjoining grammar formalism (LTAG) to connect structure to meaning and using modal logic programming to connect meaning to context. We articulate a detailed methodology for designing grammatical and conceptua

Axiomatization of Logics Based on Kripke Models with Relative Accessibility Relations

International audienceThis paper presents a systematic study of the logics based on Kripke models with relative accessibility relations as well as a general method for proving their completeness. The Kripke models with relative accessibility relations come out in the context of the analysis of indiscernability in the information systems

Putting Rough Sets and Fuzzy Sets Together

This paper draws from and continues a previous article by the authors, entitled “Rough fuzzy sets and fuzzy rough sets”, that appeared in the Int.J.of General Systems in 1990International audienceIn this paper we argue that fuzzy sets and rough sets aim to different purposes and that it is more natural to try to combine the two models of uncertainty (vagueness for fuzzy sets and coarseness for rough sets) in order to get a more accurate account of imperfect information. First, the upper and lower approximations of a fuzzy set are defined, when the universe of discourse of a fuzzy sets is coarsened by means of an equivalence relation. We then come close to Caianiello’s C-calculus. Shafer’s concept of coarsened belief functions also belongs to the same line of thought and is reviewed here. Another idea is to turn the equivalence relation relation into a fuzzy similarity relation, for a more expressive modeling of coarseness. New results on the representation of similarity relations by means of a fuzzy partition of fuzzy clusters of more or less indiscernible points are surveyed. The properties of upper and lower approximations of fuzzy sets by similarity relations are thoroughly studied. Lastly the potential usefulness of the fuzzy rough set notions for logical inference in the presence of both fuzzy predicates and graded indiscernibility is indicated. Especially fuzzy rough sets may provide a nice semantic background for modal logic involving fuzzy modalities and/or fuzzy sentences