Documente Academic
Documente Profesional
Documente Cultură
Ia1 2013 PDF
Ia1 2013 PDF
Inteligena artificial
Cerine:
Nota colocviu - Test gril, probleme; pondere 50% ( + 1pct pentru activitate curs) Nota laborator - Pondere 30% (actvitate laborator, teme de cas). Nota test pe parcurs conteaz ca parial; pondere 20% (nu se reface!!)
2
Inteligena artificial are o importan deosebit, nu doar n inginerie: Societate bazat pe cunoatere Economie bazat pe cunoatere Companie bazat pe cunoatere Fabricaie bazat pe cunoatere
Bibliografie
1. Crstoiu, D. I. (1994). Sisteme expert, Editura ALL, Bucureti. 2. Malia, M., Malia, Mr. (1987). Bazele inteligenei artificiale, Edit. Tehnic,Bucureti. 3. Metakides, G., Nerode, A. (1998). Principii de logic i programare logic, Editura Tehnic, Bucureti. 4. Pnescu, D. (2000). Sisteme bazate pe cunotine. Reprezentarea cunoaterii, Matrix Rom, Bucureti.
4
Bibliografie
5. Joseph Giarratano, Gary Riley (1989). Expert Systems: Principles and Programming, PWSKENT, Boston. 6. Peter Jackson (1999). Introduction to expert systems, Addison Wesley 7. Stuart Russell, Peter Norvig (2010). Artificial Intelligence: A Modern Approach, Prentice Hall
Inteligena artificial
Cap. I. Domeniul Inteligenei artificiale (IA)
1) Istoricul IA 2) Definiia Inteligenei IA 3) Definirea noiunilor de cunoatere/cunotine 4) Legtura ntre IA i Informatica clasic 5) Capitole i abordri ale IA; IA i Robotica 6) Abordarea bazat pe ageni a IA; sisteme multiagent
6
Momentul de nceput al inteligenei artificiale (IA): 1956, Dartmouth College, John Mc Carthy
The study is to proceed on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it. An attempt will be made to find how to make machines use language, form abstractions and concepts, solve kinds of problems now reserved for humans, and improve themselves. - Dartmouth AI Project Proposal; J. McCarthy et al.; Aug. 31, 1955.
9
La conferina de la Dartmouth College John Mc Carthy a folosit pentru prima dat termenul de Inteligen artificial (IA Artificial Intelligence) Newell, Shaw i Simon au descris primul program de IA Logical Theorist Logica formal sau logica matematic a anticipat IA
10
Elementele despre calculabilitate, datorate lui Church i Turing au constituit legtura ntre formalizarea raionamentului i tiina calculatoarelor. Turing a inventat un model simplu, universal i nenumeric al calculabilitii maina Turing (1936) Turing a propus un test pentru validarea inteligenei artificiale.
12
Fig. 1. Testul Turing; dup Saygin, A. P.; Cicekli, I. (2002), "Pragmatics in human-computer conversation"
13
Cteva date mai importante care au marcat evoluia IA sunt: crearea modelului perceptronului (neuronul artificial) de ctre Rosenblatt n 1958, un nceput pentru reelele neuronale; dezvoltarea limbajului LISP de ctre John Mc Carthy n 1958; introducerea logicii fuzzy de ctre Zadeh 14 n 1965;
stabilirea principiului rezoluiei, care va sta la baza demonstrrii automate a teoremelor, de ctre Robinson n 1965; folosirea reelelor semantice n reprezentarea cunoaterii de ctre Quillian n 1968; n 1970 apare limbajul PROLOG (PROgrammation en LOGique), dezvoltat ntr-o prim form de Alain Colmerauer la 15 Universitatea din Marsilia.
Newell i Simon demonstreaz c regulile de producie pot fi un mijloc adecvat de reprezentare a cunoaterii n ceea ce privete modelarea capacitii umane de a rezolva probleme (1972); Minsky introduce n 1975 cadrele, ca o modalitate de reprezentare a unor situaii stereotipe; n 1976 apare limbajul Smalltalk care este considerat un prim limbaj orientat pe obiecte; Forgy dezvolt n 1979 algoritmul RETE, cel care va sta la baza funcionrii unui numr mare de sisteme expert (SE) SE reprezint principalul instrument al abordrii simbolice a IA.
16
I. Domeniul Inteligenei artificiale i al sistemelor bazate pe cunotere primul SE este considerat a fi DENDRAL (1965), realizat de ctre Feigenbaum, ca SE pentru domeniul chimiei organice;
HEARSAY (1970) este un prim SE folosit n nelegerea vorbirii; MYCIN (1976) este unul din primele SE folosite n domeniul medical i care a avut o importan deosebit n evoluia sistemelor bazate pe cunotine (SBC), mai ales n privina efecturii raionamentelor n condiii de incertitudine; SHAKEY a fost primul robot capabil s raioneze i s decid singur
17
Nicholas Findler arat c un sistem este considerat a avea proprietatea de inteligen, dac se poate adapta la noi situaii, are capacitatea de a raiona, adic de a nelege legturile dintre fapte, de a descoperi nelesuri i de a recunoate adevrul. De asemenea, un sistem inteligent poate s nvee, cu alte cuvinte s-i mbunteasc nivelul performanelor pe baza experienei. Astfel, Findler a cuprins n aceast definiie dezideratele pe care le urmrete IA.
20
Definiia IA
Inteligena un amalgam cu multe proprieti de reprezentare i prelucrare a informaiei [Winston, 82] IA este o disciplin care face parte din domeniul programrii calculatoarelor IA este o ramur a tiinei calculatoarelor ce studiaz realizarea unor tehnici de programare performante, care s permit rezolvarea unor sarcini complexe
21
aciune
Concluzie: comportamentul inteligent presupune existena unui model al mediului n IA folosim un model de reprezentare a cunoaterii Capitol important al IA: reprezentarea cunoaterii reprezentarea realitii care s poat fi implantat ntr-un sistem de calcul
25
2. 3.
Inteligena unui program este ntotdeauna relativ. Comportarea inteligent a unui program trebuie s se manifeste n situaii ct mai frecvente i mai variate.
4.
Pentru a putea aprecia inteligena unui program trebuie s msurm complexitatea sarcinii de intrare.
29
A avea cunotine a putea nelege/decodifica fapte, informaii, a avea abilitatea de a rezolva anumite situaii.
30
Cunoatere - definiie
Cunoatere ceea ce este cunoscut ntr-un anumit domeniu. Cunoterea este obinut prin experien i educaie presupune nelegerea aspectelor teoretice i practice legate de un subiect.
31
Cunotine legtura cu IA
Exist o legtura direct cunotine inteligen IA. Cum ne referim la cunotine?
1. Vlad tie c 2. Vlad tie c Maria va veni la facultate. 3. Vlad tie cu cine va veni Maria la facultate.
32
(cunosctor) i o propoziie, de fapt, ideea/situaia exprimat de un enun. Propoziiile sunt enititi abstracte, ce pot fi aedvrate/false, corecte/incorecte. Vlad tie c p Vlad tie c p este adevrat legtura cu Logica!
33
Program de IA Problem
Baz de date
Algoritm
Euristic
Baz de cunotine
Ieiri
Soluie
35
Deosebiri:
Baz de date baz de cunotine Baza de date o colecie de date, organizat pentru a servi un mecanism de procesare (algoritm) Baza de cunotine conine nu numai fapte, ci i relaii ce exist ntre acestea, i reguli, adic modaliti de a prefigura ceea ce se va ntmpla n lumea exterioar, ca urmare a unor aciuni
36
Algoritmul trebuie s fie general (s nu fie particularizat pe date de intrare specifice) i fiecare pas al su trebuie s fie clar specificat.
37
Euristica: o metod ce se bazeaz pe reguli derivate din experien, introducnd n multe situaii un grad de incertitudine. Spre deosebire de un algoritm, o metod euristic nu garanteaz obineriea soluiei (nu asigur completitudinea).
38
39
nelegerea limbajului natural Exist sisteme care pot susine un dialog cu operatorul , dar care rezolv problema doar pentru un univers de discurs limitat. n IA, prin univers de discurs nelegem o poriune a lumii reale, pentru care avem sau dorim s obinem un model, pe care s se poat efectua raionamente.
40
Arhitecturile i limbajele de IA - s-au dezvoltat o dat cu perfecionarea metodelor formale ale IA pentru a servi, mai bine dect limbajele convenionale, metodele de IA.
Noi instrumente puse la dispoziia programrii: time-sharing, procesare a listelor, interactivitate, programare orientat pe obiecte.
41
n IA au fost dezvoltate limbaje proprii de programare care s faciliteze att reprezentarea i prelucrarea cunotinelor, ct i deducia. Cea mai important idee n aceste noi limbaje a fost aceea a utilizrii calculatoarelor pentru a manipula simboluri, acestea putnd reprezenta orice, nu numai numere. S-au introdus structuri de date fr restricii de form i dimensiune liste (ctig: eliberarea programatorului de sarcina unor detalii software/hardware); limbaj de IA reprezentativ: LISP (LiSt Processing).
42
Abordri ale IA
Abordarea simbolic sisteme expert probleme de asistare a deciziei, pentru care timpul de rezolvare nu este critic Abordarea conexionist reele neuronale probleme pentru care se pot furniza exemple necesare pentru o faz de nvare Abordarea evoluionist algoritmi genetici probleme de optimizare
43
IA i Robotica
IA a fost mbarcat pe roboi Exist 3 paradigme n Robotic Paradigm set de concepte, proceduri caracteriznd o modalitate de rezolvare a unei clase de probleme
44
IA i Robotica
Paradigmele Roboticii se difereniaz dup felul n care folosesc primitivele funcionale ale Roboticii:
a simi parte senzorial a planifica parte de planificare/deliberativ a aciona parte de execuie
45
IA i Robotica
Paradigma ierarhic
Parte senzorial Planificare Parte de execuie
Influena IA parte de planificare, include un model de reprezentare a cunoaterii Dificulti: problema cadrului (frame problem) Aplicabilitate: roboi care lucreaz ntr-un mediu static
46
IA i Robotica
Paradigma reactiv
Parte senzorial Parte de execuie
Influena IA coordonarea comportrilor reactive Dificulti: rezolvarea unor scopuri complexe Aplicabilitate: roboi care rezolv scopuri simple ntr-un mediu dinamic
47
IA i Robotica
Paradigma hibrid
Planificare Parte senzorial Parte de execuie
Influena IA rezolvarea prii deliberative Dificulti: stabilirea raportului optim ntre deliberare i execuie
48
49
Concluzii
Sistemele software se caracterizeaz prin ubicuitate Performanele computaionale au crescut continuu Metodele & instrumentele IA pot conduce la o utilizarea mai eficient a calculatoarelor 53
Ubiquitous computing (ubicomp) is a post-desktop model of human-computer interaction in which information processing has been thoroughly integrated into everyday objects and activities. In the course of ordinary activities, someone "using" ubiquitous computing engages many computational devices and systems simultaneously, and may not necessarily even be aware that they are doing so. This model is considered an advancement from the older desktop paradigm. More formally, ubiquitous computing is defined as "machines that fit the human environment instead of forcing humans to enter theirs. 54
Sixty years ago, Alan M. Turing, raised the essential question, "Can machines think?" in his article "Computing Machinery and Intelligence", which can be regarded as one of seeds for AI and other intelligent computing. He believed machines could think and also believed that "at the end of the century the use of words and general educated opinion will have altered so much that one will be able to speak of machines thinking without expecting to be contradicted". Actually, since the end of the last century, the essential question has become "Can things think?" as proposed by the TTT consortium at MIT. 55
Computer and networks have brought profound changes not only as revolutionary information technologies but also a digital space for creating a new world called cyberworld, whose impacts to our human beings have just begun. Following the information explosion, we are experiencing in connection explosion and service explosion. Sooner or later we will face the next one - Intelligence Explosion! The initial signs of such intelligence explosion have been appearing, such as Web Intelligence (WI) as one representative development of Web, AI, agent technology, neural networks, nature-inspired computing, cloud computing and so forth, and Ubiquitous Intelligence (UI) because of active media, sensor technology, embedded devices, pervasive computing, smart objects, Internet of things, etc.
56
The Important Questions: - Are we ready for the coming of the digital explosions? - What are fundamental problems and grand challenges in dealing with these explosions? - Can we identify the most essential questions to be brought in the Intelligence Explosion as did by Turing Sixty years ago? 1.Stage QC (Question Collection): Present ~ October 30 In this stage, we solicit questions from people around the world. No matter what backgrounds and opinions, you are welcome to submit your questions via Top10Qi website at: http://www.fst.umac.mo/wic2012/.
IEEE - Institute of Electrical and Electronics Engineers
57
Rezumat
Inteligena este o noiune dificil de definit Inteligena sistemelor tehnice poate fi luat n considerare prin aplicarea unor mecanisme specifice, derivate din domeniul informaticii Exist mai multe abordri ale IA, fiecare fiind adecvat pentru o anumit clas de probleme 58
Rezumat
IA a fost aplicat n Robotic Paradigma hibrid de aplicare a IA n Robotic poate conduce la sisteme tehnice funcionnd n medii dinamice SE i SMA corespund obinerii inteligenei la nivel individual, respectiv la nivel de colectivitate
59