[논문 리뷰] On the relationship between fuzzy logic and four-valued relevance logic

Umberto Straccia|ArXiv.org|2000. 10. 31.

Rough Sets and Fuzzy Logic참고 문헌 12인용 수 3

한 줄 요약

이 논문은 특정 이중 조건 하에서 퍼지 명제 논리가 네가지 진리값 관련 논리로 붕괴됨을 입증한다—여기서는 명제의 진리값이 {참, 거짓, 알 수 없음, 모순}에 속한다—퍼지 함의가 개념적으로도 논리적으로도 네가지 진리값 함의와 고전적 이진 진리값 함의 사이에 위치함을 보여준다. 핵심 기여는 함의 관계를 통해 퍼지 논리와 관련 논리 사이의 공식적 다리를 놓는 것이다.

ABSTRACT

In fuzzy propositional logic, to a proposition a partial truth in [0,1] is assigned. It is well known that under certain circumstances, fuzzy logic collapses to classical logic. In this paper, we will show that under dual conditions, fuzzy logic collapses to four-valued (relevance) logic, where propositions have truth-value true, false, unknown, or contradiction. As a consequence, fuzzy entailment may be considered as ``in between'' four-valued (relevance) entailment and classical entailment.

연구 동기 및 목표

• 퍼지 명제 논리와 네가지 진리값 관련 논리 간의 논리적 관계를 조사하는 것.
• 퍼지 논리가 네가지 진리값 논리로 축소되는 조건을 규명하는 것.
• 퍼지 함의가 고전적 함의와 네가지 진리값 함의에 비해 어느 위치에 있는지 명확히 하는 것.
• 진리값에 대한 메타레벨 제약 조건을 사용하여 퍼지 논리의 함의 관계를 공식화하는 것.
• 퍼지 함의가 네가지 진리값 함의에 의해 아래로 경계지어지고 고전적 함의에 의해 위로 경계지어진다는 것을 보여주는 것.

제안 방법

• 논문은 명제의 진리값을 [0,1]에 할당하는 퍼지 명제 논리를 정의하며, ⟨A ≥ n⟩ 및 ⟨A ≤ n⟩와 같은 메타레벨 제약 조건을 사용하여 진리값의 범위를 표현한다.
• 메타원소가 참(1) 또는 거짓(0)인 메타논리 ℒf를 도입하여, 퍼지 진리값에 대한 제약 조건을 표현한다.
• 이전 연구자들인 앤더슨, 벨냅 등이 정의한 바에 따라 진리값 집합 {참, 거짓, 알 수 없음, 모순}을 사용하여 네가지 진리값 관련 논리를 공식화한다.
• 모델 이론적 의미론을 사용하여 퍼지 함의(|≈r), 네가지 진리값 함의(⊨4), 고전적 함의(⊨2)를 비교함으로써 함의 관계를 수립한다.
• A |≈r B가 성립하는 것은 A ⊨4 B 또는 ⊨2 ¬A ∧ B 중 하나이면 충분하고 필요하다는 것을 증명하여, 비자명한 경우에 퍼지 함의가 네가지 진리값 함의를 포함함을 보여준다.
• 다른 퍼지 함의 정의(|≈a, |≈b, |≈c)를 분석하고, 메타논리적 제약 조건을 통해 고전적 또는 네가지 진리값 함의로 매핑한다.

실험 결과

연구 질문

• RQ1 퍼지 명제 논리가 어떤 조건에서 네가지 진리값 관련 논리로 붕괴되는가?
• RQ2 퍼지 함의가 논리적 강도 측면에서 고전적 함의와 네가지 진리값 함의와 어떻게 관련되어 있는가?
• RQ3 퍼지 함의가 네가지 진리값 함의와 고전적 함의 사이에 위치한다는 것을 공식적으로 특징지을 수 있는가?
• RQ4 ⟨A ≥ n⟩와 같은 메타레벨 제약 조건이 퍼지 논리와 네가지 진리값 논리 사이의 연결에 어떤 역할을 하는가?
• RQ5 다른 퍼지 함의 정의(|≈a, |≈b, |≈c)는 고전적 또는 네가지 진리값 함의로 어떻게 매핑되는가?

주요 결과

• 퍼지 함의 |≈r는 논리적으로 네가지 진리값 함의 ⊨4에 의해 아래로 경계지어지고 고전적 함의 ⊨2에 의해 위로 경계지어진다.
• 비자명한 모든 경우—즉, 전제가 고전적으로 만족 가능하고 결론이 타당하지 않은 경우—에서 퍼지 함의 |≈r는 네가지 진리값 함의 ⊨4와 정확히 동일하다.
• A |≈r B가 성립하는 것은 A ⊨4 B 또는 ⊨2 ¬A ∧ B 중 하나일 때에만 성립하며, 이는 정확한 논리적 동치성을 확립한다.
• |≈a 정의는 정확히 고전적 함의 ⊨2와 일치한다. 왜냐하면 |≈a B는 ⊨2 ¬A ∨ B와 동치이기 때문이다.
• |≈b 정의는 다음의 논리적 합으로 표현된다: B가 고전적 타당문이거나 A ⊨4 B여야 한다.
• |≈c 정의는 논리적 합의 정규형에 대한 조건을 따르며, A의 각 논리합 항 Aj에 대해, ¬Aj가 타당하거나 Aj ⊨4 B여야 한다.