[論文レビュー] Interval Neutrosophic Sets

Haibin Wang, Praveen Madiraju+2 more|ArXiv.org|Sep 7, 2004

Multi-Criteria Decision Making参考文献 5被引用数 6

ひとこと要約

本稿は、現実世界のデータにおける不確実性、不定性、不整合性をモデル化するための、ネウトロソフィック集合理論における洗練された枠組みとして区間ネウトロソフィック集合（INS）を導入する。集合演算を定義し、凸性や包含関係などの性質を証明することで、著者らはINSがファジィ集合、直感的ファジィ集合、区間値ファジィ集合の一般化であることを確立し、情報統合や意思決定などの応用分野における不完全で不整合のある情報の強固な処理を可能にする。

ABSTRACT

Neutrosophic set is a part of neutrosophy which studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. Neutrosophic set is a powerful general formal framework that has been recently proposed. However, neutrosophic set needs to be specified from a technical point of view. To this effect, we define the set-theoretic operators on an instance of neutrosophic set, we call it interval neutrosophic set (INS). We prove various properties of INS, which are connected to the operations and relations over INS. Finally, we introduce and prove the convexity of interval neutrosophic sets.

研究の動機と目的

• 区間ネウトロソフィック集合（INS）を導入することで、ネウトロソフィック集合を計算的に利用可能な枠組みへ形式化すること。
• INSにおける集合論的演算（和集合、積集合、補集合）を定義・分析し、実用的応用を支援すること。
• 包含関係、分配法則、凸性といった重要な性質をINSに対して証明し、論理的整合性と適用可能性を保証すること。
• INSが古典的集合、ファジィ集合、区間値ファジィ集合、直感的ファジィ集合、パラ一貫的集合を特殊ケースとして包含することを示すこと。

提案手法

• 真偽、不定性、偽の所属度を[0,1]内での区間として表現する集合として、区間ネウトロソフィック集合（INS）を定義する。
• 区間に基づく最小値・最大値・補集合ルールを用いて、標準的な集合論的演算（和集合、積集合、補集合）を導入する。
• 成分ごとの区間演算を用いて演算を確立する。例えば、真偽、不定性、偽の所属度について、下限（inf）と上限（sup）の値を用いる。
• 区間値所属関数を用いてINSの凸性を定義し、凸性INSの積集合が再び凸であることを証明する。
• 形式的証明を用いて、包含関係、分配法則、演算における閉包性などの性質を検証する。
• INSが既存のファジィ集合モデルを包含することを示し、それらがINSの特殊ケースとして表現できることを示す。

実験結果

リサーチクエスチョン

• RQ1 ネウトロソフィック集合を、現実世界の応用に適した計算的に扱える枠組みへ形式化するにはどうすればよいか？
• RQ2 区間ネウトロソフィック集合における基本的な集合論的演算（和集合、積集合、補集合）は何か？ また、それらが満たす性質は何か？
• RQ3 区間ネウトロソフィック集合の凸性は、積集合に対してどのように振る舞い、最適化や意思決定にどのような意味を持つのか？
• RQ4 区間ネウトロソフィック集合は、古典的集合、ファジィ集合、直感的ファジィ集合、パラ一貫的集合をどのように一般化するのか？

主な発見

• 本稿は、二つの区間ネウトロソフィック集合の和集合が両者を含む最小の集合であり、積集合が両者に含まれる最大の集合であることを証明している。
• 和集合の補集合が補集合の和集合の部分集合であることを確立し、積集合と補集合の演算に対しても同様の恒等式が成り立つことを示している。
• 二つの凸な区間ネウトロソフィック集合の積集合が自身で凸であることを証明しており、積集合においても凸性が保たれることを示している。
• 区間ネウトロソフィック集合が、古典的集合、ファジィ集合、区間値ファジィ集合、直感的ファジィ集合、パラ一貫的集合を特殊ケースとして包含していることを示している。
• 本稿は、区間ネウトロソフィック集合モデルが、投票システムやセンサ統合における不整合や不定性のある情報まで表現可能であることを示しており、直感的ファジィ集合や区間値ファジィ集合の範囲を超える。
• 本稿は、INSにおける集合論的演算が閉じており、主要な代数的性質を満たすことを形式的に証明しており、不確実な環境下での信頼性の高い計算を可能としている。