You are here


Primary tabs

  1. Paolo Bouquet,
    A Mechanized Multi-Context Solution to McCarthy's GLM Problem,
    In this paper I present a context-based mechanization in GETFOL of the Glasgow-London-Moscow (GLM) problem, an instance of a more general problem called the qualification problem ([McC80]). The mechanization is based on a formalization of the GLM problem using multi-context systems (MC-systems) that is aimed to overcome some epistemological limitations of a previous formalization using circumscription. Though this approach solves many difficulties from a representational point of view, its mechanization raises some theoretical and practical problems that are not faced in the formalization. Since these problems don't depend on the particular example, their solution can be extended to context-based mechanizations of a broad class of problems,
  2. Paolo Bouquet; Fausto Giunchiglia,
    Reasoning about Theory Adequacy. A New Solution to the Qualification Problem,
    One of the main problems in commonsense reasoning is the qualification problem, ie. the fact that the number of qualifications for most general commonsense statements is virtually infinite. In this paper we argue that a solution to this problem should be based on a (meta) conjecture that the theory used to reason about the world contains all the necessary information. We also show that this theory adequacy conjecture can be made before the application of any of the formalisms proposed in the past, eg. circumscription. Finally, we present a formalization of the solution proposed using contexts and circumscription and use it to solve McCarthy's Glasgow-London-Moscow example,
  3. Bianca Angelini; Roberto Gretter,
    APASCI 1.0: acquisizione,
    Questo lavoro descrive le acquisizioni della base dati alla quale è stato dato il nome di APASCI [Ric92], un acronimo per Acoustic Phonetic And Spontaneous speech Corpus of IRST. APASCI comprende sia materiale vocale che possa garantire una copertura adeguata dei fenomeni acustici della lingua italiana, sia materiale spontaneo ottenuto durante simulazioni [FG91, CFGLar] in cui i soggetti credono di interagire con una macchina,
  4. F. Ciravegna,
    Estrazione di informazioni da testi: stato dell`arte e prospettive,
  5. Ornella Mich,
    Viewpoint Dependence in Face Recognition,
    This paper analyzes the problem of face recognition as a cognitive process. Specifically, it studies the influence of the angle from which the face to recognize is observed. Following the examination of studies that considered this problem in the past, two psychophysical experiments are presented that seek to further clarify the problem. It is shown that the subject gives different responses according to target viewpoint, with the surest and most rapid recognition coming from observation of the right-hand side of the face.,
  6. F. Panaget,
    The Micro-Planning Component of a Generation System,
  7. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
    A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case),
    In this paper we propose a framework, called OM pairs, for the formalization of reasoning with meta theories. OM pairs allow us to generate deductively the object theory and/or the meta theory by imposing via appropriate reflection rules, the relation we want to hold between the object and meta theory themselves. We study OM pairs from three different points of view: we compare the stength of the object and meta theories generated by different OM pairs. For each OM pair we study the precise form of the object theory and meta theory. For each OM pair we study the relation between the models of the meta theory and the object theory,
  8. Bianca Angelini; Fabio Brugnara; D. Falavigna; Diego Giuliani; Roberto Gretter; Maurizio Omologo,
    Speaker Independent Continuous Speech Recognition using an Acoustic-Phonetic Italian Corpus,
  9. Diego Giuliani; Maurizio Omologo; Piergiorgio Svaizer,
    Talker Localization and Speech Recognition Using a Microphone Array and a Cross-PowerSpectrum Phase Analysis,
  10. A. Artale; E. Franconi,
    Time, Actions and Plans Representation in a Description Logic,
    A formal language for representing and reasoning about time, actions and plans in a uniform way is presented. We employ an action representation in the style of Allen, where an action is represented by describing what is true while the action is occurring. In this sense, an action is defined by means of temporal constraints on the world states, which pertain to the action itself, and on other more elementary actions occurring over time. A distinction between action types and individual actions is supported by the formalism. Plans are seen as complex actions whose properties possibly change with time. Therefore, the distinction between actions and plans disappears in this framework. The formal representation language used in this paper is a member of the family of description logics, and it is provided with a well founded syntax, semantics and calculus. The classification and recognition tasks, together with the basic subsumption procedure, form the basis for action management. An action description can be automatically classified into a taxonomy; an action instance can be recognized to take place at a certain moment from the observation of what is happening in the world during a time interval,