[논문 리뷰] A Unified Framework for Nonmonotonic Reasoning with Vagueness and Uncertainty

Sandip Paul, Kumar S. Ray외 1명|arXiv (Cornell University)|2019. 10. 01.

Logic, Reasoning, and Knowledge참고 문헌 55인용 수 4

한 줄 요약

이 논문은 티끌과 불확실성을 동시에 다룰 수 있도록 구간값 흐림집합을 진리값으로 사용하고, 전순서 기반 삼각형을 통해 지식의 비교 가능성을 향상시키는 통합 프레임워크를 제안한다. 차등방정식을 통한 수렴 보장을 갖춘 반복적 답변집합 계산 방법을 도입하여, 흐릿함과 불확실성 하에서 우선순위가 부여된 규칙과 예외 처리 규칙을 직관적으로 추론할 수 있도록 한다.

ABSTRACT

An interval-valued fuzzy answer set programming paradigm is proposed for nonmonotonic reasoning with vague and uncertain information. The set of sub-intervals of $[0,1]$ is considered as truth-space. The intervals are ordered using preorder-based truth and knowledge ordering. The preorder based ordering is an enhanced version of bilattice-based ordering. The system can represent and reason with prioritized rules, rules with exceptions. An iterative method for answer set computation is proposed. The sufficient conditions for termination of iterations are identified for a class of logic programs using the notion of difference equations.

연구 동기 및 목표

• 기존의 흐림논리, 가능성론적, 확률론적 논리 프로그래밍 프레임워크가 동시에 티끌과 불확실성을 다루는 데에 한계를 보이고 있는 문제를 해결하기 위해.
• 비단순집합 기반 지식 순서 체계의 단점을 극복하기 위해, 특히 정보가 불완전한 상황에서 비교할 수 없는 진리값에 대한 문제를 해결하기 위해.
• 구간값 진리도를 갖는 가중치 규칙을 포함하여 고전적 부정, 실패에 의한 부정, 그리고 가중치 규칙을 지원하는 통합 의미론을 개발하기 위해.
• 수렴 보장을 갖춘 수학적으로 타당한 반복적 답변집합 계산 방법을 제공하기 위해.
• 불확실성과 모호성이 본질적인 의료 결정 지원 시스템과 같은 애플리케이션에서 더 직관적이고 강력한 추론을 가능하게 하기 위해.

제안 방법

• 진리 공간은 [0,1]의 모든 부분구간의 집합으로 정의되며, 이는 진리도와 확신 수준을 모두 표현한다.
• 기존의 이중집합 기반 순서 체계를 대체하기 위해 전순서 기반 삼각형을 도입하여, 한 구간이 다른 구간의 부분집합이 아니더라도 의미 있는 구간 간 비교를 가능하게 한다.
• 가중치 규칙을 도입하여, 규칙의 가중치를 구간으로 표현함으로써 불확실성 수준을 나타내고, 예외 처리 및 우선순위 기반 추론을 가능하게 한다.
• 긍정적 및 부정적 증거를 통합하는 지식 집합 연산자를 사용하여, 비단순 추론의 직관성을 향상시킨다.
• 답변집합 계산은 고전적 ASP의 3단계 계산 방식을 영감으로 삼지만, 실수값 진리도를 고려하여 적응시킨 반복적 방법을 사용한다.
• 값 전파 그래프 표현에서 유도된 차분방정식을 사용하여 반복의 수렴성을 분석하고, 수축사상 정리에 의해 종료를 위한 충분조건을 확립한다.

실험 결과

연구 질문

• RQ1 어떻게 통합된 논리 프로그래밍 프레임워크가 비단순 추론에서 동시에 티끌과 불확실성을 효과적으로 모델링할 수 있는가?
• RQ2 정보가 불완전한 상황에서 지식 비교를 지원하는 더 직관적이고 강력한 구간값 진리도 순서 체계는 무엇인가?
• RQ3 실수값 진리도를 갖는 광범위한 논리 프로그램 클래스에 대해 반복적 답변집합 계산이 수렴 보장을 받을 수 있도록 보장할 수 있는가?
• RQ4 제안된 전순서 기반 삼각형은 비단순성과 신념 수정을 다룰 때 기존의 이중집합 기반 삼각형에 비해 어떤 점에서 개선되는가?
• RQ5 구간값 가중치를 갖는 가중치 규칙은 비단순 환경에서 예외 처리 및 우선순위 기반 지식 추론을 어떻게 지원하는가?

주요 결과

• 제안된 전순서 기반 삼각형은 서로 부분집합이 아닐 경우에도 구간값 진리도 간의 의미 있는 비교를 가능하게 하여, 이중집합 기반 순서 체계의 핵심적 한계를 해결한다.
• 이 프레임워크는 고전적 부정과 실패에 의한 부정을 모두 지원하여, 이전의 FASP나 PFASP 접근법보다 더 풍부한 비단순 추론을 가능하게 한다.
• 값 전파 그래프에서 유도된 차분방정식을 사용한 반복적 계산 방법의 수학적 분석을 수행하여, 새로운 수렴 분석 방법을 제시한다.
• 반복 과정의 수렴을 위한 충분조건가 형식적으로 규명되어, 수축사상 정리에 따라 광범위한 프로그램 클래스에 대해 종료 보장을 확보한다.
• 의료 지식의 불확실성과 모호성을 직관적으로 모델링할 수 있으며, 예를 들어 언어적 규칙이나 확률적 진단과 같은 사례에 적합하여 임상 결정 지원 시스템에 적합하다.
• 지식 집합 연산자의 통합은 갈등하는 증거의 처리를 향상시켜 비단순 추론의 현실성과 강건성을 제고한다.