You might want to take a look at the work about conceptual spaces by Peter Gärdenfors, e.g. https://www.amazon.com/Conceptual-Spaces-Geometry-Thought-Press/dp/0262572192
Also, the work about semantic pointers might be interesting here: https://www.ncbi.nlm.nih.gov/pubmed/26235459
My opinion with regard to this is, that using set theory to represent concepts is a fruitful approach, but there needs to be a precise definition of the "space" we are talking about as well as if and how it is possible to define some metric on this space or a higher structure, e.g. if it is a vector space. This metric must not only take into account set overlaps but also principal phenomena corresponding to what we know about neurobiology, e.g. classical/operant conditioning etc.
Let's try to build this up systematically (Note, that I do not use a fuzzy set definition here but it might provide some more flexibility and thanks for putting me on that track ;)): We could define the set of all neurons
N = {n_1,n_2,...,n_m}
and the set of all possible states of a neuron (avoiding, for now, a precise definition of what a state is. For example, a state could be a frequency or some pattern of action potentials, e.g. rate/temporal/population code or just a discrete value of the membrane potential)
S={s_1,s_2,...,s_l}
The Cartesian product set N x S
will give us the set of all neurons in all possible states C_0
:
C_0={n_1(s_1),n_1(s_2),n_2(s_1),n_2(s_2),...,n_m(s_l)}
Then let's define a concept space as a mapping f1
from C_0
to a new set C_1
C_1={{n_1(s_1),n_3(s_3),n_4(s_1),n_5(s_8)},{n_1(s_1),n_2(s_3),n_5(s_9)},...}={c1_1,c1_2,...,c1_x}
For example, an element (c1_x
) of C_1
could be a visual representation of a house or some sound or smell or just a point or a line. This is what Thagard & Steward (2014) defined as a semantic pointer and it shares some similarity with Tononi's (e.g. 2016) approach of a qualia space (although approached from a different (set theoretic) angle since Tononi uses information theory). This also is similar to Gardenförs' concept of a conceptual space, although he did not make his definitions mathematically precise. Because strictly, C_1
still has no structure, i.e. is not a vector space or more generally a metric space. There still has to be defined some distance function, which is not easy to be found.
Now, it is possible to generate more and more sets representing more and more complex concepts by consecutive mappings f1 to fn
. That is we can generate a new set C_2
consisting of elements of C_1
:
C_2={{c1_1,c1_3,c1_5,c1_9},{c1_7,c1_1,c1_8},...}={c2_1,c2_2,...,c2_x}
Imagine the element c2_1
consisting of four lines with coordinates of length l1 to l4
each of them in a specific angle a1 to a4
such that they create a square. Or take c2_2
as three lines with length l1 to l3
and angles a1 to a3
such that they create a triangle.
This process can be repeated to generate more and more abstract concepts. I think it is easy to understand it when considering how letters are combined to words and words form sentences and sentences form even more abstract meanings.
There are now many questions that arise, e.g. are the mappings injective, surjective or bijective? Do inverse mappings exist? What is a suitable metric that is in accord with neurobiological and experimental data? Can a higher structure e.g. vector space be defined?
Finally, I can try to answer your questions:
Based on the above definition one can assume that more general concept e.g. a cube is formed by a set of lines, i.e. a set of semantic pointers forms another set of semantic pointers. For example, a complex movement with the hand was initially learned by combining different simple movements. Or take learning to speak a word for example.
Also based on the definition above, there must not be an overlap between sets at all! Take two very different semantic pointers for example, like barking and the visual representation of a dog. Whereas one set of semantic pointers might represent the sound, the other may represent the visual aspect, but they might not share the same neurons. But all of them together create a concept of a dog. So here again, the definition of similarity seems to be not just a simple set overlap metric (e.g. Szymkiewicz-Simpson coefficient or Jaccard index).
This depends on the definition of important. If you define important as activated more often together, then one could just assume a simple (e.g. Hebbian or STDP) learning rule which strengthens the connection between neurons. But I doubt that more neurons will be included in the concept except when the concept is updated/broadened by new experiences.
Hope this helps a bit! I'm trying to build a more general understanding of conceptual spaced based on set theory for a while and I always welcome discussions, critique or collaborations :).
Sources:
-Thagard, Paul, and Terrence C. Stewart. "Two theories of consciousness: Semantic pointer competition vs. information integration." Consciousness and Cognition 30 (2014): 73-90.
-Tononi, Giulio. "Consciousness as integrated information: a provisional manifesto." The Biological Bulletin (2016).