1 / 15

Seong-shin Kim Computer Science and Engineering Dept.

Artificial Intelligence LISP. Seong-shin Kim Computer Science and Engineering Dept. LISP 개요. MIT 의 John McCarthy 교수에 의해 1958 년 개발 종류가 많음 : Scheme, Interlisp, MacLisp Standard: CommonLisp(1981 년 ) 모든 AI Lab 에서 사용 LISP is symbolic programming( 기호처리 언어 )

nhung
Download Presentation

Seong-shin Kim Computer Science and Engineering Dept.

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Artificial IntelligenceLISP Seong-shin Kim Computer Science and Engineering Dept.

  2. LISP 개요 • MIT의 John McCarthy교수에 의해 1958년 개발 • 종류가 많음: Scheme, Interlisp, MacLisp Standard: CommonLisp(1981년) • 모든 AI Lab에서 사용 • LISP is • symbolic programming(기호처리 언어) • LISt Processing Language -예 (x y z), (x (a b) z) • Procedural Language • Interpreter Language with Compiler Support

  3. LISP Object(구성 요소) SQRT LONG_NAME_OK -17.5 NIL T (John Mary SoonHee) (PLUS 2 3) (TIMES (PLUS 2 3) 6) ATOM(원소) LIST(리스트) S- Expression

  4. LISP 실행 과정 • Basic User Interface Read an Expression Evaluate the Expression Print the Evaluate result

  5. LISP의 사용자 정의 함수 • (f arg1 arg2.. ) • f : 함수 이름 arg1,arg2,.. : argument list • Arguments are evaluated first then f is applied on them • (foo (bar y1 y2) x2 x3) • (+ 3 (* 5 9))

  6. LISP의 사용자 정의 함수 • (f arg1 arg2.. ) • f : 함수 이름 arg1,arg2,.. : argument list • Arguments are evaluated first then f is applied on them • (foo (bar y1 y2) x2 x3) • (+ 3 (* 5 9))

  7. A A B + 3  + x y B List Structure • Cons cell의 구조 • dotted pair (A . B) • List (A B) • ( + (+ x y 3))리스트의 표현 첫번째 요소 나머지 리스트

  8. LISP의 내장 함수 • Quote (quote X) => ‘X evaluates to X,X를 return함 ’(a b c) => (a b c) • (plus 1 2 3) • (times 2 3 4) • (difference 5 4) • (sqrt 64)

  9. a c b LISP의 내장 함수 • car, cdr : 리스트 조작에 사용되는 중요한 두 가지 함수 • car : 콘셀의 왼쪽 방에 있는 값, 리스트의 첫번째 구성 요소 • cdr : 콘셀의 오른쪽 포인터가 가리키는 리스트, 첫 구성요소를 뺀 나머지 • ’(a b c) => (a b c) • (car ’(a b c)) => a • (cdr ’(a b c)) => (b c) • (car ’((a b) (c d)) => (a b) • (car (car ’((a b) (c d)) ) => a • (caar ’((a b) (c d)) ) => a : car을 적용한 결과에 car을 적용한 결과 cdr car

  10. LISP의 내장 함수 • (cdar ’((a b) (c d))) => (b) : car를 적용한 결과에 cdr을 적용함을 의미 • (cadar ’((a b) (c d))) => b :car->cdr->car • car와 cdr의 a와 d를 3개까지 결합하여 사용 가능 • append 함수 • (append ’(a b c) ’(d e)) => (a b c d e)

  11. LISP의 내장 함수 • 리스트를 만드는 함수 cons함수와 list함수 • (cons ’a ’b) => (a . b) • (cons ’a (cons ’b nil)) => (a b) • (list ’a ’b ’c) => (a b c) • 위 list함수는 아래와 같은 cons함수와 동일 • (list ’a ’b ’c) => (cons ’a (cons ’b (cons ’c nil)) ) • append 함수 • (append ’(a b c) ’(d e)) => (a b c d e)

  12. 논리와 진리값 • (= 1 1) => t • (> 1 2) => nil (false의 의미) • (atom ’a) => t • (atom ’(a b c)) => nil • (listp ’(a b c)) => t • (eq ’a ’a) => t • (eq ’(a b c) ’(a b c)) =>nil • (equal ’(a b c) ’(a b c)) => t ; 요소들의 구조적 형태와 내용의 동일성을 묻고 eq는 요소들의 포인터의 동일성을 묻는다 [그림 16-4 참조]

  13. DEFUN(1) (defun function-name(arg-list) function-body ) (defun square(x) (* x x)) (square 3) => 9 => (defun my-square(x) (if evenp(x)(* x x)(+ x x))) (my-square 3) 6 (my-square 4) => 16

  14. DEFUN(2) (defun foo (first &optional (second 20)) (+ first second)) (foo 3) => 23 (foo 3 4) = 7 (foo 3 4 5) => 7

  15. 실습 문제 • 다음 S형의 평가결과는 어떠한가? (eval ’( a b c)) (eval ’(+(* 3 5)(-5 2) 4 3)) (eval (+(* 3 5)(-5 2) 4 3)) • 다음 LISP를 실행했을 때 결과는? (cons ’a ’b ’c) (cons ’a (cons ’b( cons (cons ’c nil) nil ))) (cons ’a (cons (cons ’b nil)(cons ’c ( cons ’d nil) ))) • 다음을 평가하라. (car (cdr ’(a b c d))) (cdr (car (cdr ’(a (b c) d) ))) (cadr(cadr(cadr ’(a (b (c (d)))))))

More Related