검색 상세

시간표현을 고려한 규칙기반 추론엔진 구현

Rule-based Inference Engine with Temporal Reasoning

초록/요약

인류의 출현과 함께한 지식의 표현은 몸짓에서 시작하여, 언어 그리고 문자의 발명을 통해 발전해왔다. 문자의 발명이후 지속된 지식의 표현에 관한 연구들은 컴퓨터의 발명이후 컴퓨터에서의 지식표현에 관한 연구로 이어졌다. 컴퓨터에서의 지식표현들은 사람의 논리적 사고를 기반으로 하는 논리기반 지식표현에서부터 최근의 인터넷 환경을 고려한 OWL에 이르기까지 많은 연구들이 있었고, 또한 표현된 지식을 이용한 추론에 관한 연구들이 있었다. 이 가운데 규칙 기반 방법은 지식을 통해 시스템을 지능적인 방법으로 만드는 효과적인 방법이다. 지식을 표현하는데 있어서 중요한 요소 중에 하나는 시간이다. 어떤 사건은 시간과 공간의 변화에 따른 상태의 변화로 정의될 수 있다. 시간의 변화에 따라 어떤 사실에 대한 양상이 변할 수 있기 때문이다. 따라서 시간의 표현과 추론에 관한 연구가 필요하다. 본 논문에서는 기존의 지식 표현 방법론 중 규칙기반 방법론을 기반으로 시간에 관한 추론이 가능한 규칙기반 지식표현 방법을 연구하고, 이를 통해 표현된 지식을 추론하는 추론엔진인 JRM-Time을 구현한다. JRM은 규칙기반 방법론과 Rete Network 알고리즘에 기반을 둔 추론엔진으로 시간을 표현하고 추론하기 위한 기능을 추가한 것이 JRM-Time이다. 기존의 규칙기반 지식 표현과 시간 추론에 관해 연구하고 JRM-Time에 대한 평가와 추후 연구 방향에 대해 논할 것이다.

more

초록/요약

The one of important part of Knowledge representation is time. A event can be defined as a variation of condition follows changing of time and space. Then changing of time accompanies with changing condition of an event. Therefore research of time representation and temporal reasoning is needed. This paper researches Rule-based Knowledge Representation technique which involves time representation and implements Rule-based Inference Engine JRM-Time which can use that technique and do temporal reasoning. JRM is based on Rule-based Knowledge Representation and Rete network algorithm. JRM-Time is extension of JRM with time representation and temporal reasoning.

more

목차

제 1 장 서론 = 1
제 2 장 관련 연구 = 3
제 1 절 지식 표현 언어 연구 = 4
제 1 항 논리(Logic) = 4
제 2 항 의미망(Semantic Network) = 5
제 3 항 프레임 = 6
제 2 절 규칙기반 추론엔진 연구 = 8
제 1 항 Rete Network Algorithm = 10
제 2 항 규칙기반 추론엔진 = 12
제 3 절 시간 추론 연구 = 14
제 1 항 시간 추론(Temporal Reasoning) = 14
제 3 장 시간 표현을 고려한 규칙기반 지식표현 = 18
제 1 절 제안한 지식표현의 SYNTAX와 SEMANTIC = 18
제 4 장 Rete 알고리즘에 기반을 둔 규칙기반 추론엔진 개발 = 22
제 1 절 기존 규칙기반 시스템에서 시간 추론의 문제점 = 22
제 2 절 추론엔진 개요 = 23
제 1 항 추론엔진 개발환경과 주요 특징 = 23
제 2 항 시스템 구조 = 24
제 3 절 편집기 사용자 인터페이스 = 25
제 5 장 결과 및 향후계획 = 26
제 1 절 결과 = 26
제 2 절 향후 계획 = 28
참고 문헌 = 30
Abstract = 32

more