비단조적 추론으로서의 의미 기반 매칭: 서술 논리 접근법

매칭은 공급과 수요가 전자 시장에서 만나거나, 에이전트가 특정 작업을 수행할 웹 서비스를 검색할 때, 또는 채용 기관이 커리큘럼과 직무 프로필을 매칭할 때 발생한다. 이러한 열린 환경에서 매칭 프로세스의 목적은 주어진 요청에 대한 최상의 이용 가능한 제안을 발견하는 것이다. 우리는 지식 표현 관점에서 매칭 문제를 다루며, 서술 논리를 기반으로 한 형식을 제시한다. 우리는 매칭을 논리적으로 모델링하기에 적합한 서술 논리에서 비단조적 추론으로서 개념 귀납(concept abduction)과 개념 수축(concept contraction)을 고안하고, 관련된 복잡성 결과를 증명한다. 또한 고안된 추론을 기반으로 한 의미 기반 매칭을 위한 합리적인 알고리즘을 제시하고, 이들이 일부 상식 속성을 준수함을 증명한다. 마지막으로, 전자 시장의 중개자 및 의미 웹 서비스 발견을 위한 매칭 프레임워크의 구현에 대해 보고한다.