JAZYKY UMELEJ INTELIGENCIE Histria LISPu Marian Machtuke sk

JAZYKY UMELEJ INTELIGENCIE História LISPu Marian. Mach@tuke. sk http: //neuron. tuke. sk/~machm Február, 2011 Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 1

Zrodenie Lispu • 1956 - John Mc. Carthy - prvé myšlienky o jazyku ktorý sa stal Lispom • 1958 - začala implementácia => Lisp 1. 0 • 1960: Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) [Communication of the ACM] • => matematická notácia pre počítačové programy • založené na lambda kalkule (formálny systém pre definíciu a aplikáciu funkcií) Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 2

Lisp 1. 0 • Prvý interpreter: S. Russel – preniesol eval do strojového kódu IBM 704 (vyhodnocovanie s -výrazov) • 1960 - Lisp I Programmer manual • 1962 - kompilátor Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 3

Vplyv Lispu n Vznikol ‘Lispovský’ model n if-then-else n dátové typy ‘funkcia’ a ‘symbol’ n premenná je pointer, hodnota má typ n rekurzia n garbage collector n program je strom výrazov n stála dostupnosť jazyka (prepojenie read - compile - run) Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp. [Greenspun's Tenth Rule, ~1993] Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 4

Vývoj Lispu • Lisp 1. 0, Lisp 1. 5 n v pol. 60 -tych rokov prenesený na rôzne architektúry: Univac M 460, IBM 7090, PDP-1, PDP-6 • 70 -te a 80 -te roky: chaos verzií n Mac. Lisp, Inter. Lisp, Standard Lisp, Elisp, Lisp Machine Lisp, Zeta. Lisp, Franz Lisp, VAX Interlisp, Lisp 360, Lisp 370, . . • 1975: Scheme (ANSI štandard v 1991) • 1981: Common Lisp n 1984 - ‘Common Lisp: The Language’ n 1992 - draft štandardu, 1994 - ANSI štandard • ~1990: Dylan 2007: Clojure 2008: Arc Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 5

Lispovské stroje • Peter Deutch (1973) - návrh jednoužívateľského mikropočítača špecializovaného pre beh Lispu a lispovského vývojového prostredia n MIT AI LAB - CONS (1975), CADR (1978) - pre komercionalizáciu vznikli firmy: n Lisp Machine Inc. - klony CADR n Symbolics - klony CADR, 3600 (1982), ďalšie rady 36 xx n zatvoril ‘maintenance facility’ v 2005 Xerox PARC - Alto (1973), Dolphin (1979), Dandelion (1981), Dorado (1983) n TI - Explorer (1983), Explorer II (1987) n Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 6

Symbolics: Lispovské stroje Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 7

Lisp na KKUI • prof. Ing. Tomáš Sabol, CSc. • KKUI - použitie v medzinárodných projektoch n začiatky: 1986 na SM 3 n aktívne obdobie: druhá polovica 90 -tych rokov n Výuka: Teoretické základy UI n Projekty: n ENCODE - ENvironment for COnfiguration DEsign (Allegro CL + Windows) 1995 -98 n ENRICH - Enriching Representations of Work to Support of Organisational Learning (Allegro CL + Linux) Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 8

TIOBE Programming Community Index založený na výbere z Google, MSN a Yahoo! n Sleduje 100 jazykov http: //www. tiobe. com n November 2005 Február 2011 Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 9