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

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.