[논문 리뷰] A possibilistic handling of partially ordered information

Salem Benferhat, Sylvain Lagrue외 1명|arXiv (Cornell University)|2012. 10. 19.

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

한 줄 요약

이 논문은 우선순위가 완전히 순서가 매겨지지 않은 부분적으로 순서가 매겨진 지식 기반을 다룰 수 있도록 가능도 논리(logic)를 확장한다. 문맥적 및 의미적 추론 메커니즘을 도입하고, 부분적으로 순서가 매겨진 정보로부터 결론을 도출하기 위한 전용 알고리즘을 제시하여 논리적 일관성을 유지하면서도 완전하지 않은 우선순위 구조에서도 불확실성 하에서 추론이 가능하도록 한다.

ABSTRACT

In a standard possibilistic logic, prioritized information are encoded by means of weighted knowledge base. This paper proposes an extension of possibilistic logic for dealing with partially ordered information. We Show that all basic notions of standard possibilitic logic (sumbsumption, syntactic and semantic inference, etc.) have natural couterparts when dealing with partially ordered information. We also propose an algorithm which computes possibilistic conclusions of a partial knowledge base of a partially ordered knowlege base.

연구 동기 및 목표

• 표준 가능도 논리가 우선순위의 전체 순서를 가정한다는 한계를 해결하기 위해, 부분적으로 순서가 매겨진 정보를 다룰 수 있도록 추론 기능을 제공하는 것.
• 표준 가능도 논리가 부분 우선순위 구조로 일반화될 수 있도록 문법적 및 의미적 추론 관계를 정의하는 것.
• 부분적으로 순서가 매겨진 지식 기반에서 가능도 결론을 도출하기 위한 계산적으로 효과적인 알고리즘을 개발하는 것.
• 가능도 논리의 핵심 성질—예를 들어 일관성과 닫힘 성질—이 부분 순서 구조 하에서도 유지됨을 보장하는 것.

제안 방법

• 가중치가 부여된 공식을 사용하여 부분적으로 순서가 매겨진 우선순위를 가진 지식 기반을 표현하기 위한 형식적 프레임워크를 제안한다.
• 의미 체계를 부분 순서를 고려하여 조정된 가능도 분포를 기반으로 한 가능도 의미론을 정의한다.
• 부분 우선순위 제약 조건을 존중하는 일반화된 해상법 유사 규칙에 기반한 문법적 추론 관계를 도입한다.
• 부분 순서를 따라 가능도 수준을 전파함으로써 점진적으로 결론을 도출하는 계산 알고리즘을 개발한다.
• 공식 간의 지배 관계를 기반으로 하여 부분 우선순위 구조 하에서 더 타당성이 높은 결론을 판단하는 방법을 사용한다.
• 확장된 의미론 하에서 문법적 유도와 의미적 함의 사이의 대응 관계를 수립한다.

실험 결과

연구 질문

• RQ1 표준 가능도 논리는 전체 순서를 가정하지만, 부분적으로 순서가 매겨진 지식 기반을 다룰 수 있도록 어떻게 확장할 수 있는가?
• RQ2 부분 순서에 따라 일반화된 표준 가능도 논리의 적절한 문법적 및 의미적 추론 관계는 무엇인가?
• RQ3 부분적으로 순서가 매겨진 지식 기반에서 논리적 일관성을 유지하면서도 효과적인 알고리즘을 설계하여 결론을 도출할 수 있는가?
• RQ4 가능도 논리의 핵심 성질—예를 들어 닫힘 성질과 일관성—은 부분 우선순위 구조 하에서 어떻게 행동하는가?

주요 결과

• 논문은 표준 가능도 논리의 핵심 개념—예를 들어 포함관계, 문법적 및 의미적 추론—을 부분적으로 순서가 매겨진 정보의 경우로 일반화하는 데 성공했다.
• 부분적으로 순서가 매겨진 지식 기반에서 가능도 결론을 도출하는 타당하고 완전한 추론 알고리즘을 제안했다.
• 제안된 프레임워크는 논리적 일관성을 유지하며, 우선순위가 완전히 순서가 매겨지지 않은 경우에도 상대적인 우선순위 수준에 기반해 결론이 도출됨을 보장한다.
• 제안된 확장 하에서 의미적 및 문법적 추론 관계가 동치임을 입증하여 가능도 논리의 기초 성질을 유지함을 보였다.
• 부분적인 우선순위 정보가 존재하는 불확실성 하에서도 추론이 가능하게 하여, 실제 세계의 상황에서 전체 우선순위 순위가 확보되지 않거나 비현실적인 경우에도 적용 가능하도록 하였다.