Workshop "Aspects of mechanizing inference: context and problems" 1995, Naples.

Sumari

  • How to make your logic fuzzy (prelimirnary version) 

    Gabbay, Dov M. (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    The aim of this paper is to provide a methodology for turning a known crisp logic into a fuzzy system. We require of the methodology that it be meaningful in general terms, using processes which are independent of the ...
  • Concept representations and nonmonotic inferences 

    Gärdenfors, Peter (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
  • Default logic as a formalism for understanding commonsense reasoning 

    Amati, Gianni; Carlucci Aiello, Luigia; Pirri, Fiora (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    Commonsense reasoning is the reasoning of agents interacting with the real world. Non monotonic reasoning is a well developed research area gathering the logical formalisms that treat commonsense reasoning. One of the best ...
  • Contexts, locality and generality 

    Bouquet, Paolo; Giunchiglia, Enrico; Giunchiglia, Fausto (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    It has been recognized that AI programs suffer from a lack of generality, the first gross symptom being that a small variation to the problem being solved usually causes a major revision of the theory describing it. The ...
  • A metatheoretical characterization of negation as finite failure 

    Criscuolo, Giovanni (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
  • Information frames, implication systems and modalities 

    D'Agostino, Marcello; Gabbay, Dov M.; Russo, Alessandra (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    We investigate the logical systems which result from introducing the modalities □ and ◊ into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to ...
  • Fuzzy quantum logics 

    Dalla Chiara, Maria Luisa; Giuntini, Roberto (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    Lukasiewicz quantum logic (LQL) is a particular example of a fuzzy quantum logic. LQL is semantically characterized by the class of all quantum MV algebras. The standard quantum MV algebra is based on the set of all effects ...
  • On the viability of an algebraic approach to non-monotonic reasoning 

    Termini, Settimo (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
  • Modus ponens on Boolean algebras revisited 

    Trillas i Gay, Enric; Cubillo Villanueva, Susana (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    In a Boolean Algebra B, an inequality f(x,x -> y))<=y satisfying the condition f(1,1)=1, is considered for defining operations a->b among the elements of B. These operations are called ``Conditionals'' for f. In this paper, ...
  • Local Boolean manifolds from knowledge representation systems 

    Cattaneo, Gianpiero (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    We introduce a structure to represent "observations" on entities in order to obtain "knowledge" about some of their characteristic properties or attributes. This structure is based on the Pawlak's definition of "information ...
  • Qualitative reasoning in Bayesian networks 

    Garbolino, Paolo (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    Some probabilistic inference rules which can be compared with the inference rules of preferential logic are given and it will be shown how they work in graphical models, allowing qualitative plausible reasoning in Bayesian ...
  • (Pure) logic out of probability 

    Sales Porta, Ton (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    Today, Logic and Probability are mostly seen as independent fields with a separate history and set of foundations. Against this dominating perception, only a very few people (Laplace, Boole, Peirce) have suspected there ...
  • Didactical note: probabilistic conditionality in a Boolean algebra 

    Trillas i Gay, Enric; Alsina Català, Claudi; Termini, Settimo (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    This note deals with two logical topics and concerns Boolean Algebras from an elementary point of view. First we consider the class of operations on a Boolean Algebra that can be used for modelling ``If-then" propositions. ...
  • Coherence principles for handling qualitative and quantitative partial probabilistic assessments 

    Coletti, Giulianella (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    In this paper we present an overview of mathematical models for handling partial entailments and their extensions in a probabilistic frame.
  • Robust inference in probability under vague information 

    Regoli, Giuliana (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    Vague information can be represented as comparison of previsions or comparison of probabilities, and a robust analysis can be done, in order to make inference about some quantity of interest and to measure the imprecision ...
  • Subjective conditional probability and coherence principles for handling partial information 

    Scozzafava, Romano (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
  • Generalized version of the compatibility theorem: two examples 

    Bertoluzza, Carlo; Bodini, Antonella (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    In a previous work ([3]) we proved that the Nguyen's condition for $[f(\w A)]_\alpha$ to be equal to $~f(A_\alpha)~$ also holds for the most general class of the $L$-fuzzy subsets, where $~L~$ is an arbitrary lattice. Here ...
  • General theory of the fuzzy integral 

    Benvenuti, Pietro; Vivona, Doretta (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    By means of two general operations $\oplus$ and $\otimes$, called ``pan-operations'', we build a new kind of integral. This formulation contains, as particular cases, both Choquet's and Sugeno's integrals.
  • Mathematical aspects of the theory of measures of fuzziness 

    Vivona, Doretta (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    After recalling the axiomatic concept of fuzziness measure, we define some fuzziness measures through Sugeno’s and Choquet’s integral. In particular, for the so-called “homogeneous” fuzziness measures we prove two ...
  • A pragmatic uncertainty measure based on rate-distorion theory and the uncertainty of BOE's 

    Fioretto, Anna; Sgarro, Andrea (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    We discuss pragmatic information measures (hypergraph entropy and fractional entropy) inspired by source-coding theory (rate-distortion theory). We re-phrase the problem in the language of evidence theory, by expressing ...
  • Reasons: belief support and goal dynamics 

    Castelfranchi, Cristiano (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    The paper is devoted to the structural relations between beliefs and goals. I discuss its importance in modeling cognitive agents; its origin in cognitive processing; its structure (belief structure relative to a goal); ...
  • Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics 

    Frixione, Marcello (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    This paper deals with the possible contributions that logical researches carried on in the field of artificial intelligence (AI) could give to formal theories of meaning developed by logically oriented philosophers of ...
  • Neural methodologies in rule-based expert systems 

    Burattini, E.; Tamburrini, G. (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
  • Integrating inference and neural classification in a hybrid system for recognition tasks 

    Gregorio, Massimo de (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    While the coupling of artificial of neural networks (ANN) and symbolic AI (SAI) is a strategy adopted in many hybrid systems, a real integration of the two methodologies has not been thoroughly investigated yet: so far, ...
  • The role of heuristics in automated theorem proving J.A Robinson's resolution principle 

    Coderschi, Roberto (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
    The aim of this paper is to show how J.A. Robinson's resolution principle was perceived and discussed in the AI community between the mid sixties and the first seventies. During this time the so called ``heuristic search ...
  • The process of induction as a non-classical logic's double negation: evidence from classical scientific theories 

    Drago, Antonino (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert
  • Editorial [Workshop "Aspects of Mechanizing inference: context and problems", Naples 1995: revised versions papers ] 

    Termini, Settimo; Trillas i Gay, Enric (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
    Article
    Accés obert