Abstract
Inspired by Professor Wang, Peizhuang’s Factor Space Theory (FST), we propose a new scheme, called GO Mapping Theory, or GMT in short, to formalize the concept formation knowledge representation of AI. This scheme can be viewed as an extension of Willie’s Formal Concept Analysis (FCA), PZ Wang’s Factor Space Theory, and it naturally includes Gouguen’s L-Fuzzy Sets therefore it sounds a unified soft computing scheme. Potentially, GMT can be used for human-like knowledge representation and computation by modern computers. By deploying Grothendieck’s topos theory (this is the origin for the name GO mapping), we developed a unified mathematical language understandable by robots which can represent human language: concepts and logic, which also unified the current learning techniques at a more abstract level, therefore can be used as a basis for AGI or Super AI.
By restating FST under category language, one can have a much more general setup for classical reductionist’s view about multiple sensory system, we call it a cognitive frame. Then under the assumption of uncertainty of any measurement, we can naturally, in fact ontologically, obtain an L-fuzzy set by FST, then we can construct from this L-fuzzy set a L-presheaf by standard procedure, we call it the GO mapping, which by Barr’s Embedding Theorem, can be viewed as the natural replacement for classical fuzzy sets. In fact, in topos theory, FST and GMT pairs a geometric morphism in Grothendieck’s topos theory, which shows the amazing power of pure math in real life applications.
You have full access to this open access chapter, Download conference paper PDF
1 Factor Space Theory (FST)
Introduced by Prof Wang, PZ around 80’s, [7], we have
Definition 1.1
Let U be a set, called the universe, \(f:U\rightarrow V_f\) is a map, we call f a factor for U. If \(\{f:U\rightarrow V_f\}\) is a set of factors, we call \(SS=\prod V_f\) the state space and \(F:U\rightarrow SS\) the factor space.
The basic idea is this: when we want to know U, or an object in U, we try to use several “detectors”, or “sensors/measurements/instruments”, to gauge/measure U, we call these detectors “the factors” (by Wang). This is in fact the reductionist/instrumentalists idea.
Afterwards, we try to analyze the result in the state space to see, to find out where these values falling. And from there, one can do logic operations and draw conclusions and extract information about U.
In this paper, we will assume all sets are topological spaces and we would like to modify the Definition 1.1 slightly as follows:
Before giving the definition, let’s recall some terminologies from category theory.
Definition 1.2
A diagram \(\mathcal {D}\) in a category is a collection of objects as vertices and some morphisms among these objects as edges.
A cone X is for a diagram \(\mathcal {D}\) in is a collection of arrows \(f_i:X\rightarrow D_i\) such that for any \(g:D_i\rightarrow D_j\) in the diagram \(\mathcal {D}\), following diagram
commutes. Cone is usually denoted by \(\{f_i:X\rightarrow D_i\}=Cone\). Reference [5] for details.
This way, we can rewrite the factor space theory as follows.
From cognitive point of view, we can identify a cone as the most general format of factor space theory. Or we can view a cone as a cognitive frame for object X. \(\mathcal {D}\) can be viewed the collection of instruments.
Let’s remind what is the limit for a diagram. In a short sentence, the limit is a universal object satisfying
-
1.
It is a cone for \(\mathcal {D}\), denoted by \(\lim \mathcal {D}\)
-
2.
It is a “minimum” cone among all cones over \(\mathcal {D}\)
which means for any cone K over \(\mathcal {D}\), \(\exists !\) arrow \(F:K\rightarrow \lim \mathcal {D}\) such that
commutes.
After these preparation, we can give a more elegant definition for Factor Space Theory.
Definition 1.3
Let \(\mathbf {Top}\) be the category with topological spaces as objects and continuous maps as arrows. Then any diagram in \(\mathbf {Top}\) has the limit. We call any cone \(\{f:U\rightarrow V_f\}\) in \(\mathbf {Top}\) the cognitive frame for the universe U
We call \(\lim V=\lim \{V_f\}\) the state space and the unique map \(F:U\rightarrow \lim V\) the cognitive map.
2 Formal Concept Analysis (FCA)
In 80’s, Wille developed a concept called Formal Concept Analysis, FCA in short. FCA has gained great applications in computer science.
In FCA, \(\forall U,V\in \mathbf {Sets}\), \(F\subset U\times V\), the triple (U, F, V) is called a formal context, if \(A\subset U, B\subset V\) satisfy
We call A and B are Galois connected and (A, F, B) a formal concept.
This theory in some sense encodes the classic concept in classic logic for computer science. It is easily identified that set A is the extension for a concept, and B is the intension for this concept. Obviously, FCA (A, F, B) has best captured the classical usage of concepts for bots, if human mind can be determined by Boolean logic. In the work of [4], we prove that under Definition 1.3, we have
Theorem 2.1
Hence, from Sect. 1, we know that one cognitive from theory (CFT) is the most general set operation:
3 Gouguen’s L-Fuzzy Sets and Barr’s Embedding
Let H be a Heytin algebra. Then Gouguen introduced a category of H-fuzzy sets by define:
-
\( \mathrm {Obj}(\mathrm {Fuz}(H))=\{ x:X \rightarrow H , X \in \mathbf {Sets}\} \)
-
Arrows \(f:(X,x) \rightarrow (Y ,\eta ) \Leftrightarrow f:X \rightarrow Y\) in \(\mathbf {Sets}\) and \(x \le \eta \circ f: X \rightarrow H \)
Unfortunately, \(\mathrm {Fuz}(H)\) is not a topos except H is a Boolean algebra. The great advantage for working math, AI, mind computing is that Topos behaves almost like \(\mathbf {Sets}\), except the law of excluding the middle (LEM).
In real life logic, LEM probably the most wrong law human follows, hence it is born for abandoning.
However, to proceed the basic logic deduction, subsets, power sets, products, limit, colimit and all basic ingredients. Topos provide all these needed goodies.
1980s Michael Barr [1] and Pitts [6] both showed that the Gouguen category is not a topos, but can be embedded in some way into a topos. Here we will give a short description on Barr’s construction.
\( \forall \alpha \in H \), we can define a “level” set \(X_{\alpha } = \{ y \in X: x(y) \ge \alpha \}\), then we call the collection \( \mathcal {T}(X) = \tilde{X} = \{ X_{\alpha }: \alpha \in H \}\) the tow of X. One can prove that \( \mathcal {T}: \mathrm {Fuz}(H) \rightarrow \mathrm {Tow}(H) \) is an isomorphism of categories. Each element in fact looks like \( G:H \rightarrow \mathbf {Sets}\) satisfying the axioms for presheaf, i.e. G is a contravariant functor from partial order set considered as a category to the category set.
The Barr proved by providing an initial element z to H, one can “embed” the cat \(\mathrm {Tow}(H)\) into a topos \(\mathrm {Sh}(H^{+})\), where \(H^{+}=H \cup \{z\}, \quad z < a \quad \forall a \in H \) and \(\mathrm {Sh}(H^{+}) \) is the category of \(H^{+}\)-sheaves.
This is a very significant result. Because one can translate every “fuzzy” math problem into a problem about sheaf/presheaf then using the powerful tool sets since Grothendieck developed algebraic geometry.
This is analogue to embedding the rationals to reals!
From Barr and Pitts, we in fact showed how to consider every presheaf
to be some sort of “fuzzy sets” or “fuzzy concepts”.
Using presheaves directly instead of the Zadeh/Gouguen fuzzy sets will provide powerful tools for soft computing & AI, from our perspective.
4 The GO Mapping Theory (GMT)
In general in a real world, any measurement can be viewed as a function
Normally, V is a finitely dimensional vector space equipped with a positive metric C, most possibly a metric/a topology induced by an \(L^{P}\)-norm, \(p=1,2,\infty \) would be the most popular ones. Then people will define/conceptualize a thing based on the values of the measurement. This is established since Aristotle’s era and in 1980’s formalised by FST, FCA and Feng’s Property Mapping Theory (PMT).
Here we will develop a new scheme which can include all the theories above as a special case and naturally incorporate the intrinsic fuzziness of measurements and human mind computation.
Let’s go back to the example above.
In reality, no measurement is precise (in face we do not have a god given correct precise value for any), hence in most cases what we know is that \(\forall u \in U\), f(u) is some neighborhood of a center value \(x \in V\), i.e. \( f(u) \in B(x)\) This way, one is more interested in \(f^{-1}(B) \subset U\). For some open set B. Hence f induces a map
by “defining”
where is the collection of open sets of V. From [2, 3], we know that any \(f:U\rightarrow V\) induces a geometric morphism
-
the direct image \(f_*: PSh(U) \rightarrow PSh(V)\)
-
the inverse image \(f^* : PSh(V) \rightarrow PSh(U)\)
where PSh stands for the topos of presheaves.
This way, we can construct the GO mapping for a cognitive frame as follows: Let \(F : U \rightarrow V=\lim V_{f}\) be the factor mapping. \(\forall s \in PSh(U)\), We will call
a GO mapping by “Fuzzy” set s. In fact, . Sometime we also call the functor \(F^*\) the GO mapping, denote it by G.
References
Barr, M.: Fuzzy set theory and topos theory. Canad. Math. Bull 29(4), 501–508 (1986)
Johnstone, P.T.: Topos Theory. Courier Corporation (2014)
Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 1 and 2. Oxford University Press, New York (2002)
Ouyang, H.: A unified theory for theories. In: A Presentation at Dalian International Conference on Oriental Thinking and Fuzzy Logic, August 2015
Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)
Pitts, A.M.: Fuzzy sets do not form a Topos. Fuzzy Sets Syst. 8(1), 101–104 (1982)
Wang, P.-Z., et al.: Factor space, the theoretical base of data science. Ann. Data Sci. 1(2), 233–251 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 IFIP International Federation for Information Processing
About this paper
Cite this paper
Ouyang, H. (2017). Go Mapping Theory and Factor Space Theory Part I: An Outline. In: Shi, Z., Goertzel, B., Feng, J. (eds) Intelligence Science I. ICIS 2017. IFIP Advances in Information and Communication Technology, vol 510. Springer, Cham. https://doi.org/10.1007/978-3-319-68121-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-68121-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68120-7
Online ISBN: 978-3-319-68121-4
eBook Packages: Computer ScienceComputer Science (R0)