Extras din laborator
Inteligenţă Artificială
Curs2
Definitia domeniului, probleme de filozofie a domeniului
Lisp: primele notiuni
Definitia inteligentei
Definitia IA
Testul Turing
John Serle (1980) – Minds, Brains, and Programs – IA tare
V. şi Penrose (1998) – al 2-lea punct de vedere relativ la IA
Searle (1980): camera chinezească
Penrose (1998) – al 3-lea punct de vedere relativ la IA
Penrose (1998) – al 4-lea punct de vedere relativ la IA
Subdomenii ale inteligenţei artificiale
Lisp – primele noţiuni
Bibliografie despre Lisp
Practical Common Lisp, by Peter Seibel, Amazon's #1 Lisp Book
Biblioteca de Informatică
Programare in inteligenta artificiala. Lisp si Prolog, Horia Pop
Programare in Lisp, Stefan Trausan-Matu, 2004
Lisp, Lore and Logic, W. Richard Stark, 1989
Computer algebra with Lisp and Reduce, F. Brackx, 1991
Performantele inteligentei artificiale - de la teorie la aplicatii, Titu I. Bajenescu, 2002
On Lisp - Advanced Techniques for Common Lisp, Paul Graham, 1994 (xerocopie)
Artificial Intelligence with Common Lisp, James L. Noyes, 1992 (xerocopie)
Giumale et al. 1987, Lisp, 2 vol.
Baza de date a bibliotecii poate fi consultată din pagina de internet a Bibliotecii Centrale Universitare: http://www.bcu-iasi.ro/, accesând Catalogul on-line.
Puţină istorie
Lisp - unul din cele mai vechi limbaje
Vara lui 1956 (Dartmouth Summer Research Project on AI):
Newell, Shaw and Simon sunt preocupaţi să scrie un program de demonstrare automată a teoremelor. Ei simt nevoia unui limbaj care să le permită să manipuleze uşor expresii simbolice utilizând structuri de liste. IPL 2, un limbaj de procesare a listelor (va rula pe calculatorul JOHNNIAC al lui Rand Corporation). In acest limbaj ei vor implementa programul lor The Logic Theorist.
John McCarthy se preocupă de o soluţie algebrică a derivabilităţii funcţiilor. El crede că s-ar putea scrie definiţii recursive pentru derivarea simbolică
Dif(f(x)*g(x)) = Dif(fx)*g(x) + f(x)*Dif(g(x))
Inventarea Lisp-ului
Cum se pot scrie definiţii de funcţii recursive folosind expresii conditionale?
Limbajul cel mai evoluat de programare: FORTRAN
Definiţia de funcţie:
function f(x)
corpul funcţiei
return(valoare)
Instrucţiunea if:
if(expresie) et1, et2, et3
La propunerea lui McCarthy, IBM este de acord să finanţeze un proiect de dezvoltare a unui limbaj simbolic plecând de la FORTRAN:
Herbert Gelernter şi Carl Gerberich de la IBM descriu FLPL (FORTRAN List Processing Language)
Inventarea Lisp-ului
Totuşi FLPL nu avea nici expresii condiţionale, nici funcţii recursive, iar ştergerea listelor era făcută explicit de program
Cum să descrii expresii condiţionale?
McCarthy scrie în FORTRAN o funcţie XIF(M,N1,N2) la apel se evaluează atât N1 cât şi N2!!
Preview document
Conținut arhivă zip
- Bazele unui Proiect la Inteligenta Artificiala
- Cap2.ppt
- Curs1.ppt
- Curs10.ppt
- Curs4.ppt
- Curs7.ppt
- Curs9.ppt
- m10.doc
- practicaIA2003.doc
- proiect2009.doc
- tips.doc