MVL 시스템의 양격자 환경 자동 생성에 관한 연구

Abstract

컴퓨터가 인간처럼 문제를 풀 수 있기 위해서는 불확실한 지식을 표현하고 추론(reasoning)할 수 있어야 한다. 최근 인공 지능 분야에서는 일차 논리를 확장시키는 방향으로 이에 대한 연구가 활발히 진행되고 있다. 제한 이론, 디폴트 논리, ATMS등이 그 예이다. 다중치 논리는 이러한 시스템들을 단일한 구조안에 포함시키기 위하여 제안된 이론이다. 본 논문에서는 다중치 논리에 근거한 MVL 시스템에서 진리값을 지정하기 위하여 설정하여 주는 양격자 구조를 그림으로 표현하고 이로부터 그에 필요한 리스프 프로그램을 자동으로 생성하는 시스템을 설계, 구현하였다. 양격자 구조는 타당성과 확실성에 따른 두 가지 부분 순서가 하나의 격자에 표현되는 수학적 구조로서 불확실한 진리값을 2차원 평면에 표시할 수 있는 것이 특징이다. 본 논문에서 개발한 시스템은 복잡한 종류의 양격자에 부수적으로 필요한 논리 연산자를 자동으로 생성시킴으로써 MVL 시스템의 사용자가 프로그램을 개발하는데 있어서 편리한 환경을 제공한다.; Realizing human-like problem solving ability on a computer requires the representaion of and reasoning with uncertain knowledge. Recently, there have been a lot of AI researches in this area which extends first order logic, namely, circumscription, default logic and ATMS. Multiple valued logic provides a framework to encompass these systems. MVL system is an automated inference system based on multiple valued logic. In this thesis, a system that automatically generates various bilattices for MVL system is designed and implemented. Bilattice is a mathematical structure with two partial orderings, one for validity and the other for certainty. The system provides an environment in which MVL programs can be developed fast and inference steps be traced with ease.