Bazele unui proiect la inteligență artificială

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!!

O chestie interesanta doar pentru cine are proiect de realizat la IA