[論文レビュー] Interval Neutrosophic Logics: Theory and Applications

Haibin Wang, Florentín Smarandache+2 more|ArXiv.org|Oct 21, 2004

Multi-Criteria Decision Making参考文献 17被引用数 64

ひとこと要約

本稿では、真偽度、不確実性度、偽り度を区間値として明示的にモデル化することにより、ファジィ論理、直感的ファジィ論理、パラ一コンシステント論理を統合的に拡張する枠組みとして区間ネイツォソフィック論理を導入する。区間ネイツォソフィック命題論理および述語論理の形式的定式化を行い、近似推論に適した区間ネイツォソフィック論理システム（INLS）を提案・実装することで、医療情報学や意思決定応用分野における不確実性、不完全性、矛盾性を有する情報の強固な処理を可能にする。

ABSTRACT

In this paper, we present the interval neutrosophic logics which generalizes the fuzzy logic, paraconsistent logic, intuitionistic fuzzy logic and many other non-classical and non-standard logics. We will give the formal definition of interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. Then we give one application of interval neutrosophic logics to do approximate reasoning.

研究の動機と目的

• 真偽度、不確実性度、偽り度を統合的に取り扱う形式的論理体系を構築し、ファジィ論理、直感的ファジィ論理、パラ一コンシステント論理を統一すること。
• 既存の論理体系では、矛盾や不完全な情報が存在する場合に論理的自明性に陥るという限界を解消すること。
• 区間値を用いた所属度を備えた区間ネイツォソフィック命題論理および述語論理の形式的枠組みを提案すること。
• 不確実な環境における近似推論に適した区間ネイツォソフィック論理システム（INLS）を設計・実装すること。
• 医療情報学、バイオインフォマティクス、ウェブインテリジェンスなど、不確実性と不整合性が顕著な分野への実用的応用を可能にすること。

提案手法

• 真実度所属 $[T^L, T^U]$、不確実性度所属 $[I^L, I^U]$、偽り度所属 $[F^L, F^U]$ の3つの区間値関数を用いて、区間ネイツォソフィック集合を定義する。各関数は $[0,1]$ の範囲に収まる。
• 区間値の真実度、不確実性度、偽り度に基づく論理的結合子および演算子を備えた、区間ネイツォソフィック命題論理を形式化する。
• 変数束縛と量化を可能にするために、一階の区間ネイツォソフィック述語論理に拡張する。
• 重み付き合成を用いたネイツォソフィック推論メカニズムを提案：$T_{\bar{B}}(y) = aT'_{\tilde{B}}(y) + b(1 - F'_{\tilde{B}}(y)) + cI'_{\tilde{B}}(y)/2 + d(1 - I'_{\tilde{B}}(y)/2)$、ここで $a+b+c+d=1$。
• 重心法によるデネイツォソフィケーションを実装：$dn(T_{\bar{B}}(y)) = \frac{\int_{\alpha}^{\beta} T_{\bar{B}}(y)y\,dy}{\int_{\alpha}^{\beta} T_{\bar{B}}(y)\,dy}$、これによりネイツォソフィック出力をクリップ値に変換する。
• 5段階のINLSパイプライン（ネイツォソフィケーション、ネイツォソフィックルールベース、ネイツォソフィック推論、タイプ還元、デネイツォソフィケーション）に統合する。

実験結果

リサーチクエスチョン

• RQ1 真実度、不確実性度、偽り度を区間値として同時に表現できる論理体系をどのように形式化できるか？
• RQ2 区間ネイツォソフィック論理は、ファジィ論理、直感的ファジィ論理、パラ一コンシステント論理といった既存の論理体系を統合できるか？
• RQ3 矛盾や対立する情報が存在する場合に論理的自明性に陥ることなく、どのように処理できるか？
• RQ4 不完全で曖昧かつ矛盾を含むデータを有するシステムにおいて、どのような強固な近似推論手法が有効か？
• RQ5 区間ネイツォソフィック論理システムは、意思決定や医療情報学のような実世界の応用分野でどのように実装・検証できるか？

主な発見

• 区間ネイツォソフィック命題論理および述語論理の形式的定義により、ファジィ論理、直感的ファジィ論理、パラ一コンシステント論理を一般化する包括的な論理的枠組みが提供される。
• 提案された区間ネイツォソフィック論理システム（INLS）は、論理的自明性を回避しながら、曖昧で不完全かつ矛盾を含む情報を効果的に処理できる。
• 合成関数 $T_{\bar{B}}(y) = aT'_{\tilde{B}}(y) + b(1 - F'_{\tilde{B}}(y)) + cI'_{\tilde{B}}(y)/2 + d(1 - I'_{\tilde{B}}(y)/2)$ により、真実度、不確実性度、偽り度の各成分が、調整可能な重みを用いて単一の真実度に効果的に統合される。
• 重心法を用いたデネイツォソフィケーションプロセスにより、ネイツォソフィックシステムの意味的意味を保持したクリップ値が出力される。
• INLSアーキテクチャ（ネイツォソフィケーション、ルールベース、推論、タイプ還元、デネイツォソフィケーション）は、不確実な環境におけるリアルタイム近似推論を実現する包括的なパイプラインを提供する。
• 本フレームワークは、不確実性と不整合性が本質的な医療情報学、バイオインフォマティクス、ウェブインテリジェンスなど多様な分野に応用可能である。