[論文レビュー] N-norm and N-conorm in Neutrosophic Logic and Set, and the Neutrosophic Topologies

Florentín Smarandache|ArXiv.org|Jan 9, 2009

Multi-Criteria Decision Making参考文献 7被引用数 13

ひとこと要約

本稿では、ニュートロソフィック論理および集合論におけるT-ノルムとT-コノルムの拡張としてN-ノルムとN-コノルムを導入し、不確実性を扱うためのファジィ論理演算を不確実性を含む形に一般化する。さらに、直感的ファジィトポロジーの拡張としてニュートロソフィックトポロジーを提案し、真実、不確実性、偽りという3つの独立した要素を用いた、不確実性下での推論をより包括的に行うためのフレームワークを提供する。

ABSTRACT

In this paper we present the N-norms/N-conorms in neutrosophic logic and set as extensions of T-norms/T-conorms in fuzzy logic and set. Also, as an extension of the Intuitionistic Fuzzy Topology we present the Neutrosophic Topologies.

研究の動機と目的

• T-ノルムとT-コノルムをファジィ論理からニュートロソフィック論理へ拡張するため、N-ノルムとN-コノルムを導入すること。
• 真実、不確実性、偽りを独立して扱うニュートロソフィック集合における演算を形式化すること。
• 直感的ファジィトポロジーをニュートロソフィックトポロジーへ一般化し、不確実性推論への広範な適用可能性を高めること。
• 複雑な不確実性モデリングを支援するニュートロソフィック論理および集合演算の理論的基盤を提供すること。
• 人工知能や不確実性下での意思決定応用を想定し、ファジィ論理および直感的論理の既存フレームワークを統合・拡張すること。

提案手法

• N-ノルムをニュートロソフィック単位立方体 [0,1]×[0,1]×[0,1] 上のT-ノルムに類似した演算として提案し、T-ノルムを3つの成分へ一般化する。
• N-ノルムの双対としてのN-コノルムを導入し、ニュートロソフィック論理における論理和をモデル化する。
• N-ノルムおよびN-コノルムに基づくニュートロソフィック開集合を用いて、直感的ファジィトポロジーからの拡張としてニュートロソフィックトポロジーを定義する。
• N-ノルムおよびN-コノルムの公理を確立し、可換性、結合性、境界条件を含む。
• ニュートロソフィック集合および論理にこのフレームワークを適用し、真実所属度、不確実性所属度、偽り所属度の演算を可能にする。
• 3次元のニュートロソフィック空間におけるN-ノルムおよびN-コノルムの挙動を図示する。

実験結果

リサーチクエスチョン

• RQ1 ファジィ論理におけるT-ノルムとT-コノルムは、どのようにニュートロソフィック論理における不確実性を扱うように一般化できるか？
• RQ2 ニュートロソフィック集合における有効なN-ノルムおよびN-コノルムを定義する公理的性質は何か？
• RQ3 N-ノルムおよびN-コノルムを用いて、不確実性を含む位相空間をモデル化するニュートロソフィックトポロジーはどのように構築できるか？
• RQ4 N-ノルムおよびN-コノルムは、直感的ファジィ論理およびファジィ論理における既存の演算をどのように改善するか？
• RQ5 直感的ファジィトポロジーをニュートロソフィックトポロジーへ拡張することは、表現力および応用範囲の面でどのような意味を持つのか？

主な発見

• N-ノルムおよびN-コノルムは、T-ノルムおよびT-コノルムに類似した公理を満たすニュートロソフィック単位立方体上での演算として正式に定義されている。
• 提案されたN-ノルムおよびN-コノルムにより、ニュートロソフィック論理における真実、不確実性、偽りの成分を独立して操作できる。
• ニュートロソフィックトポロジーは、N-ノルムに基づくニュートロソフィック開集合を用いて定義され、直感的ファジィトポロジーの一般化として導入された。
• 不確実性を第三の次元として明示的にモデル化することで、不確実性のより包括的な表現が可能になった。
• 本稿では、ニュートロソフィック論理および集合演算がN-ノルムおよびN-コノルムを用いて体系的に拡張可能であることを示しており、不確実性下での高度な推論の基盤を提供する。
• 概念図および既存のファジィ論理および直感的ファジィ論理システムとの整合性チェックを通じて、理論的フレームワークの妥当性が検証された。