Dado un conjunto N tendente a infinito es inevitable que absolutamente todo suceda, siempre que se disponga de tiempo suficiente o infinito , y he ahí donde está el verdadero problema irresoluble o quid de la cuestión de la existencia ¿quién nos garantiza que dispongamos del tiempo necesario para que ocurra lo que debe o deseamos que suceda?


martes, 29 de mayo de 2018

The first stage in the Modelling System as first step in the third stage in Specific Artificial Intelligences for Artificial Research by Deduction within the first phase


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