Coherence, Similarity, and Concept Generalisation

We address the problem of analysing the joint coherence of a number of concepts with respect to a background ontology. To address this problem, we explore the applicability of Paul Thagard’s computational theory of coherence, in combination with semantic similarity between concepts based on a generalisation operator. In particular, given the input concepts, our approach computes maximally coherent subsets of these concepts following Thagard’s partitioning approach, whilst returning a number of possible generalisations of these concepts as justification of why these concepts cohere.

[1]  Dekang Lin,et al.  An Information-Theoretic Definition of Similarity , 1998, ICML.

[2]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[3]  Carole A. Goble,et al.  Semantic Similarity Measures as Tools for Exploring the Gene Ontology , 2002, Pacific Symposium on Biocomputing.

[4]  Rafael Peñaloza Nyssen Axiom-Pinpointing in Description Logics and Beyond , 2009 .

[5]  Philip Resnik,et al.  Using Information Content to Evaluate Semantic Similarity in a Taxonomy , 1995, IJCAI.

[6]  Carles Sierra,et al.  Deductive coherence and norm adoption , 2010, Log. J. IGPL.

[7]  Santiago Ontañón,et al.  Similarity measures over refinement graphs , 2012, Machine Learning.

[8]  Ralf Küsters,et al.  Nonstandard Inferences in Description Logics: The Story So Far , 2006 .

[9]  F. Baader Non-Standard Inferences in Description Logics : The Story So Far , 2005 .

[10]  Marco Schorlemmer,et al.  Coherent concept invention , 2016, C3GI@ESSLLI.

[11]  Mark A. Musen,et al.  Comparison of Ontology-based Semantic-Similarity Measures , 2008, AMIA.

[12]  P. Robert Duimering,et al.  Conceptual combination: Models, theories, and controversies , 2009 .

[13]  P. Thagard,et al.  Coherence in Thought and Action , 2000 .

[14]  Rafael Peñaloza,et al.  Upward refinement operators for conceptual blending in the description logic 𝓔𝓛++$\mathcal {E}\mathcal {L}^{++}$ , 2018, Annals of Mathematics and Artificial Intelligence.

[15]  P. Thagard Coherent and Creative Conceptual Combinations. , 1997 .

[16]  P. Thagard,et al.  FORMING IMPRESSIONS FROM STEREOTYPES, TRAITS, AND BEHAVIORS : A PARALLEL-CONSTRAINT-SATISFACTION THEORY , 1996 .

[17]  Rafael Peñaloza,et al.  Axiom pinpointing in description logics and beyond , 2009 .