View : 34 Download: 0

LISP의 논리적 기능 부여에 관한 연구

Title
LISP의 논리적 기능 부여에 관한 연구
Other Titles
(A) STUDY ON THE IMPLEMENTATION OF LOGIC IN LISP
Authors
宋惠玲
Issue Date
1986
Department/Major
대학원 전자계산학과
Keywords
LISP논리적기능부여전자계산학
Publisher
이화여자대학교 대학원
Degree
Master
Advisors
.
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.
Fulltext
Show the fulltext
Appears in Collections:
일반대학원 > 컴퓨터공학과 > Theses_Master
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE