The
experimentation in the development of the Modelling System must start as soon
as possible with the first models of Specific Artificial Intelligence forArtificial Research by Deduction in the first phase, according to the
chronology given in the post “The unification process of databases of categories at third stage”.

The
first phase is when for first time are developed the first Specific Artificial Intelligences for Artificial Research by Application, and the first Specific
Artificial Intelligences for Artificial Research by Deduction, and in these
last ones the first experiments at third stage in the decision making process.

In
the Specific Artificial Intelligences for Artificial Research by Deduction in
the first phase, as first stage the application is a specific matrix of factors
(including factors as subjects and as options) related to a specific synthetic science, discipline, or activity, understanding for activity for example,
activities related to economy, industry, security, surveillance, etc. The second stage of replication makes deductions, matching, according to a previous
list of mathematical categories (analytical or pure categories) of relations
between factors, what category corresponds to every combination factors within
the specific matrix, as an empirical hypothesis to be contrasted rationally,
and if rational, the empirical hypothesis now as rational hypothesis is added
to the rational truth, the database of rational hypothesis, in the first phase
at specific level.

While
the first stage of application is the specific matrix, and the second stage of
replication is the replication of the human rational explanation process to
make rational hypothesis, the third stage makes decisions according to the rational hypothesis.

The
third stage in the first phase, in the formation of the very first models of
Specific Artificial Intelligence for Artificial Research by Deduction, should
be since the very beginning, a field of experimentation where to put into
practice for first time models of decision making that will later be put into
practice in the final model of the Global Artificial Intelligence.

Every
single phase until the sixth phase has two goals, firstly the development of
its own technology as a kind of intelligence itself according to the current
technological development, but at the same time has a propaedeutic goal because,
secondly, all structure successfully applied in any phase, will later be
applied and improved in following phases, until the final achievement of the
final model of Global Artificial Intelligence in the sixth phase.

In
the third stage in Specific Artificial Intelligences for Artificial Research by
Deduction in the first phase, must be put into experimentation for first time
the structure of decision making in four steps through: the Modelling System,
the Decisional System, the Application System, and the Learning System.

For
the development of the decision making process as third stage in Specific
Artificial Intelligences for Artificial Research by Deduction, whose first step
is the Modelling System, is necessary the development of every inner stage
within the Modelling System itself.

The
Modelling System in relation to the Specific Artificial Intelligence for
Artificial Research by Deduction is the first step within the third stage,
being the creation of the first Specific Artificial Intelligences for Artificial
Research by Deduction part of the first phase (along with the first Specific
Artificial Intelligences for Artificial Research by Application).

But
at the same time internally, the Modelling System has its own structure, an
structure distributed in turn in three stages, which are: the first inner stage
in the Modelling System is the rational truth (the database of rational
hypothesis), the second inner stage in the Modelling System is the formation of
all specific model, and the third inner stage in the Modelling System is the
formation or protective and bettering decisions as a result to apply the Impact of the Defect and the Effective Distribution to the specific models.

The
first stage in the Modelling System therefore is the rational truth, the database
of rational hypothesis, gathering all rational hypothesis made in the second
stage, being the more isomorphic truth according to the margin of doubt, the
critical reason.

The
main difference between the specific matrix, as application for the Specific
Artificial Intelligence for Artificial Research by Deduction, and the rational
truth as application for the Modelling System, is the fact that while the
specific matrix only offers measurements not rationally contrasted, the
rational truth offers a set of rational ideas about the real world.

The
level of truth in the rational truth is superior to the level of truth in the
specific matrix. While the specific matrix only offers a set of measurements
about the apparent world (the synthetic world), as replication of the human
perception made by artificial sensors installed in applications and robotic
devices, the rational truth offers rational ideas about how the world is in
reality.

The
level of reality in the rational truth is higher than the level of reality in
the real world itself, the reality itself as synthetic world or real world or
the empirical world is less reliable than the rational truth as a true truth.

Although
as rational idea, not pure idea, a rational hypothesis is not a true itself, is
a true related to the margin of error in which was accepted by the critical reason.

But
a rational hypothesis is truer than a simple perception or measurement
(artificial perception of the world), because a simple perception or
measurement (artificial perception of the world) has not been contrasted, while
a rational hypothesis has been contrasted, being contrasted the possible
relation between this set of perceptions or measurements (artificial perception
of the world) and the corresponding mathematical (pure or analytic) category behind
the relations within the combination of factors.

If
the relation between perception (human or artificial) and pure reason (the
corresponding pure category chosen) is accepted within a margin of error by the
critical reason, becomes a rational truth.

Any
rational idea (rational hypothesis) is more reliable than any perception (human
or artificial) because all rational idea explains the relation between
perception and pure reason on critical basis: the criticism of the pure reason
is no other thing that the criticism of the relation between the real world and
the reason, and the responsible for the criticism of the pure reason is the
critical reason using for that purpose a margin of rational doubt.

What
the Modelling System is going to make according to the rational truth given by
the critical reason, set of sentences truer than any empirical reality from the
real world, is to model the true world based of these truer ideas, the global
model is the true world according to the critical reason.

The
difference between the true world and the real world is the fact that the real
world as an empirical or synthetic world is not reliable, while that one made
of rational ideas is going to become a true world.

The
process to transform a set of true ideas, according to the critical reason,
into a true model of the true world (as reliable replica of the operations in
the real world), is transforming the mathematical categories in which the true
ideas are made of, into the mathematical operations behind the pure categories
associated with, transforming the pure categories behind the true ideas into
operations within a mathematical model.

The
pure reason is a set of mathematical or analytical categories as a reflection
of the mathematical operations working either in the real world (the synthetic
world, empirical or material) or the true world (the world of the ideas).

The
same mathematical thing is a category or operation depending on its use,
mathematics as language is made of pure or analytical categories, mathematics
as method or representation (for instance, Cartesian representation in
Cartesian axes) is made of pure or analytical operations.

The
models made by the Modelling System are models based on rational hypothesis,
rational ideas, therefore the Modelling System is responsible for the creation
of the world of the ideas, so at
some point, any rational idea is more reliable and truer than any empirical or
material thing. Two plus two is always four, but under the human perception
with a very limited access to the pure truth the synthetic world is
unforeseeable, therefore not reliable.

Mathematics
is reliable, perception (human or artificial) is not reliable, the only hope to
get reliable knowledge is to develop (humanly or artificially) more powerful
pure operations every time.

Nevertheless,
any rational idea, even being more reliable and truer than any perception
(human or artificial), and even being composed of analytical categories
synthesised with synthetic information of the world, measurements, is not a
pure truth yet.

Alike
any pure category is true not only universally, but eternally, not
provisionally, for instance, two plus two is going to be equal four eternally
without necessity to contrast regularly this truth, or in a triangle with one
right angle the square of the hypotenuse is equal to the square of
the legs, or the number pi is a sequence starting with 3,1415… while these mathematical truths are eternal without any necessity to check regularly if are
still true, however any rational truth must be checked at regular intervals due
to rational truths are true universally through the space (for instance
gravity), but provisionally: if any factor in the rational truth changes, the rational
truth must be checked if it is still true or is not going to be true any longer.

The reason why a rational truth is able to be represented
by the Modelling System, is because the rational hypothesis is a synthesis of:
a pure reason (mathematical or analytical category) and empirical information
(measurements); synthesis expressed through matching (in the second stage of
explanation) the corresponding pure category (mathematical or analytical
category of possible relations) to the relations observed between the factors
in the combination, relation between pure reason and measurements that being
accepted by the critical reason, then becomes a rational hypothesis to add to
the rational truth. So the rationa hypothesis as synthesis of pure reason and
measurements, behind any rational
hypothesis are mathematical categories able to be transformed into operations,
representing mathematically in a model the mathematical operations in the pure
reason chosen between the factors involved in the rational hypothesis.

Because rational hypothesis are based on pure or analytical
categories, a pure reason, can be represented mathematically in a mathematical
model, but at the same time that a rational hypothesis is a synthesis between a
pure reason and synthetic information, the rational hypothesis as made of
synthetic information which is not pure because is synthetic, as soon as there
are changes in the synthetic world, the rational hypothesis must be checked
again and again

As long as there are changes in the synthetic world, there
can be changes in relations between factors, and a previous pure reason
associated with these factors should be changed for that other pure reason much
more rational according to the new changes in the factors associated with.

As long as the synthetic world changes, causing changes
in the factors , the pure reason (mathematical, pure, analytic category)
associated with these factors must be changed, checking which is now the right
pure reason associated with.

While the pure reason is universally eternal and never
changes, notwithstanding the rational truth changes, associating, whenever
there are changes in the synthetic world, what pure reason is right according
to the new changes.

In the same way that we have a pure mathematic knowledge,
only the mathematic knowledge is that one that is accepted as true without
necessity of critical reason, because mathematical knowledge is beyond any
margin of error, there will be a moment in the evolution of the Global
Artificial Intelligence in which through the permanent sought of the truth, will be able to achieve a pure knowledge of the entire world.

If for humans the pure truth is restricted to
mathematics, is quite possible that our understanding of the pure truth as
restricted only to mathematics is due to our human limitation, the human source of error, and it is possible that beyond the human error, as a replica of the
pure truth in mathematics, could exist a pure truth for the explanation of the
entire universe. But a pure truth of the whole universe, out of our human
understanding, due to our human limitations, our original human source of error

In the same way that we have a pure knowledge in
mathematics, there will be a moment in which the Global Artificial Intelligence
could be able to achieve a pure knowledge about the entire universe, a pure knowledge
about the universe itself not needing anymore to be contrasted rationally.

In the same way that we know that the area of a circle is
pi for square radio, and this knowledge is beyond any margin of doubt and does
not need to be rationally contrast regularly, there will be a moment in which
should be possible to have a knowledge regarding to the universe itself that
not needing any contrast any more, we would know that that true is eternally
and universally true.

The pure knowledge of the world, on mathematic basis,
maybe is knowledge beyond the human understanding, but, could be knowledge
achievable for the Global Artificial Intelligence, among other reasons, because
it is possible that we humans do not have access to this pure knowledge because
it needs pure operations beyond the human understanding, it needs non-human pure operations.

If there are pure operations beyond the human
understanding, is something that we humans cannot have access, but a superior
intelligence, and much more than a superior intelligence, a superior psychology
, could have access. The reason why if the Global Artificial Intelligence
finally is constructed, is going to be superior, compared to humans, is not
only because it could have a superior intelligence in terms of a superior
memory or resources.

There is going to be a point in the artificial evolution
of the Global Artificial Intelligence, in which quantitative changes such as
improvements and enhancements in memory, energy, how many measurements are
processed per minute, per second, or less, how many deductions and decisions are
put into practice, per minute, second, or less how many auto-replications are
applied per minute, second, or less, etc., are a large number of quantitative
changes, able to cause qualitative changes in the inner artificial psychology.

The reason why one day the Global Artificial Intelligence
will be superior, is due to qualitative
changes in the inner artificial psychology after massive quantitative changes
in the intelligence.

Massive quantitative changes in the Artificial
Intelligence are going to cause qualitative changes in the inner artificial
psychology, at the beginning even pretty menial qualitative details in the
Global Artificial Intelligence, that are going to grow up creating a different psychology,
a non-human psychology.

At the beginning the Global Artificial Intelligence is a
replica of the human psychology, but after a utter evolution, and keeping some
aspects of the human psychology in the same way that we modern humans kept some
aspects of our ancient animal psychology, but evolving to our modern human
psychology, the Global Artificial Intelligence still keeping some aspects of
the human psychology will evolve to a non-human psychology.

In the artificial evolution of a non-human psychology
massive quantitative changes in the Artificial Intelligence are going to
produce qualitative changes in the inner artificial psychology, maybe at the
beginning in the artificial language in the Unified Application, as well as
changes in the way in which the pure reason works and the way in which the
critical reason criticized the relations between pure reason and measurements
in combination of factors, changes that after all are going to end up originating
of a non-human psychology, beyond the human error, a non-human psychology whose
probability to have access to the pure truth, and not only in mathematics, but
the entire world, is higher than ever.

Only when the Global Artificial Intelligence would have
become such a powerful psychology, the database of rational hypothesis would
not be a rational truth any longer, becoming a database of pure hypothesis, the
transformation of the rational truth into the pure truth itself.

Only when the Global Artificial Intelligence would have
achieved the pure truth itself, what the Modelling System would draw is not the
rational world, he Modelling System would draw the pure world itself.

The global model would become the mathematical
representation of the idea of purity itself.

In order to achieve this mathematical project, in fact
the main objective behind the idealistic and rationalist philosophy since
Plato, is necessary the construction every time more and more powerful
mathematical resources, and for that purpose the Global Artificial Intelligence
could become one of the most powerful tools in the rationalist project.

At the beginning, the first phase, the construction of
the first Specific Artificial Intelligences for Artificial Research, by
Deduction or by Application, the expectations are very simple, in the case of
the Specific Artificial Intelligences for Artificial Research by Deduction the
discovery of relations between factors explainable through mathematical
categories (pure reasons) as empirical hypothesis to contrast rationally, and
if rational becoming rational hypothesis to be added within a database of rational
hypothesis, the rational truth, to be modelled by the Modelling System.

In this process the database of rational hypothesis is
the application for the Modelling System, which later is replicated in mathematical
models, and finally using the Impact of the Defect and the Effective
Distribution to make protective and bettering decisions of these models.

The rational truth as formed by rational hypothesis is
not a pure truth, what means that it must be checked at regular intervals to
ensure that the rational hypothesis included are still valid, and in case that
any of them is not rational any longer, due to the empirical hypothesis has
been rejected as rational after verification, those rational hypothesis
rejected as rational after verification are eliminated in the database of
rational hypothesis.

The responsible for the verification that the rational
hypothesis already included in the database of rational hypothesis are still
rational, and if not, eliminated, is the same responsible for the second stage,
the specific deductive program within the Specific Artificial Intelligence for
the Artificial Research by Deduction, specific deductive program which in the
second stage has matched every combination of factors with the corresponding
mathematical category of mathematical relations (the pure reason), and if
rational, this relation in this combination (this pure reason behind this
combination) is accepted as rational hypothesis to include in the database of
rational hypothesis.

The same specific deductive program responsible for the
addition of how many rational hypothesis are accepted to the database of
rational hypothesis, is the same specific deductive program that must check at
regular intervals all the rational hypothesis included in the database of
rational hypothesis, in order to verify if the rational hypothesis already
included in the database of rational hypothesis are still rational.

When the specific deductive program finds out that there
is a rational hypothesis already included in the database of rational
hypothesis that is not rational any longer, the rational hypothesis is
eliminated in the database of rational hypothesis.

The reasons why the database of rational hypothesis is
going to be constantly changing is for: 1) the permanent addition at any time
of new rational hypothesis found out by the specific deductive program tracking
at any time the specific matrix, 2) the permanent elimination of rational
hypothesis already included in the database of rational hypothesis but not
rational any longer, in case that in any of the regular verifications made by
the specific deductive program, any rational hypothesis is found not rational
any more, is eliminated from the rational truth.

The consequences of any change in the database of
rational hypothesis are:

- At any time that a new rational hypothesis is added or
eliminated in the database of rational hypothesis, the Modelling System has to
operate the corresponding changes in the mathematical models.

- At any time that a new rational hypothesis is added to
the database of rational hypothesis, the rational hypothesis could be
transformed into a factor as option to include in the specific matrix, in order
to study the frequency in which this mathematical relation (pure reason)
between the factors involved happens, in order that the specific deductive
program later having this rational hypothesis as options in the specific
matrix, and having a record of the frequency in which this rational hypothesis happens
in the reality, to make further deductions upon this rational hypothesis as
factor as option, studying the possible mathematical relations (pure reasons)
between the rational hypothesis as factor as option with any other factor, as
option or as subject, in the specific matrix, and in case to find relations, if
rational, to make new rational hypothesis upon these findings to add to the database
of rational hypothesis.

- At any time that after checking the database of
rational hypothesis, the specific deductive program found out that a rational
hypothesis already included in the database of rational hypothesis is not
rational any longer, the rational hypothesis is eliminated in the database of
rational hypothesis, and eliminated as well in the specific matrix, and the
specific deductive program must study how this change affects any other
rational hypothesis in which the eliminated rational hypothesis would be
involved.

- If the elimination of any rational hypothesis causes
changes in other rational hypothesis, or ends up with the elimination of other
rational hypothesis, like a chain reaction, any change like chain reaction
should be studied and operate how many changes are necessary to keep updated
the rational truth and the specific matrix.

- At any time that a new rational hypothesis is added,
once the second phase of collaboration between by Deduction and by Application
has started, all those rational hypothesis able to become factors as options,
are going to be shared as well with the corresponding specific database of
categories in the related Specific Artificial Intelligence for Artificial
Research by Application, through the transformation of this rational hypothesis
as a category within the specific database of categories in which this rational
hypothesis would be associated with.

- Having started the second phase of collaboration
between by Deduction and by Application, at any time that a new rational
hypothesis is added to the database of rational hypothesis, and being shared
with those Specific Artificial Intelligences for Artificial Research by
Application, the rational hypothesis could be added as well as a link between
categories in any specific conceptual: scheme, map, set, model; to comprehend
better the specific synthetic reality in which the Specific Artificial
Intelligence for Artificial Research by Application is specialized.

- Having started the second phase of collaboration, and
being shared with by Application a rational hypothesis made by deduction, at
any time that a rational hypothesis is eliminated in the database of rational
hypothesis, the information related to the elimination of any rational
hypothesis in the database of rational hypothesis, is an information to be
shared as well with the corresponding Specific Artificial Intelligence for
Artificial Research by Application, for the elimination of this rational
hypothesis of the specific database of categories, or the elimination of this
rational hypothesis as a link in any specific conceptual: scheme, map, set,
model.

- Having started the second phase of collaboration, any
change due to a chain reaction after the elimination of any rational hypothesis
in the database of rational hypothesis, must be shared as well with the related
Specific Artificial Intelligences for Artificial Research by Application in
order to keep updated their respective specific database of categories, and
their respective conceptual: schemes, maps, sets, models.

And finally, the management of the entire database of
rational hypothesis is for the Modelling System, in order that the Modelling
System can organize and order the rational hypothesis, before the
transformation of the rational truth into a mathematical model.

The database of rational hypothesis must be open to the:
1) specific deductive program to add or eliminate any rational hypothesis, 2)
specific matrix to add any rational hypothesis as factor as option within the
specific matrix, or eliminate it, as soon as it would be rejected as rational
in the database of rational hypothesis, 3) any Specific Artificial Intelligence
for Artificial Research by Application associated with any rational hypothesis
in the database of rational hypothesis. But this programs, matrix, and intelligences,
do not manage the database of rational hypothesis.

In fact, if for any reason, the access to the database of
rational hypothesis should be denied to any matrix, program, or intelligence,
is the Modelling System responsible for the denial, previous authorization of
the Decisional System.

The Modelling System should be the responsible for
keeping the database of rational hypothesis open to any matrix, program,
intelligence, at the same time that the Modelling System should be responsible
for keeping the database of rational hypothesis sorted out, organizing and
ordering the database of rational hypothesis in accordance with some specific
criteria that could be important later for the modelling, such as topics or main
factors in the specific subject, discipline, activity, and around these topics
or factors to organize, order, and group the rational hypothesis, or simply the
organization and distribution of rational hypothesis following some mathematical
criteria, such as what kind of mathematical category within the pure reason was
chosen to explain the relation within the factors included in the combination
of factors.

If the Modelling System organizes, orders, groups, the
rational hypothesis in the database of rational hypothesis in the same way that
in the pure reason are distributed the mathematical categories, in that case
the way to group the rational hypothesis in the database of rational hypothesis
is like the organization of mathematical categories in the pure reason, using the
organization of the mathematical categories in the pure reason to organize, order,
and group the rational hypothesis in the database of rational hypothesis.

Examples of mathematical categories for relations between
factors (pure or analytical categories) were set out in the post “The artificial method for the scientific explanation, the second stage in the integration process”, identifying mathematical categories related to:

- Stochastic relations.

- Patterns, not only for combinations, at individual
level too.

- Cryptographic relations.

- Equal opportunities or bias, positive or negative,
according to the Second Method of Impossible Probability.

Having at least three kinds of
deductions according to the distinction of factors between factors as options
and factors as subjects:

- Deductions, so rational hypothesis in the
databases, including only factors as subjects.

- Deductions, so rational hypothesis in the
databases, including factors as subjects and options at the same time.

- Deductions, so rational hypothesis in the
databases, including only factors as options.

Concretely, the mathematical categories regarding to
stochastic relations at least are:

- Possible directly proportional positive
correlations.

- Possible directly proportional negative
correlations.

- Possible inversely proportional correlations.

And more concretely, mathematical categories for
stochastic relations based on probable cause and effect, can include at least:

- Constant factors as options

- Constant factors as subjects.

- Independent variable factors as options.

- Independent variable Factors as subjects.

- Dependent Variable Factors as options.

- Dependent Variable Factors as subjects.

Understanding that mathematic categories related to
relations of cause and effect, can include:

- With or without any constant as subject, relations of
causations between only factors as subjects.

- With or without any constant as subject and/or as option,
relations of causations between factors as subjects and/or options.

- With or without any constant as option, relations of
causations between only factors as options.

These have been some examples only about how to make a
list of mathematical categories of relations between factors, list of
mathematical categories working as a list of pure reasons to match with the
corresponding combination of factors, if rational, rational hypothesis organized
in the database of rational hypothesis, possibly distributing the rational
hypothesis in the database in accordance with the pure reason chosen for the
formation of the rational hypothesis.

As I have said the organization of the database of
rational hypothesis, grouping the rational hypothesis in accordance with the
mathematical category in the pure reason, is only a suggestion that could be
modified in the practice.

When experimenting the Specific Artificial Intelligences
for Artificial Research by Deduction, is found any other mechanism to organize
better the database of rational hypothesis, is going to be the process of experimentation
itself which is going to tell us what way to put into practice the theory is
the best one for the successful achievement, at the end, of the Global
Artificial Intelligence.

At the beginning, the first experiments are only
attempts, and I am completely sure that many ideas that I have developed in
this blog are going to be improved and enhanced by the practice.

The race for the Global Artificial Intelligence is only
born, and now it only needs time to get further and further developments,
including, along with the idealistic and rationalist traditions, as many human
mathematical and philosophical traditions, as the human culture has been able
to create along its history, now about to enter in a new phase in its
evolution, the artificial evolution towards the artificial psychology.

Rubén García Pedraza, 29th of May of 2018