応用数学、特にファジー論理 において 、 順序付き加重平均(OWA) 演算子は、 平均型集計演算子の パラメータ化されたクラスを提供します。これらは 、ロナルド・R・ヤガー によって導入されました。 [1] [2]最大値、 算術平均 、中央値、最小値
などの多くの有名な平均演算子は、このクラスのメンバーです。これらは 、言語的に表現された集計命令をモデル化できるため、
計算知能 で広く使用されています。
意味
次元の OWA 演算子は、 単位区間内にある
重みの集合が関連付けられていて、 合計が1であり、
ん
{\displaystyle \n}
ふ
:
R
ん
→
R
{\displaystyle F:\mathbb {R} ^{n}\rightarrow \mathbb {R} }
わ
=
[
わ
1
、
…
、
わ
ん
]
{\displaystyle \ W=[w_{1},\ldots ,w_{n}]}
ふ
(
1つの
1
、
…
、
1つの
ん
)
=
∑
じゅう
=
1
ん
わ
じゅう
b
じゅう
{\displaystyle F(a_{1},\ldots ,a_{n})=\sum _{j=1}^{n}w_{j}b_{j}}
ここで、 は j 番目 に大きい です 。
b
じゅう
{\displaystyle b_{j}}
1つの
私
{\displaystyle a_{i}}
異なる W を選択することで、異なる集約演算子を実装できます。OWA 演算子は、 b j を 決定するプロセスの結果として非線形演算子になります 。
著名な OWA オペレーター
ふ
(
1つの
1
、
…
、
1つの
ん
)
=
最大
(
1つの
1
、
…
、
1つの
ん
)
{\displaystyle \ F(a_{1},\ldots ,a_{n})=\max(a_{1},\ldots ,a_{n})}
もしも
わ
1
=
1
{\displaystyle \w_{1}=1}
わ
じゅう
=
0
{\displaystyle \w_{j}=0}
じゅう
≠
1
{\displaystyle j\neq 1}
ふ
(
1つの
1
、
…
、
1つの
ん
)
=
分
(
1つの
1
、
…
、
1つの
ん
)
{\displaystyle \ F(a_{1},\ldots ,a_{n})=\min(a_{1},\ldots ,a_{n})}
もしも
わ
ん
=
1
{\displaystyle \w_{n}=1}
わ
じゅう
=
0
{\displaystyle \w_{j}=0}
じゅう
≠
ん
{\displaystyle j\neq n}
ふ
(
1つの
1
、
…
、
1つの
ん
)
=
1つの
ヴ
e
r
1つの
グ
e
(
1つの
1
、
…
、
1つの
ん
)
{\displaystyle \ F(a_{1},\ldots ,a_{n})=\mathrm {平均} (a_{1},\ldots ,a_{n})}
全ての人 にとって
わ
じゅう
=
1
ん
{\displaystyle \ w_{j}={\frac {1}{n}}}
じゅう
∈
[
1
、
ん
]
{\displaystyle j\in [1,n]}
プロパティ
OWA 演算子は平均演算子です。以下に定義されるように、これは 有界 、 単調 、 対称 、および べき等 です。
特徴的な機能
OWA演算子を特徴付けるために2つの特徴が使われてきました。1つ目は態度特性、または orness とも呼ばれるものです。 [1] これは次のように定義されます
。
あ
−
C
(
わ
)
=
1
ん
−
1
∑
じゅう
=
1
ん
(
ん
−
じゅう
)
わ
じゅう
。
{\displaystyle AC(W)={\frac {1}{n-1}}\sum _{j=1}^{n}(nj)w_{j}.}
ということが知られています 。
あ
−
C
(
わ
)
∈
[
0
、
1
]
{\displaystyle AC(W)\in [0,1]}
さらに、 A − C (max) = 1、A − C(ave) = A − C(med) = 0.5、A − C(min) = 0 です。したがって、Max から Min の集計に進むと、A − C は 1 から 0 になります。態度特性は、集計と OR 演算の類似性を特徴付けます (OR は Max として定義されます)。
2つ目の特徴は分散です。これは次のように定義されます。
H
(
わ
)
=
−
∑
じゅう
=
1
ん
わ
じゅう
行
(
わ
じゅう
)
。
{\displaystyle H(W)=-\sum _{j=1}^{n}w_{j}\ln(w_{j}).}
別の定義は、 分散は引数がどの程度均一に使用されているかを特徴付けるというものです。
え
(
わ
)
=
∑
じゅう
=
1
ん
わ
じゅう
2
。
{\displaystyle E(W)=\sum _{j=1}^{n}w_{j}^{2}.}
タイプ 1 OWA 集約演算子
上記のYagerのOWA演算子は、明確な値を集約するために使用されます。OWAメカニズムでファジーセットを集約することはできるでしょうか?
この目的のために タイプ1 OWA演算子が 提案されています。 [3]
[4]
したがって、 タイプ1 OWA演算子は、 ソフト意思決定とデータマイニングにおいて、不確実なオブジェクトがファジーセットでモデル化されているときに、不確実な情報を不確実な重みで直接集約するための新しい手法を提供します。
タイプ 1 OWA 演算子は、 ファジー セットのアルファ カットに従って次のように定義されます。
談話領域 で定義されたファジィ集合の形で n 個の 言語重み が与えられると 、各 に対して 、 ファジィ集合の -カット を集約するための -レベル集合 を持つ -レベル1型OWA演算子が 次のように与えられる。
{
わ
私
}
私
=
1
ん
{\displaystyle \left\{{W^{i}}\right\}_{i=1}^{n}}
あなた
=
[
0
、
1
]
{\displaystyle U=[0,\;\;1]}
α
∈
[
0
、
1
]
{\displaystyle \alpha \in [0,\;1]}
α
{\displaystyle \alpha}
α
{\displaystyle \alpha}
{
わ
α
私
}
私
=
1
ん
{\displaystyle \left\{{W_{\alpha }^{i}}\right\}_{i=1}^{n}}
α
{\displaystyle \alpha}
{
あ
私
}
私
=
1
ん
{\displaystyle \left\{{A^{i}}\right\}_{i=1}^{n}}
Φ
α
(
あ
α
1
、
…
、
あ
α
ん
)
=
{
∑
私
=
1
ん
わ
私
1つの
σ
(
私
)
∑
私
=
1
ん
わ
私
|
わ
私
∈
わ
α
私
、
1つの
私
∈
あ
α
私
、
私
=
1
、
…
、
ん
}
{\displaystyle \Phi _{\alpha }\left({A_{\alpha }^{1},\ldots ,A_{\alpha }^{n}}\right)=\left\{{{\frac {\sum \limits _{i=1}^{n}{w_{i}a_{\sigma (i)}}}{\sum \limits _{i=1}^{n}{w_{i}}}}\left|{w_{i}\in W_{\alpha }^{i},\;a_{i}}\right.\in A_{\alpha }^{i},\;i=1,\ldots ,n}\right\}}
ここで 、 、および は 、 となるような順列関数です 。
つまり、 は 集合 の中で 番目の最大要素 です。
わ
α
私
=
{
わ
|
μ
わ
私
(
わ
)
≥
α
}
、
あ
α
私
=
{
x
|
μ
あ
私
(
x
)
≥
α
}
{\displaystyle W_{\alpha}^{i}=\{w|\mu _{W_{i}}(w)\geq \alpha \},A_{\alpha}^{i}=\{x|\mu _{A_{i}}(x)\geq \alpha \}}
σ
:
{
1
、
…
、
ん
}
→
{
1
、
…
、
ん
}
{\displaystyle \sigma :\{\;1,\ldots ,n\;\}\to \{\;1,\ldots ,n\;\}}
1つの
σ
(
私
)
≥
1つの
σ
(
私
+
1
)
、
∀
私
=
1
、
…
、
ん
−
1
{\displaystyle a_{\sigma (i)}\geq a_{\sigma (i+1)},\;\forall \;i=1,\ldots ,n-1}
1つの
σ
(
私
)
{\displaystyle a_{\sigma (i)}}
私
{\displaystyle i}
{
1つの
1
、
…
、
1つの
ん
}
{\displaystyle \left\{{a_{1},\ldots ,a_{n}}\right\}}
タイプ 1 OWA 出力の計算は、
区間 :
および の左端点と右端点を計算することによって実装されます 。この場合、結果として得られる集約ファジー セットのメンバーシップ関数は次のようになります。
Φ
α
(
あ
α
1
、
…
、
あ
α
ん
)
{\displaystyle \Phi _{\alpha }\left({A_{\alpha }^{1},\ldots ,A_{\alpha }^{n}}\right)}
Φ
α
(
あ
α
1
、
…
、
あ
α
ん
)
−
{\displaystyle \Phi _{\alpha }\left({A_{\alpha }^{1},\ldots ,A_{\alpha }^{n}}\right)_{-}}
Φ
α
(
あ
α
1
、
…
、
あ
α
ん
)
+
、
{\displaystyle \Phi _{\alpha }\left({A_{\alpha }^{1},\ldots ,A_{\alpha }^{n}}\right)_{+},}
A
α
i
=
[
A
α
−
i
,
A
α
+
i
]
,
W
α
i
=
[
W
α
−
i
,
W
α
+
i
]
{\displaystyle A_{\alpha }^{i}=[A_{\alpha -}^{i},A_{\alpha +}^{i}],W_{\alpha }^{i}=[W_{\alpha -}^{i},W_{\alpha +}^{i}]}
μ
G
(
x
)
=
∨
α
:
x
∈
Φ
α
(
A
α
1
,
⋯
,
A
α
n
)
α
α
{\displaystyle \mu _{G}(x)=\mathop {\vee } _{\alpha :x\in \Phi _{\alpha }\left({A_{\alpha }^{1},\cdots ,A_{\alpha }^{n}}\right)_{\alpha }}\alpha }
左端点については、次のプログラミング問題を解決する必要があります。
Φ
α
(
A
α
1
,
⋯
,
A
α
n
)
−
=
min
W
α
−
i
≤
w
i
≤
W
α
+
i
A
α
−
i
≤
a
i
≤
A
α
+
i
∑
i
=
1
n
w
i
a
σ
(
i
)
/
∑
i
=
1
n
w
i
{\displaystyle \Phi _{\alpha }\left({A_{\alpha }^{1},\cdots ,A_{\alpha }^{n}}\right)_{-}=\min \limits _{\begin{array}{l}W_{\alpha -}^{i}\leq w_{i}\leq W_{\alpha +}^{i}A_{\alpha -}^{i}\leq a_{i}\leq A_{\alpha +}^{i}\end{array}}\sum \limits _{i=1}^{n}{w_{i}a_{\sigma (i)}/\sum \limits _{i=1}^{n}{w_{i}}}}
適切なエンドポイントについては、次のプログラミング問題を解決する必要があります。
Φ
α
(
A
α
1
,
⋯
,
A
α
n
)
+
=
max
W
α
−
i
≤
w
i
≤
W
α
+
i
A
α
−
i
≤
a
i
≤
A
α
+
i
∑
i
=
1
n
w
i
a
σ
(
i
)
/
∑
i
=
1
n
w
i
{\displaystyle \Phi _{\alpha }\left({A_{\alpha }^{1},\cdots ,A_{\alpha }^{n}}\right)_{+}=\max \limits _{\begin{array}{l}W_{\alpha -}^{i}\leq w_{i}\leq W_{\alpha +}^{i}A_{\alpha -}^{i}\leq a_{i}\leq A_{\alpha +}^{i}\end{array}}\sum \limits _{i=1}^{n}{w_{i}a_{\sigma (i)}/\sum \limits _{i=1}^{n}{w_{i}}}}
この論文 [5] では、タイプ1 OWA集約操作を効率的に実行できるように、2つのプログラミング問題を高速に解決する方法を提示しました。
委員会投票のためのOWA
Amanatidis、Barrot、Lang、Markakis、Ries [6]は、OWAと ハミング距離 に基づいた 複数課題投票 の投票ルールを提示している 。Barrot、Lang、Yokooo [7]は、 これらのルールの操作可能性を研究している。
参考文献
^ ab Yager, RR、「多基準意思決定における順序付き加重平均集約演算子について」、IEEE Transactions on Systems, Man, and Cybernetics 18、183–190、1988 年。
^ * Yager, RR および Kacprzyk, J.、「順序付き加重平均演算子: 理論とアプリケーション」、Kluwer: Norwell、MA、1997 年。
^
S.-M. Zhou、F. Chiclana、RI John、JM Garibaldi、「タイプ2言語量指定子によって誘導される不確実な重みを持つ不確実な情報を集約するためのタイプ1 OWA演算子」、ファジーセットとシステム、Vol.159、No.24、pp. 3281–3296、2008 [1]
^ S.-M. Zhou、RI John、F. Chiclana、JM Garibaldi、「ソフト意思決定のためのタイプ2 OWA演算子による不確実な情報の集約について」、International Journal of Intelligent Systems、vol. 25、no.6、pp. 540–558、2010年。[2]
^ S.-M. Zhou、F. Chiclana、RI John、JM Garibaldi、「アルファレベル集約:乳がん治療への応用を伴う不確実な情報の集約のためのタイプ1 OWA操作への実用的なアプローチ」、IEEE Transactions on Knowledge and Data Engineering、vol. 23、no.10、2011、pp. 1455–1468。[3]
^ Amanatidis, Georgios; Barrot, Nathanaël; Lang, Jérôme; Markakis, Evangelos; Ries, Bernard (2015-05-04)。「ハミング距離を使用した多重国民投票と複数当選者選挙: 複雑性と操作可能性」。2015 年国際自律エージェントおよびマルチエージェント システム会議の議事録 。AAMAS '15。サウスカロライナ州リッチランド: 国際自律エージェントおよびマルチエージェント システム財団: 715–723。ISBN 978-1-4503-3413-6 。
^ Barrot, Nathanaël; Lang, Jérôme; Yokoo, Makoto (2017-05-08). 「複数の国民投票と委員会選挙におけるハミングベースの承認投票の操作」。 自律エージェントとマルチエージェントシステムに関する第 16 回会議の議事録 。AAMAS '17。サウスカロライナ州リッチランド: 自律エージェントとマルチエージェントシステムのための国際財団: 597–605。
Liu, X.、「OWA 演算子のミニマックス不一致問題と最小分散問題の解の等価性」、International Journal of approximate Reasoning 45、68–81、2007 年。
Torra, V. および Narukawa, Y.、「モデリング決定: 情報融合および集約演算子」、Springer: ベルリン、2007 年。
Majlender, P.、「最大 Rényi エントロピーを持つ OWA 演算子」、Fuzzy Sets and Systems 155、340–360、2005 年。
Szekely, GJ および Buczolich, Z.、「順序付けられたサンプル要素の加重平均が位置パラメータの最大尤度推定値となるのはいつですか?」Advances in Applied Mathematics 10、1989、439–456。