Throughout human history, collaborative intelligence has been present in various forms such as families, corporations, nations, militarise, and other groups. The Google search engine exemplifies the emergence of collaborative intelligence. The Page-Rank algorithm analyzes a large volume of web links generated by millions of users to determine the popularity and usefulness of web pages. Wikipedia represents a novel system of collaborative intelligence. Thousands of volunteers from around the world have been recruited to collaboratively create an extensive and very high-quality intellectual product with minimal centralized oversight. is an expression of intelligence that arises from the various scattered intelligences present in the environment.
The consensus among researchers is that collaborative intelligence emerges from the collective actions of individuals; however, it can also emerge from integrating many forms of distributed intelligence. Furthermore, while considering collaborative intelligence, it is crucial to note that many definitions unintentionally overlook a fundamental aspect—the definition of intelligence itself—while emphasizing the collaborative element. It is important to emphasize that a comprehensive comprehension of intelligence in its various aspects and manifestations is crucial for establishing collaborative intelligence. Hence, this aspect should not be disregarded or neglected. In order to establish a comprehensive framework for collaborative intelligence, it is essential to conduct a thorough analysis of the constituent aspects of intelligence, carefully evaluating its complex dimensions and unique characteristics. A thorough comprehension of the combined benefits that emerge from the collaboration of various forms of intelligence can be achieved by clearly defining the idea of intelligence.
The oversight of defining intelligence within collaborative intelligence definitions not only leaves a critical gap in understanding but also limits the scope and applicability of the concept. Without a comprehensive grasp of intelligence, the essence of collaboration remains elusive, preventing a holistic exploration of how multiple intelligences combine to achieve superior outcomes. In essence, collaborative intelligence can only be fully understood or harnessed by first addressing its foundation’s underlying intelligence.
Therefore, when we begin our exploration of collaborative intelligence, it is crucial to fill this significant void by crafting a thorough, accurate, and complex definition of intelligence. The first phase is vital as it establishes a solid basis for a comprehensive investigation of collaborative intelligence, thus unleashing its immense potential in several fields. At the beginning of this paper, we have already presented a thorough definition of intelligence and its forms.
7.3. Overlapped Intended Intelligence Concept
In the context of a static and centralized information system, the semantics and interpretation of the system are implicitly embedded within the software component. In the context of dynamic distributed/decentralized information system environments, it is not practicable to establish a universally accepted ontology before developing each individual system. Therefore, the semantics of each system within a particular business domain can be understood as an ontological view of the same conceptualization.
At the start of the
framework development procedure, we examine the properties of partially overlapping (shared) intended intelligence and the correlation between intended intelligence and ontological view. While the intended intelligences will be derived from ontological view, they are compatible with the conceptualization model’s intended models. The intersection of many ontological views should involve overlap between the intended intelligences. Before to delving into the exploration of any overlapping view model, it is imperative to clarify the properties that emerge from the assumption of overlapped intelligence, as depicted in
Figure 6.
Figure 7 illustrates that the designated intelligence vocabulary
consists of both constant and predicate symbols.
According to the definition provided in Section 7.2.7, the symbol denotes the initial ontological view of the vocabulary. The present theorem can be deduced about the correlation between and utilizing the underlying premise of intentional overlapped intelligence.
[Theorem 7.3.1] Given a first ontological view =<, > with a set of intended intelligences of according to first ontological commitment , if language has vocabulary , ontological commitment maps the Data (first form of intelligence) to vocabulary where ⊆ , and the view ontological commitment maps the Data to vocabulary , where ⊆, then.
Based on the premise of a shared assumption regarding intended intelligence, it can be inferred that intended intelligence is encompassed within the context of the first ontological view.
As shown in the equation 8, the overlapped intended intelligence vocabulary is composed of constant symbols and predicate symbols. As stated in the equation 5, the first ontological view, the vocabulary , consists of shared constants and predicate symbols.
Definitions 7.2.3 and 7.2.5 lead us to the conclusion that for each constant c of
,
, but not vice versa because the set of intended intelligences
of L according to
is consistent with
according to Definition 7.2.6. In other words,
is a subset of
:
In addition, there is a
such that, for any overlapped predicate symbol
of
,
maps such a predicate into an admissible extension of
, ie, there exists a conceptual relation
such that
=
=
=
, although this is not always true for the other direction. Therefore,
is contained within
Because
is a subset of
and
is a subset of
, then
is a subset of
:
Because
is a subset of
and
is a subset of
, then
is a subset of
:
Therefore, it is reasonable to conclude that
is a subset of
:
[Theorem 7.3.2] Given a second of intended intelligence of according to second ontological commitment and a second ontological view , if language L has vocabulary , ontological commitment maps the data to vocabulary , where , and the view ontological commitment maps the data () to vocabulary , where , then .
Definitions 7.2.3 and 7.2.5 lead us to the conclusion that for each constant c of
,
, but not vice versa because the set of intended intelligences
of
according to
is consistent with
according to Definition 7.2.6. In other words,
is a subset of
:
In addition, there is a
such that, for any overlapped predicate symbol
of
,
maps such a predicate into an admissible extension of
, ie, there exists a conceptual relation
such that
=
=
=
, although this is not always true for the other direction. Therefore,
is contained within
Because
is a subset of
(
⊂
) and
is a subset of
(
⊂
), then
is a subset of
:
Because
is a subset of
and
is a subset of
, then
is a subset of
:
Therefore, it is reasonable to conclude that
is a subset of
:
In Theorems 7.3.1 and 7.3.2, the first and second intended intelligence vocabularies were denoted and , respectively. In this section, it is possible to categorize the terminology of intended intelligences into two distinct groups, considering the extent of overlap observed among ontological views. The equations 9 and 10 discuss this classification.
In the above theorems, we examine the correlation between the vocabulary employed by each ontological view and its intended intelligence. Before intersecting with other ontological views, the assumption is that they are completeness and soundness. Completeness ensures that ontology can generate all intended intelligences, whereas soundness guarantees that any model generated by ontology is an intended intelligence. The additional constant and predicate symbols are associated with the vocabulary
in the first ontological view and
in the second. The constant symbols in the vocabulary
of the first ontological view consist of the constant symbols in the intended intelligence
, as well as a set of additional constant symbols that do not belong to the constant symbols in the intended intelligence
. These symbols can be identified as:
The predicate symbols of the first ontological view vocabulary
can now be redefined. This vocabulary consists of a set of extra predicate symbols belonging the ontological view vocabulary
, as well as a set of predicate symbols from the intended intelligence view
. The forthcoming definition will be presented in the subsequent way:
and
In the same way, the second ontological view employs two different sets of vocabulary, denoted as
and
, which consist of extra constant and predicate symbols. These symbols are separate from the constant and predicate symbols found in
and
, respectively. Furthermore,
and
are supplemented by the constant and predicate symbols belonging to the intended intelligence
and
. The formula denoting the constant associated with the vocabulary of the second ontological perspective is:
Whereas the expression for the predicate of the second ontological view vocabulary is:
and
The set of vocabulary
in the first ontological view can be represented as
=
,
, using equations 31 and 33.
Similarly, for the second ontological view, the vocabulary
=
,
can be expressed utilizing equations 5.35 and 5.37 in this way:
Before overlapping these ontological views, we performed an examination extending from 5.39 to 5.40 of the interconnections among the vocabulary meanings associated with each ontological view. This study is centred around creating a framework for collaborative intelligence, which necessitates semantic integration using an ontological view.
As a result, examining the partial overlap of these ontological views concerning their intended intelligences is imperative. It is crucial to note that there exists an additional vocabulary derived from the intersection of various ontological views within the first intended intelligence , denoted as = , , as well as the second intended intelligence , which can be denoted as = , . The extra vocabulary found in both intended intelligences (, ) may extend beyond the overlapping area between both intended intelligences. The vocabulary present in the overlapping area of the intended intelligences ( and ) has been denoted as = , in the first intended intelligence and as = , in the second intended intelligence. For elucidation, we establish the following definitions for these extra symbols.
[Definition 7.3.1] The extra constant symbols derived from equations 5.10, 5.11, and 5.16 of the first intended intelligence vocabulary, which is located outside the intersected between ontological views, are as follows:
where
[Definition 7.3.2] The extra predicate symbols derived from equations 8, 9, and 14 of the first intended intelligence vocabulary, which is located outside the intersected between ontological views, are as follows:
where
[Definition 5.1.6.1.15] The extra constant and predicate symbols of the second intended intelligence vocabulary based on 8, 10, and 17 may be given as:
where
The extra predicate symbols of the second intended intelligence vocabulary based on 5.10, 5.12, and 5.19:
where
Based on the partial overlap of intended intelligences, it can be inferred that two different categories of vocabulary exist, as stated in equations 4 and 5. Consequently, the ontological views on vocabulary may be categorized into two different classifications (
,
):
where
A set of
can be expressed in the way that follows:
where
A set of
can be expressed in the way that follows:
Based on the formulas 5.8 and 5.9, the following theorem can be introduced concerning the relationship between , and ,
[Theorem 7.3.3] Given two ontological views, and , the first ontological view, , is represented by with vocabulary , the set represents the intended intelligences of according to , similarly, the second ontological view, , is represented by with vocabulary , and represents the intended intelligences of according to , if the language possesses vocabulary , view ontological commitment maps some of the to , where ⊂, the view ontological commitment maps the data to the vocabulary , where ⊂, and if language possesses vocabulary , view ontological commitment maps some of the to , where ⊂, the view ontological commitment maps the data to the vocabulary , where ⊂, then there are the shared vocabulary between these intenteded intelligences which is (∩)⊂( ∩).
Proof
Based on the findings gathered from 5.7, 5.8,5.9, 5.49, 5.51, 5.52 and 5.54, it may be concluded that
∩
={
= {
={
Based on 5.42, 5.44, 5.46, 5.48 and
⊆, ⊆, ⊆, ⊆
therefore
={
where Q represents a set of possible intersections between , , , .
then
, is, therefore a subset of the intersection of and .
{⊆∩
[Theorem 7.3.4] Given and are logical languages and a first set of intersected intended intelligences of according to , a first shared ontological view =<, >, where ⊆ and a second set of intersected intended intelligences of according to , a second shared ontological view =<, > where ⊆, If language has vocabulary , ontological commitment maps the data (-first form of intelligence) to vocabulary where ⊂ and ⊂ the view ontological commitment , = <, > maps the data () to vocabulary where ⊆ , and the view ontological commitment =<, > maps the data (-first form of intelligence) to vocabulary where ⊂ and ⊆ then ∩⊆∩ and ∩⊂ ∩.
Proof
According to Definitions 5.1.6.1.4, 5.1.6.1.5, 5.1.6.1.6 and 5.1.6.1.7, the intended intelligence consists of
is a subset of (⊂) and represents the conceptual relations involved in the model’s desired ontological commitment.
Because
are derived from
, which is derived from the same structure state
= <
,
,
>,
⊂
, equation (5.55) can be deduced as follows:
and
is a subset of (⊂) and represents the conceptual relations involved in the model’s desired ontological commitment.
Because
are derived from
, which is derived from the same structure state
= <
,
,
>,
⊂
, equation (5.55) can be deduced as follows:
As stated in Definition 5.1.6.1.7 , there exists a conceptual relation
, for some predicate symbol
such that
(p) =
∧
(
) =
. In other words,
must be compatible with and map to the set of conceptual relations
. Then (5.56) can be derived further as:
Also, in Definition 5.1.6.1.7 , there exists a conceptual relation
, for some predicate symbol
such that
(p) =
∧
(
) =
. In other words,
must be compatible with and map to the set of conceptual relations
. Then (5.56) can be derived further as:
And in accordance with Definitions 5.1.6.1.7 and equation 5.57, we have the following for the first ontological view:
We can further deduce (5.58) as:
For second ontological view, similarly we can have:
Since Theorem 5.3 has stated {⊆∩, then
⊆∩
⊆∩
and then
∩⊆∩
Because ⊂, ⊂ and ⊂ and ⊂
[Proposition 7.3.1] Given data = <, , >, a first ontological view =<, > that commits to the data by = <, > and data = <, , >, a second ontological view =<, > that commits to the data by = <, >, if the language has vocabulary , the ontological commitment = <, > maps the data to vocabulary , where ⊂ and the language has vocabulary , the ontological commitment = <, > maps the data to the vocabulary , where ⊂, then the first ontological view is a subset of the second ontological view or vice versa if and only if <, > is a subset of <, > or vice versa.
(<, >) ⊆ (<, >) (⊆) OR
(<, >) ⊆ (<, >) (⊆)
[Theorem 7.3.5] Given data where = <, , >, =<L, > is the first ontological view, represented by the language with a vocabulary commits to by , and given data where = <, , >, =<, > is the second ontological view, represented by the language with a vocabulary commits to by . If and both approximate a common intended intelligence , where ⊂∩, is a subset of , and = ∩, is a subset of and = ∩, then is a subset of intersects with .
Proof
Theorem 5.4 tells us that thus here we have
∩⊂∩ where
a common intended intelligence ⊆∩
That is to say is some common intended intelligence of and where ⊂ and ⊂
Because = ∩ and = ∩, also stands if we replace
∩ with ∩
We can say ⊂∩
Let denote the intended intelligence of , and the intended intelligence of .
Since and both approximate a common intended intelligence , then we have:
= =
According to Definition 5.1.6.1.9 we have the following:
That is, partially intersected with .
[Proposition 7.3.2] Given data , the intended intelligence , a first ontological view with vocabulary , where ⊂ and , the intended intelligence , a second ontological view with vocabulary , where ⊂ if and are partially overlap, then there exists an intersection function such that determines the overlap between and
→∃ (:(,, , ) ↔ (∈∧∈)
[Proposition 7.3.3] Given data where = <, , >, =<, the language has a vocabulary , = <, > is the first ontological view, commits to the data by approximating the intended intelligence , through the ontological commitment = <, > which maps the data to the vocabulary , where ⊆ and data where = <, , > a second ontological view =<, > commits to data by approximating the intended intelligence = <, > through the ontological commitment = <, >, which maps the data to the vocabulary where ⊆. There exists an intersection function , that determines the overlaps between some vocabulary in first ontological view and the second ontological .
, →∃ (:(,, , ) ↔ (∈∧∈ ))
Proof
According to Definition 5.1.6.1.9,
=
Therefore, we possess
Using Proposition 5.5, we can derive.
∃:(,, , ) ↔ (∈∧∈)
It can be stated that there is an intersection function , which serves to ascertain the extent of overlap between the first ontological view and the second ontological view .
Until now, the overlap of ontological views and has been substantiated. The subsequent subsection will focus on our area of interest, precisely the symmetric difference (▵) that exists beyond the area of overlapping ontological views.
7.4. Advancing Beyond the Overlapped Intended Intelligence Concept
The definitions and theorems in the preceding subsection indicate a partial overlap between the first ontological and second views. A partial overlap between these ontological views is essential in the establishment of collaborative intelligence and a corresponding framework. In contrast, a separate area lies outside the intersection of these ontological views, as evidenced by the theorems presented below.
[Theorem 7.4.1] Given data where = <, , >, =<, > is the first ontological view, represented by the language with a vocabulary commits to by , and =<L, and data where = <, , > > is the second ontological view, represented by the language with a vocabulary commits to by . If and both approximate a common intended intelligence , and ∩≠∅, is a subset of , and = - , is a subset of and =-, then is not intersected with .
Proof
According to 5.66, we have ⊂∩
Because = - and
=
-
, then
=∅
Let denote some intended intelligence of
, and some intended intelligence of . Then the
⊂
⊂
Then
( ∩) ⊂∩⊂
As (60) shows that the intersection between and
is empty, then
( ∩) = ∅.
According to the equation 10, we have
⊠
This means that is not intersected with .
[Proposition 7.4.1] Given data where = <, , >, =<, > is the first ontological view, represented by the language with a vocabulary commits to by and =<, , >, =<, > is the second ontological view, represented by the language with a vocabulary commits to by . If is an approximate common intended intelligence between and , is a subset of , and = -, is a subset of , = -. represented by the subset vocabulary of the language , denoted by , commits to by and represented by the subset vocabulary of the language , denoted by , commits to by , then is not overlapped with , ⊠.
[Theorem 7.4.2] Given , where = <, , >, =<, > is the first ontological view, represented by the language with a vocabulary commits to by , and = <, , >, =<, > is the second ontological view, represented by the language with a vocabulary commits to by , both intersected and approximate a common intended intelligence . If ⊆∩ and ∩ (▵), is a subset of , and = -, is a subset of ) and =- , then because the is vocabulary that ⊂, ⊂, it can be said that is related to both and due to their shared vocabulary in both , .
Given:
={, }
={, }
Assumption:
There is a relation between the elements and within .
There is a relation between the elements and within .
Proof
∩=
Based on the provided information, it is inferred that there exist relationships between the vocabulary and within , as well as between the and within .
Since the is common vocabulary in both and and since there are relationships between and both and we can conclude that there relationships between and .
Therefore, based on the information provided, it is valid to assert that is related to and .
[Theorem 7.4.3] Given a partial intersection of two ontological views (, ), is axioms of the first ontological view, is axioms of the second ontological view, is a component of the vocabulary employed in constructing the sentences within the axioms , is a component of the vocabulary employed in constructing the sentences within the axioms . Suppose V is a shared vocabulary between these ontological views, and V is a subset of where is a proper subset of , and is a proper subset of . Additionally, V is also a subset of where is a proper subset of , is a proper subset of , it can be inferred that V is a subset of the intersection of ∩.
Proof
Since ⊂ and ⊂ based on Theorems 5.1 and 5.2
We can say:
V⊂∩
Or V⊂∩
There are axioms derived from ontological views (, ) that encompass the vocabulary V.
That is, V⊂ and V⊂.
In other words, it can be concluded that the set
V is a subset of the intersection of
and
,
[Proposition 7.4.2] Considering the partial intersection of two ontological views (, ), and are two sets of axioms which belong to , , respectively. It is observed that there exists a shared vocabulary denoted as v. The set v is a subset of , is a subset of , where is a proper subset of Additionally, v is also a subset of , is a subset of, is a proper subset of . It can be inferred that v is a subset of the intersection of ∩. Consider the vocabulary , which is a subset of and also a subset of - (⊂ - ). It is worth noting that relates to the vocabulary v (v R ). Similarly, we have the vocabulary , a subset of . Furthermore, is a subset of - (⊂ - ). It is essential to mention that relates to the vocabulary v (v R ). A new intelligence () can be extracted by leveraging the association between and via v. It could be argued that in the event of a partial overlap between the sets and , there can be established an extraction function .
() ∃(: (, ) →)