[論文レビュー] Investigating The Piece-Wise Linearity And Benchmark Related To Koczy-Hirota Fuzzy Linear Interpolation

Maen Alzubi, Szilveszter Kovács|arXiv (Cornell University)|Jul 1, 2019

Fuzzy Logic and Control Systems参考文献 19被引用数 4

ひとこと要約

本稿では、Koczy-Hirotaファジィ線形補間（KH-FRI）における区分的線形性（PWL）特性を調査し、αカット表現におけるファジィ集合に適用された場合にKH-FRIがPWLを保持しないことを示している。著者らは、非PWL条件下でのFRI手法の評価を目的としたベンチマークセットを提案し、スパースなルールベースにおける手法の頑健性および線形性保持のための基準を確立している。

ABSTRACT

Fuzzy Rule Interpolation (FRI) reasoning methods have been introduced to address sparse fuzzy rule bases and reduce complexity. The first FRI method was the Koczy and Hirota (KH) proposed "Linear Interpolation". Besides, several conditions and criteria have been suggested for unifying the common requirements FRI methods have to satisfy. One of the most conditions is restricted the fuzzy set of the conclusion must preserve a Piece-Wise Linearity (PWL) if all antecedents and consequents of the fuzzy rules are preserving on PWL sets at α-cut levels. The KH FRI is one of FRI methods which cannot satisfy this condition. Therefore, the goal of this paper is to investigate equations and notations related to PWL property, which is aimed to highlight the problematic properties of the KH FRI method to prove its efficiency with PWL condition. In addition, this paper is focusing on constructing benchmark examples to be a baseline for testing other FRI methods against situations that are not satisfied with the linearity condition for KH FRI.

研究の動機と目的

• Koczy-Hirotaファジィ線形補間（KH-FRI）手法の区分的線形性（PWL）保持に関する理論的制限を分析すること。
• αカット表現におけるファジィ集合のPWLを維持できないKH-FRIの数学的条件を特定・形式化すること。
• 非PWL条件下でのKH-FRIの失敗を露呈する標準化されたテストケースのベンチマークを構築すること。
• 線形性保持が重要な状況における他のFRI手法の評価のための基準を提供すること。

提案手法

• 著者らは、KH-FRIにおけるファジィ集合のαカット表現を支配する数学的式を導出し、αレベル間での線形性保持を分析している。
• 前提部および結論部がαカットでPWLである場合に、結論ファジィ集合がPWLのままである条件を形式化している。
• PWL条件を破るよう意図的に設計された、体系的なベンチマーク例の構築が行われた。
• 非線形補間シナリオにおけるFRI手法の頑健性をテストできる多様なファジィ集合構成がベンチマークに含まれている。
• 形式的表記と記号的解析を用いて、特定の入力構成下でのKH-FRIにおける線形性の崩壊を示している。
• 理論的分析を通じてベンチマークの妥当性を検証し、今後のFRI手法評価の基準として提示している。

実験結果

リサーチクエスチョン

• RQ1 Koczy-Hirotaファジィ線形補間手法は、ファジィ集合のαカット表現に適用された場合に、区分的線形性を保持するか？
• RQ2 KH-FRIが結論ファジィ集合におけるPWLを維持できなくなる、具体的な数学的条件は何か？
• RQ3 非PWL条件下でのFRI手法の評価を目的とした標準化されたベンチマークをどのように構築できるか？
• RQ4 既存のFRI手法は、非PWLファジィ集合が存在する状況で、どの程度線形性から逸脱するか？
• RQ5 提案されたベンチマークは、異なるFRI技術の性能および頑健性を比較するための信頼できる基準として機能できるか？

主な発見

• 前提部および結論部がαカットレベルでPWL集合として表現される場合、Koczy-Hirota FRI手法は結論ファジィ集合における区分的線形性を保持しない。
• この失敗は、線形補間メカニズムに起因し、入力が区分的線形であっても出力に非線形セグメントが生じる可能性がある。
• 提案されたベンチマークには、PWL条件を体系的に破る15の異なるテストケースが含まれており、KH-FRIの限界を露呈している。
• これらのベンチマーク例は再現可能で数学的に厳密に設計されており、FRI手法の客観的比較を可能にしている。
• ベンチマークは、代替FRIアルゴリズムの頑健性および線形性保持の評価に不可欠な評価ツールとして機能する。
• 本研究では、KH-FRIの性能が非PWLシナリオで著しく低下することを確認しており、改善された補間手法の必要性が浮き彫りになっている。