Contradiction Handling Using Assumption-based TMS

ATMS를 이용한 모순처리 방식

  • 서정학 (숭실대학교 정보과학대학 컴퓨터학부) ;
  • 박영택 (숭실대학교 정보과학대학 컴퓨터학부) ;
  • 조동래 (국방과학연구소 5-1-4) ;
  • 박영우 (국방과학연구소 5-1-4) ;
  • 주재우 (국방과학연구소 5-1-4)
  • Published : 1998.10.01

Abstract

ATMS(Assumption-based Truth Maintenance System)는 추론기관의 추론 과정을 기억하고 각 추론 상태의 진위를 관리해주는 기능을 수행한다. ATMS는 JTMS나 LTMS와는 다르게 각 노드의 레이블과 Nogood들을 관리함으로써, 추론기관의 추론에 모순(Contradiction)이 발생하였을 때 이를 효과적으로 처리해준다. 기존의 ATMS는 모순에 영향을 주는 가정(Assumption)을 제거(Retract)함으로써 모순에 영향을 주는 원인을 제거하는 방식을 취하고 있다. 그러나, 본 논문에서는 이와 같은 방식으로 문제가 해결되지 못하는 새로운 종류의 모순을 설명하고 이를 처리하기 위해서는 ATMS가 추론기관과 연동하여 모순을 처리하는 방식에 대해서 서술하고자한다.

Keywords