[논문 리뷰] n-ary Fuzzy Logic and Neutrosophic Logic Operators

Florentín Smarandache, Vic Christianto|arXiv (Cornell University)|2008. 08. 22.

Advanced Mathematical Theories참고 문헌 7인용 수 4

한 줄 요약

이 논문은 벡터 네우트로소픽 법칙과 벤 다이어그램 코드화를 사용하여 쿤스의 16개의 이진 부울 논리 연산자를 n항 퍼지 및 네우트로소픽 논리 연산자로 확장한다. 이는 퍼지 및 네우트로소픽 논리에서 n항 연산자를 체계적으로 구성하기 위한 프레임워크를 제공하며, 공식화된 진리, 불확실성, 거짓 값과 함께 네우트로소픽 집합, 논리, 확률에서 새로운 연산을 가능하게 한다.

ABSTRACT

We extend Knuth's 16 Boolean binary logic operators to fuzzy logic and neutrosophic logic binary operators. Then we generalize them to n-ary fuzzy logic and neutrosophic logic operators using the smarandache codification of the Venn diagram and a defined vector neutrosophic law. In such way, new operators in neutrosophic logic/set/probability are built.

연구 동기 및 목표

• 쿠스의 16개의 이진 부울 논리 연산자를 퍼지 및 네우트로소픽 논리에서 n항 연산으로 일반화하는 것.
• 스마라니다셰 벤 다이어그램 코드화를 사용하여 n항 연산자를 위한 공식적 프레임워크를 개발하는 것.
• n항 연산을 통해 진리, 불확실성, 거짓 값이 체계적으로 확장될 수 있도록 벡터 네우트로소픽 법칙을 정의하는 것.
• 불확실성과 불확실성을 다룰 수 있는 새로운 네우트로소픽 논리 연산자를 네우트로소픽 집합, 논리, 확률에서 구성하는 것.
• 다중 진리 값과 불확실성을 포함하는 고급 추론 시스템의 기초를 제공하는 것.

제안 방법

• 쿠스의 16개의 이진 부울 논리 연산자를 기반으로 하여 저자들은 이를 퍼지 논리에서 n항 연산으로 확장한다.
• n항 연산을 위한 진리, 불확실성, 거짓 값의 구성요소로 표현하기 위해 벡터 네우트로소픽 법칙을 도입한다.
• 논리적 관계를 매핑하고 n개의 입력에 걸쳐 연산자의 행동을 정의하기 위해 벤 다이어그램의 스마라니다셰 코드화를 사용한다.
• 벡터 네우트로소픽 프레임워크를 사용하여 이진 퍼지 연산을 일반화함으로써 n항 퍼지 논리 연산자를 정의한다.
• 세 값 논리(진리, 불확실성, 거짓)를 n항 형태로 처리할 수 있는 네우트로소픽 논리 연산자를 구성한다.
• 이 프레임워크를 적용하여 네우트로소픽 집합, 논리, 확률에서 불확실성 모델링을 위한 새로운 연산자를 생성한다.

실험 결과

연구 질문

• RQ1 쿠스의 16개의 이진 부울 논리 연산자는 어떻게 체계적으로 n항 퍼지 논리 연산자로 확장될 수 있는가?
• RQ2 이진 논리 연산을 네우트로소픽 논리의 n항 연산으로 일반화하는 데 필요한 공식적 구조는 무엇인가?
• RQ3 벡터 네우트로소픽 법칙은 어떻게 n항 논리 연산에서 진리, 불확실성, 거짓을 코드화하는 데 사용될 수 있는가?
• RQ4 이 n항 확장 프레임워크에서 어떤 새로운 네우트로소픽 논리 연산자가 도출되는가?
• RQ5 이 프레임워크는 어떻게 네우트로소픽 집합, 논리, 확률에서 새로운 연산자를 구성하는 데 응용될 수 있는가?

주요 결과

• 논문은 체계적인 확장 과정을 통해 쿤스의 16개의 이진 부울 논리 연산자를 n항 퍼지 논리 연산자로 성공적으로 일반화한다.
• 진리, 불확실성, 거짓 값이 n항 연산 전반에서 체계적으로 행동할 수 있도록 새로운 벡터 네우트로소픽 법칙이 도입된다.
• 스마라니다셰 코드화된 벤 다이어그램은 복잡한 n항 논리적 관계를 시각적이고 수학적으로 매핑하는 데 기여한다.
• 이 프레임워크는 기존의 이진 논리에서 다중 진리 값과 불확실성을 포함하는 시스템으로 확장되는 공식화된 네우트로소픽 논리 연산자를 생성한다.
• 이 방법은 명확한 수학적 기초를 바탕으로 하여 네우트로소픽 집합, 논리, 확률에서 n항 연산자를 구성하기 위한 기초를 제공한다.
• 이 접근법은 전통적인 이진 논리나 퍼지 논리 이상의 불확실성과 불확실성을 다룰 수 있는 고급 추론 시스템의 개발을 가능하게 한다.