See also: Mef= [[AD INTERIM Artificial intelligence]], [[AD INTERIM Artificial intelligence (film)]], [[IA]]
The artificial intelligence (term created by John McCarthy), often shortened with the initials IA , is defined by one of its creators, Marvin Lee Minsky, as “the construction of computer programs which are devoted to tasks which are, for the moment, accomplished in a more satisfactory way by human beings because they ask high level mental processes such as: the training perceptuel, the organization of the memory and the critical reasoning”.
There exist various definitions of the artificial intelligence, because:
The problems raised by the artificial intelligence relate to various fields like:
There exists on the other hand a consensus of separation between:
detailed below.
The strong artificial intelligence was used as engine with the discipline, but also caused many debates. While being based on the report which the conscience has a biological support and thus material, the majority of the scientists do not see an obstacle of principle to create one day a conscious intelligence on a material support other only biological. According to holding of the strong IA, so at present there are no computers or robots as intelligent as the human being, it is not a problem of tool but of design. There would be no functional limit (a computer is a universal machine of Turing with for only limits the limits of the calculability), it would be only limits related to the human aptitude to conceive the suitable program.
A typical computer of 1970 carried out 107 logical operations a second, and thus occupied - geometrically - a kind of medium between a balances Roberval (1 logical operation a second) and the human Cerveau (coarsely 2 X 1014 logical operations a second, because formed of 2 X 1012 Neuron S which cannot each one commutate more than 100 times a second).
In 2005, a typical Microprocesseur treats 64 bits in parallel (128 in the case of machines with Dual-core) at typical 2 GHz, which places in installed capacity in the 1011 logical operations a second. With regard to these machines intended for the private individual , the variation was thus clearly reduced. With regard to the machines like Blue obstructs, it even changed direction.
The material is now present. Logiciel with the measurement of this hardware remains to be developed. Indeed, the important thing is not to reason more quickly, by treating more data, or by memorizing more things than the human brain, the important thing is to process the data in a suitable way.
The IA underlines the difficulty with of clarifying all knowledge useful for the resolution of a complex problem. Certain knowledge known as implicit is acquired by the experiment and badly formalisables. For example, what distinguishes a face familiar of two hundred others? We clearly do not know to express it.
The training of these tacit knowledges by the experiment seems a promising way (see Réseau of neurons). Nevertheless, another type of complexity appears, structural complexity. How to connect modules specialized to treat a certain type of information, for example a system of visual pattern recognition, a system of voice recognition, a system related on the motivation, driving coordination, the language, etc etc On the other hand, once such a conceived system and a training by the experiment realized, the intelligence of the robot could probably be duplicated in great number of specimens.
“'' How to get there from young stag? ''” (older article on the subject, in English)
Authors like Hofstadter (but already front him Arthur C. Clarke or Alan Turing) (see the Test of Turing) in addition express a doubt about the possibility of making the difference between an artificial intelligence which would test really a conscience, and another which would simulate this behavior exactly. After all, we cannot even be certain that other consciences that ours (at the human ones means itself) test really anything. There one finds the known problem of the Solipsisme in philosophy.
However, the artificial intelligence is far from being only limited to the networks of neurons, which are generally used only like classifieurs. The techniques of general resolution of problems and the logic of the predicates, inter alia, provided spectacular results and are exploited by the engineers in many fields.
Holding of the weak IA assert that the majority of the current techniques of artificial intelligence are inspired by their paradigm. It would be for example the step used by IBM in its project named Autonomic computing. The controversy persists nevertheless with holding of the strong IA which disputes this interpretation.
Simple evolution, therefore, and not revolution: the artificial intelligence is registered on this account in the line succession of what were the Operations research in the Années 1960, the Process control in the Années 1970, the Decision-making aid in the Années 1980 and the Data mining in the Années 1990. And, which more is, with some continuity .
It is especially of reconstituted human intelligence, and programming of training.
These two approaches, rather complementary that contradictory, are respectively at the base of the working hypotheses which constitute the Cognitivisme and the Connexionnisme. They tend today (2005) to operate their fusion.
the child believes initially that the higher the water level is in glass, the more there is water in this glass. After having played with successive transfers, it integrates the fact that the concept height of the liquid in glass enters in competition with that of the diameter of glass, and referee of sound better between the two.
At the end of the day, these sets of children appear essential with the formation of the spirit, who release some rules to arbitrate the various background information that it meets, by tests and errors.
Intelligent the Automates site returns account with a great regularity of discovered concerning this specific approach.
redundancy (the system is not very sensitive to specific breakdowns)
In the state, the current achievements of the artificial intelligence can be gathered in various fields, such as:
With the wire of time, some computer programming languages proved more convenient than others to write applications of artificial intelligence. Among those, Lisp and Prolog undoubtedly were médiatisés. Lisp constituted a clever solution to make artificial intelligence in FORTRAN. ELIZA (the first Chatterbot, therefore not of the “true” artificial intelligence) held on three pages of SNOBOL.
One as uses, more for reasons of availability and performance as of convenience, traditional languages such as C or C++. Lisp had for its part a series of successors more or less inspired by him, of which the language Scheme.
Demonstration programs of simple geometrical theorems existed as of the Années 1960; and of the software as commonplace as Maple and Mathematica carry out today work of integration symbolic system which thirty years ago still were spring of a higher mathematical student of . But these programs do not know more not than they carry out geometrical or algebraic demonstrations that Deep Blue did not know that he played failures (or a program of invoicing which he calculates an invoice). These cases thus represent more of the intellectual operations computer-assisted calling upon the computing power that artificial intelligence strictly speaking.
In ludic data processing (the video games), the Artificial intelligence (IA) develops. Indeed the new generations of video charts treat a great number of operations before reserved for the Processeur. The processor is thus requested less for posting and the programmers can use his power to develop systems of more sophisticated IA.
The artificial intelligence made important great strides during the Années 1960 and 70, but following disappointing results compared to the invested budgets, its success grew blurred as of the medium of the Années 1980.
According to certain authors, the prospects for the artificial intelligence could have disadvantages, if for example the machines became more intelligent than the human ones, and ended up dominating them, (for most pessimistic) of even exterminating them, in the same way that we seek to exterminate certain sequences of ARN (viruses) whereas we are built starting from DNA, a close relation derived from the ARN. One recognizes of course the topic of the film Terminator, but of the very qualified directors of company technically, like Bill Joy of the company Sun, affirm to regard the risk as long-term reality.
All these future possibilities were the subject of quantities of novels of Science-fiction, such those of Isaac Asimov or William Gibson while passing by Arthur C. Clarke.
About the same time, Homère , in the Iliade (XVIII, 370-421), described the automats produced by the god blacksmith Héphaïstos: tripods provided with gold wheels, able to carry objects until the Olympe and to return only in the residence of the god; or, two maidservants forged out of gold who assist it in her task. In the same way, the Giant of Bronze Talos, guard of the shores of the Crete, was sometimes regarded as a work of the god.
Vitruve , Roman architect, described the existence between IIIe and before our era, of a school of engineers founded by Ctesibius with Alexandria, and designing mechanisms intended for the recreation such of the corbels which sang.
Héron old the describes in its treaty “Automats”, a carousel animated thanks to the vapor and considered as anticipating the steam engines.
the Automate S disappear then until the end from the Moyen-âge.
One lent to Roger Bacon the design of gifted automats of the word; in fact, probably of mechanisms simulating the pronunciation of certain simple words.
Léonard de Vinci built an automat in the shape of lion in the honor of Louis XII.
Gio Battista Aleotti and Solomon de Caus built birds artificial and singing, of the mechanical flutists, the nymphs, the dragons and the satyrs animated to brighten aristocratic festivals, gardens and caves.
Rene Descartes would have conceived in 1649 an automat that it called “my Francine daughter”. It in addition leads a reflection of an astonishing modernism on the differences between nature of the Automate S, and those on the one hand animals (not of difference) and on the other hand that of the men (not of assimilation). These analyzes make of it the precursor ignored of one of the main themes of the Science-fiction: indistinctness enters living it and the artificial one, between the men and the Robot S, the Androïde S or the artificial intelligences.
the craftsmen Pierre and Louis Jaquet-Droz manufactured among best the Automate S based on a purely mechanical system, before the development of the electromechanical devices. Some of these automats, by a system of multiple cams, were able to write a small ticket (of course always the same one).
The first tests of formalization of the Pensée are the following:
Raymond Lulle , missionary, philosopher, and Spanish theologist of the 13th century, made the first attempt to generate ideas by a mechanical system. He combined by chance concepts thanks to a kind of Rule slide, a zairja, on which swivelled of the engraved concentric discs of letters and philosophical symbols. He baptized his method Grand Art (Ars Magna), founded on the identification of basic concepts, then their mechanical combination either between them, or with related ideas. Raymond Lule applied his method to the Métaphysique, then with the Morale, the Médecine and the Astrologie. But it used only deductive logic , which did not make it possible its system to acquire a Apprentissage, nor more to call into question its starting principles: only inductive logic allows it.
Gottfried Wilhelm Leibnitz , at the 17th century, imagined a thinking Calcul ( calculus rationator ), by assigning a Nombre with each Concept. The handling of these numbers would have made it possible to solve the most difficult questions, and to even lead to a universal Langage. Leibnitz however showed that one of the main difficulties of this method, also met in modern work on the artificial intelligence, is the interconnection of all the concepts, which does not make it possible to isolate an idea from all the others to simplify the problems involved in the thought.
George Boole invented the mathematical formulation of the fundamental processes of the reasoning, known under the name of Boolean algebra. He was conscious of the bonds of his work with the mechanisms of the intelligence, as the title of its principal work published in 1854 shows it: “ laws of the thought ” ( The laws off thought ), on the Boolean algebra.
Gottlob Frege improved the system of Boole by inventing the concept of Prédicat, which is a logical entity either true, or distorts (any house has an owner), but containing nonlogical variables, not having of or any degree of truth (house, owner). This invention simply had a great importance since it made it possible to show general theorems, by applying typographical rules to whole of symbols. The reflection in language running did not relate any more but to the choice of the rules to apply. In addition, only the user knows the direction of the symbols which he invented, which brings back to the problem of significance in artificial intelligence, and subjectivity of the users.
Bertrand Russell and Alfred North Whitehead published in the beginning of the 20th century a work entitled “ Principia mathematica ”, in which they solve internal contradictions with the theory of Gottlob Frege. This work let hope to lead to a complete formalization of mathematics.
Kurt Gödel shows on the contrary that mathematics will remain an opened construction, while publishing in 1931 an article entitled “ Of the proposals formally indécidables contained in similar Principia mathematica and other systems ”. Its demonstration is that starting from a certain complexity of a system, one can create there more logical proposals than one cannot show some true or false. The arithmetic one, for example, cannot slice by its axioms if one must accept numbers whose square is -1. This choice remains arbitrary and is of nothing related to the basic axioms. The work of Gödel suggests that one will be able to thus create an arbitrary number of new axioms, compatible with the precedents, as one needs some. It should be noted that if the arithmetic is shown incomplete, the calculation of the predicates (formal logic) on the contrary is shown by complete Gödel like .
Alan Turing arrives at the same conclusions as Kurt Gödel, by inventing abstract and universal machines (renamed the machines of Turing), whose modern computers are regarded as concretizations. It shows the existence of calculations that no machine can make (a human step more, in the cases which it quotes), without for all this that constitutes for Turing a reason to doubt the feasibility of thinking machines answering the criteria of the Test of Turing.
Irving John Good , Myron Tribes and E.T. Jaynes described in a very clear way the rather simple principles of a robot to inductive Logique using the principles of the Inférence bayésienne to enrich its base by knowledge on the basis of the Théorème of Cox-Jaynes. They unfortunately did not treat the question in the way in which one could store this knowledge without the mode of storage involving a cognitive oblique . The project is close to that of Raymond Lulle, but founded this time on a Logique inductive, and thus clean to solve some open problems .
Robot with inductive logic
Of the researchers as Alonzo Church posed practical limits with the ambitions of the reason, by directing research (Herbert Simon, Michael Rabin, Stephen Cook) towards obtaining the solutions in finished time, or with resources limited, like worms the categorization of the problems according to classes of difficulty (in connection with work of Cantor on the infinite one).
The situation in question, corresponding to a qualitative change of the principle even of progress, was named by some authors “the Singularity”.
Good estimated at a little more than one chance out of two the development of such a machine before the end of the 20th century. Isn't the prediction, in, (still?) realized, but the public had impregnated: the course of the action of IBM quadrupled (although the versed quarterly dividends remained with very little thing close the same ones) in the months which followed the victory of Deep Blue over Gary Kasparov. A broad part of the general public was indeed persuaded that IBM had just developed the vector of such a explosion of the intelligence and that this company would benefit from it. The hope was of course disappointed: once its acquired victory, Deep Blue, simple Calculator evaluating 200 million positions at the second, without conscience of the play itself, was reconverted out of traditional machine used for the Data mining. We are probably still very far from a machine having what we name of the general intelligence , and as much of a machine having the bases knowledge of any researcher, however humble is it.
On the other hand, a program " comprenant" a language natural and connected to the Internet would be theoretically likely to build, gradually, a basic kind of knowledge. We are unaware of however all today () the optimal structure to choose as well for such a base as time necessary to gather of it and to arrange the contents of it.
With regard to the actions, one can isolate two great fields: the Pathfinding, and the procedural Animation: First is studied for a long time and functions in a suitable way in the majority of the current plays (although these pathfinder often remains in 2D and thus do not allow flying objects to move freely). There exist some solutions middleware of pathfinding. Procedural animation is as for it in an embryonic state, but of many research teams currently lean on the subject, had a presentiment of like the functionality of the future.
The IA of the video games is with its stammerings and certainly will carry out enormous progress in the years to come. Perhaps this progress will pass by a material Accélération like was to it the 3D and as is being it the " physique" (management of the movements in Newtonian mechanics either by a dedicated processor, or by a graphics processor reprogrammed for this purpose).
; Great names of the artificial intelligence
; Others
| Random links: | International fair of the machine tool of undercutting | Amerila | R. Scott Dunbar | Andreas Kunz | Chipman (New Brunswick, city) |