16 research outputs found
Hierarchical conceptual spaces for concept combination
AbstractWe introduce a hierarchical framework for conjunctive concept combination based on conceptual spaces and random set theory. The model has the flexibility to account for composition of concepts at various levels of complexity. We show that the conjunctive model includes linear combination as a special case, and that the more general model can account for non-compositional behaviours such as overextension, non-commutativity, preservation of necessity and impossibility of attributes and to some extent, attribute loss or emergence. We investigate two further aspects of human concept use, the conjunction fallacy and the âguppy effectâ
A Description Logic of Typicality for Conceptual Combination
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 combination. We show that the
complexity of reasoning in our logic is EXPTIME-complete as in ALC
Measuring Relations Between Concepts In Conceptual Spaces
The highly influential framework of conceptual spaces provides a geometric
way of representing knowledge. Instances are represented by points in a
high-dimensional space and concepts are represented by regions in this space.
Our recent mathematical formalization of this framework is capable of
representing correlations between different domains in a geometric way. In this
paper, we extend our formalization by providing quantitative mathematical
definitions for the notions of concept size, subsethood, implication,
similarity, and betweenness. This considerably increases the representational
power of our formalization by introducing measurable ways of describing
relations between concepts.Comment: Accepted at SGAI 2017 (http://www.bcs-sgai.org/ai2017/). The final
publication is available at Springer via
https://doi.org/10.1007/978-3-319-71078-5_7. arXiv admin note: substantial
text overlap with arXiv:1707.05165, arXiv:1706.0636
What are natural concepts? A design perspective
Conceptual spaces have become an increasingly popular modeling tool in cognitive psychology. The core idea of the conceptual spaces approach is that concepts can be represented as regions in similarity spaces. While it is generally acknowledged that not every region in such a space represents a natural concept, it is still an open question what distinguishes those regions that represent natural concepts from those that do not. The central claim of this paper is that natural concepts are represented by the cells of an optimally designed similarity space
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics
We propose a nonmonotonic Description Logic of typicality able to account for
the phenomenon of concept 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 whose intuitive meaning is that "there is
probability p about the fact that typical Cs are Ds". As in the distributed
semantics, we define different scenarios containing only some typicality
inclusions, each one having a suitable probability. We then focus on those
scenarios whose probabilities belong to a given and fixed range, and we exploit
such scenarios in order to ascribe typical properties to a concept C obtained
as the combination of two prototypical concepts. We also show that reasoning in
the proposed Description Logic is EXPTIME-complete as for the underlying ALC.Comment: 39 pages, 3 figure
A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces
We define a symmetric monoidal category modelling fuzzy concepts and fuzzy
conceptual reasoning within G\"ardenfors' framework of conceptual (convex)
spaces. We propose log-concave functions as models of fuzzy concepts, showing
that these are the most general choice satisfying a criterion due to
G\"ardenfors and which are well-behaved compositionally. We then generalise
these to define the category of log-concave probabilistic channels between
convex spaces, which allows one to model fuzzy reasoning with noisy inputs, and
provides a novel example of a Markov category.Comment: In Proceedings ACT 2021, arXiv:2211.0110
Formalized Conceptual Spaces with a Geometric Representation of Correlations
The highly influential framework of conceptual spaces provides a geometric
way of representing knowledge. Instances are represented by points in a
similarity space and concepts are represented by convex regions in this space.
After pointing out a problem with the convexity requirement, we propose a
formalization of conceptual spaces based on fuzzy star-shaped sets. Our
formalization uses a parametric definition of concepts and extends the original
framework by adding means to represent correlations between different domains
in a geometric way. Moreover, we define various operations for our
formalization, both for creating new concepts from old ones and for measuring
relations between concepts. We present an illustrative toy-example and sketch a
research project on concept formation that is based on both our formalization
and its implementation.Comment: Published in the edited volume "Conceptual Spaces: Elaborations and
Applications". arXiv admin note: text overlap with arXiv:1706.06366,
arXiv:1707.02292, arXiv:1707.0516