View : 706 Download: 0

Full metadata record

DC Field Value Language
dc.contributor.advisor.-
dc.contributor.author宋惠玲-
dc.creator宋惠玲-
dc.date.accessioned2016-08-26T03:08:25Z-
dc.date.available2016-08-26T03:08:25Z-
dc.date.issued1986-
dc.identifier.otherOAK-000000015070-
dc.identifier.urihttps://dspace.ewha.ac.kr/handle/2015.oak/207058-
dc.identifier.urihttp://dcollection.ewha.ac.kr/jsp/common/DcLoOrgPer.jsp?sItemId=000000015070-
dc.description.abstract본 논문에서는 함수적 프로그래밍 언어인 LISP에서의 논리적 기능 부여에 관하여 연구하였다. 이 연구는 기존의 LISP에 논리를 처리해 쓸 수 있는 기능을 첨가하여 사용자로 하여금 사실과 규칙으로 구성되는 데이타 베이스를 구축하고 이를 기반으로 질의에 응답할 수 있는 시스템을 제공한다. 질의에 대한 응답은 단일화 과정을 포함하는 비교 흡수 방법을 통한 연역의 순환결과로써 얻을 수 있다. 또한, 기존의 LISP에 이러한 논리적 기능을 부여하여 추론의 능력이 확장됨으로써 인공 지능 연구에 더욱 효과적으로 쓰일 수 있는 LISP 프로그래밍 환경을 제공해 줄 수 있다.;In this thesis, the method of logic processing on the LISP system is proposed and implemented. The functions which can construct a data base containing facts and rules are presented. Then, user can construct his or her own data base on the LISP system and raise some queries based on that data base. In order to response to the query, LISP LOGIC system provides a deduction cycle which is established by the linear input resolution and the unification algorithm. The purpose of this study is supporting more useful and efficient LISP programming environment for the research in Artificial Intelligence field by adding rules of inference as a result of logic processing in LISP.-
dc.description.tableofcontents목차 = ⅲ 논문개요 = ⅳ Ⅰ. 서론 = 1 A. 연구의 목적 = 1 B. 연구의 대상과 방법 = 3 Ⅱ. LISP의 개요 = 5 A. 자료 및 제어 구조 = 5 B. 문법 = 10 C. 사용자 인터페이스 = 11 Ⅲ. LOGIC 구성 = 18 A. 단언 (Assertion) = 19 B. 질의 (Query) = 20 Ⅳ. LISP LOGIC 구현 = 23 A. 단일화 과정 (Unification) = 23 B. 비교 흡수 과정 (Resolution) = 26 C. 연역의 순환 (Deduction Cycle) = 37 Ⅴ. 결론 = 40 참고문헌 = 41 부록 = 43 ABSTRACT = 45-
dc.formatapplication/pdf-
dc.format.extent1013234 bytes-
dc.languagekor-
dc.publisher이화여자대학교 대학원-
dc.subjectLISP-
dc.subject논리적기능부여-
dc.subject전자계산학-
dc.titleLISP의 논리적 기능 부여에 관한 연구-
dc.typeMaster's Thesis-
dc.title.translated(A) STUDY ON THE IMPLEMENTATION OF LOGIC IN LISP-
dc.format.pageiv, 45 p.-
dc.identifier.thesisdegreeMaster-
dc.identifier.major대학원 전자계산학과-
dc.date.awarded1987. 2-
Appears in Collections:
일반대학원 > 컴퓨터공학과 > Theses_Master
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

BROWSE