6 found
Order:
  1. A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  2. A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  91
    A Non Monotonic Reasoning Framework for Goal-Oriented Knowledge Adaptation.Antonio Lieto, Federico Perrone, Gian Luca Pozzato & Eleonora Chiodino - 2019 - In Paglieri (ed.), Proceedings of AISC 2019. Rome: Università degli Studi di Roma Tre. pp. 12-14.
    In this paper we present a framework for the dynamic and automatic generation of novel knowledge obtained through a process of commonsense reasoning based on typicality-based concept combination. We exploit a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts in order to generate new prototypical concepts and deal with problem like the PET FISH (Osherson and Smith, 1981; Lieto & Pozzato, 2019). Intuitively, in the context of our application of this logic, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  87
    Composing Prototypes - AISC 18.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of AISC 2018, 15th Annual Conference of the Italian Association for Cognitive Sciences The new era of Artificial Intelligence: a cognitive perspective. 27100 Pavia, Province of Pavia, Italy: pp. 8-10.
    Combining typical knowledge to generate novel concepts is an important creative trait of human cognition. Dealing with such ability requires, from an AI perspective, the harmonization of two conflicting requirements that are hardly accommodated in symbolic systems: the need of a syntactic compositionality (typical of logical systems) and that one concerning the exhibition of typicality effects (see Frixione and Lieto, 2012). In this work we provide a logical framework able to account for this type of human-like concept combination. We propose (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  42
    Theorem Proving for Conditional Logics: CondLean and GOALD U CK.Nicola Olivetti & Gian Luca Pozzato - 2008 - Journal of Applied Non-Classical Logics 18 (4):427-473.
    In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous manner. CondLean also comprises a graphical interface written in Java. Furthermore, we introduce a goal-directed proof search mechanism, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  23
    Automated Reasoning for Conditional Logics: The Theorem Prover Condlean 3.1.Nicola Olivetti & Gian Luca Pozzato - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic.