[논문 리뷰] Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence

Thomas Lukasiewicz|ArXiv.org|2002. 07. 22.

Logic, Reasoning, and Knowledge참고 문헌 51인용 수 6

한 줄 요약

이 논문은 모델 이론적 비결정론적 논리와 일관성 기반 비결정론적 논리 사이의 다리 역할을 하는 페어의 System Z와 레오만의 레이크소그래픽 함의의 확률론적 일반화를 제안한다. 새로운 형식 체계인 z-함의와 lex-함의는 고전적 기본 추론을 적절히 일반화하며, 일관성 기반 함의보다 강력하고 모델 이론적 함의보다 약한 성질을 지닌다. 특히 영확률 사건에 조건부 적용할 때 발생하는 모순을 해결하는 데 특별히 효과적이다.

ABSTRACT

Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P. In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated notions of classical default entailment that lie between model-theoretic probabilistic entailment and probabilistic entailment under coherence. That is, the new formalisms properly generalize their counterparts in classical default reasoning, they are weaker than model-theoretic probabilistic entailment, and they are stronger than probabilistic entailment under coherence. The new formalisms are useful especially for handling probabilistic inconsistencies related to conditioning on zero events. They can also be applied for probabilistic belief revision. More generally, in the same spirit as a similar previous paper, this paper sheds light on exciting new formalisms for probabilistic reasoning beyond the well-known standard ones.

연구 동기 및 목표

• . 기존의 비결정론적 추론 프레임워크의 한계, 특히 영확률 사건에 조건부 적용 시 발생하는 모순 문제를 다루고자 한다.
• . 모델 이론적 비결정론적 논리와 일관성 기반 비결정론적 논리 사이의 중간 수준의 함의를 형식화하고자 한다.
• . 고전적 기본 추론을 일반화하면서도 계산적·논리적 일관성을 유지하는 정교한 형식 체계를 제공하고자 한다.
• . 비결정론적 신념 재편성과 불확실성 하에서의 비모노톤 추론을 더 견고하게 지원하고자 한다.

제안 방법

• . 논문은 두 가지 새로운 함의 관계인 z-함의와 lex-함의를 도입하며, 이는 고전적 비모노톤 논리의 확률론적 일반화를 통해 정의된다.
• . 델 페티의 일관성 원칙을 충족시키는 확률론적 지식 기반의 g-일관성 있는 확률론적 지식 기반을 기초로 정의한다.
• . 조건부 제약 조건에 간격 경계를 부여한 기반 위에서 형식 체계를 구축하며, 함의는 지식 기반과 조건부 제약를 만족하는 모델을 통해 평가된다.
• . 영확률 조건부 사건에 대해선 g-일관성, z-함의, lex-함의가 모두 일치함을 증명하여 통합된 프레임워크를 제공한다.
• . 확률 제약 조건을 고전적 기본 추론으로 매핑하는 연산자 γ를 사용하여 System P, System Z, 레이크소그래픽 함의와 같은 고전적 체계와의 비교를 가능하게 한다.
• . 모델 이론적 추론과 일관성 기반 추론을 활용하여 이론적 결과를 도출하며, 함의 유형 간의 동치성과 계층관계에 대한 엄밀한 증명을 제시한다.

실험 결과

연구 질문

• RQ1 . 모델 이론적 비결정론적 함의와 일관성 기반 비결정론적 함의 사이에 엄격히 놓이는 비결정론적 함의는 어떻게 형식화할 수 있는가?
• RQ2 . 새로운 비결정론적 함의 체계(z-함의와 lex-함의)는 System Z와 레이크소그래픽 함의와 같은 고전적 비모노톤 논리와 어떤 관계가 있는가?
• RQ3 . g-일관성, z-, lex-함의가 언제 일치하고, 언제 분리되는가?
• RQ4 . 이러한 새로운 형식 체계는 어떤 조건에서 영확률 사건에 대한 조건부 적용으로 인한 모순을 해결하는가?
• RQ5 . 이러한 함의 관계는 비결정론적 신념 재편성과 불확실성 하에서의 비모노톤 추론에 효과적으로 활용될 수 있는가?

주요 결과

• . z-함의와 lex-함의의 새로운 형식 체계는 System Z와 레이크소그래픽 함의의 고전적 기본 추론을 적절히 일반화한다.
• . 조건부 사건의 확률이 양수인 확률론적 지식 기반에서는 g-일관성, z-, lex-함의가 모두 일치한다.
• . 논문은 z-함의와 lex-함의가 일관성 기반 함의보다 강력하고 모델 이론적 비결정론적 함의보다 약한 것을 증명한다.
• . 예제 4.9는 g-일관성 함의가 (fly|eagle)[1,1]을 도출하지 못할 수 있음을 보여주며, 이는 고전적 추론과의 핵심적인 차이를 드러낸다.
• . 영확률 사건에 대한 조건부 적용에서 발생하는 모순을 해결하는 데 특히 효과적이며, 고전적 직관을 유지한다.
• . 이론적 결과는 새로운 함의 관계가 적절한 매핑 하에서 고전적 대응체를 일반화함을 확인하며, 비결정론적 추론 체계 간의 계층관계를 수립한다.