[논문 리뷰] The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences

Kostis Vezerides, Athanasios Kehagias|arXiv (Cornell University)|2003. 09. 24.

Advanced Algebra and Logic참고 문헌 44인용 수 5

한 줄 요약

이 논문은 린더 역설과 같은 자기참조 문장 집합에 일관된 진리값을 부여하기 위한 퍼지 논리 프레임워크를 제안한다. 이는 문제를 비선형 방정식의 연립방정식으로 환원함으로써 이루어지며, 약간의 조건 하에 항상 [0,1]^M 내에서 일관된 해가 존재함을 증명한다. 또한 이러한 해를 계산하기 위한 알고리즘을 제시하며, 고전적 0/1 진리값 딜레마를 피하기 위해 퍼지 진리값이 역설을 해결함을 보여준다.

ABSTRACT

We study self-referential sentences of the type related to the Liar paradox. In particular, we consider the problem of assigning consistent fuzzy truth values to collections of self-referential sentences. We show that the problem can be reduced to the solution of a system of nonlinear equations. Furthermore, we prove that, under mild conditions, such a system always has a solution (i.e. a consistent truth value assignment) and that, for a particular implementation of logical ``and'', ``or'' and ``negation'', the ``mid-point'' solution is always consistent. Next we turn to computational issues and present several truth-value assignment algorithms; we argue that these algorithms can be understood as generalized sequential reasoning. In an Appendix we present a large number of examples of self-referential collections (including the Liar and the Strengthened Liar), we formulate the corresponding truth value equations and solve them analytically and/ or numerically.

연구 동기 및 목표

• 자기참조 역설, 예를 들어 린더 역설과 강화된 린더 역설을 고전적 이진값이 아닌 일관된 퍼지 진리값을 할당하여 해결하고자 한다.
• 일관된 진리값 부여 문제를 비선형 방정식의 연립방정식으로 형식화하고자 한다.
• 약간의 연속성 조건 하에 이러한 연립방정식에 항상 해가 존재함을 보여주고자 한다.
• 퍼지 논리 프레임워크에서 일관된 진리값 부여를 찾기 위한 계산 알고리즘을 개발하고 평가하고자 한다.
• 유한한 진리값 집합을 고려하여 고전 논리와 무한 다가치 논리 사이의 중간 지점으로서 유한한 진리값 집합을 통해 유한 합리성의 영향을 탐색하고자 한다.

제안 방법

• 자기참조 문장에 대한 일관된 진리값 부여 문제를 논리 연결사(AND, OR, NOT)를 적용한 비선형 대수 방정식 연립방정식으로 환원한다.
• 특정 퍼지 논리 연산자 구현—특히 중앙값 해법—을 사용하여, 약간의 조건 하에 일관성이 보장됨을 보장한다.
• 뉴턴-라프슨 및 최소화 기반 최적화와 같은 표준 수치적 근 찾기 기법을 사용하여 비선형 연립방정식을 해결한다.
• 제어 이론에 영향을 받은 알고리즘을 도입하여 진리값 부여의 수렴 속도, 안정성, 심리학적 타당성 간의 균형을 확보한다.
• 논리적 표현을 [0,1] 범위의 진리값으로 매핑하는 진리 함수 Tr(·)를 사용하여 이진 평가가 아닌 연속적 평가를 가능하게 한다.
• 린더 역설, 강화된 린더 역설, 이원론적 문장 쌍 등 다양한 예제를 대상으로 분석적 및 수치적 해법을 통해 접근의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 약간의 연속성 조건 하에, 모든 자기참조 문장 집합은 [0,1]^M 내에서 최소한 하나의 일관된 퍼지 진리값 부여를 갖는가?
• RQ2 퍼지 논리 연산에서 유도된 비선형 방정식 연립방정식은 항상 해를 갖는가? 이는 일관성을 보장하는가?
• RQ3 뉴턴-라프슨, 최소화, 제어 이론에 기반한 알고리즘과 같은 다양한 계산 알고리즘 간의 수렴성, 속도, 타당성은 어떻게 비교되는가?
• RQ4 특정 퍼지 논리 연산자 구현 하에서 '중앙값' 해법(모든 진리값을 0.5로 설정)은 항상 일관성 있는가?
• RQ5 이 프레임워크는 인간의 인지적 유한 합리성을 더 잘 모델링하기 위해 유한한 진리값 집합으로 일반화될 수 있는가?

주요 결과

• 약간의 연속성 조건 하에, 모든 자기참조 문장 집합은 [0,1]^M 내에서 최소한 하나의 일관된 퍼지 진리값 부여를 갖는다.
• 특정 퍼지 논리 연산자 구현 하에서 중앙값 해법(모든 진리값을 0.5로 설정)은 항상 일관성 있다.
• 자기참조 문장 간의 논리적 관계에서 유도된 비선형 방정식 연립방정식은 최소한 하나의 해를 항상 갖는다.
• 수치 실험 결과, 제어 이론에 영향을 받은 알고리즘이 수렴 속도, 안정성, 심리학적 타당성 간의 균형을 잘 유지함을 보였다.
• 고전적 역설, 예를 들어 린더 역설과 강화된 린더 역설은 비이진 진리값을 할당하여 성공적으로 해결되었으며, 이는 0/1 모순을 피함으로써 가능했다.
• 이 프레임워크는 유한한 진리값 집합으로 확장될 수 있으며, 이 경우 0-불일관성 해의 존재는 더 이상 보장되지 않아, 유한 합리성 분야에서 새로운 연구 방향을 열어 놓았다.