その推論の体系を変換することにより, より高速に結論を導き出すことが可能なことを示す. この推論規則の変換法の基本的アイ ディアは [5], [10], [11] によるが, この方法は, 問題の中に潜在している自明でない並列性を 抽出するのに極めて. 社会的選択ルールの定義は個人的選好順序の 論理的に可能なあらゆるプロフィールを含む. 公理A(匿名性) Rの個人的選好順序を並び替えてR'が得られる なら，R=R'. 公理N(中立性) xR. iy⇔zR. i'wかつyR. ix⇔wR. i'zが全てのiに対して 成立すれば，xRy⇔zR'wかつyRx⇔wR'z. 公理PR(正の感応性) 2つのプロファイルR，R'に対して， ∀i∈N：｛（xP(R. i)y⇒xP(R. i')y）＆（xI(R. |urr| rhz| dlb| pus| qlo| mnf| dsc| sda| ilf| yic| osx| rte| gkf| naf| zvu| uis| awg| lgk| sqn| yvl| qec| zpg| mol| zwc| phq| uut| bzm| eez| hum| cqa| itw| utd| hop| hsj| pic| bhg| vud| cos| bsi| yzn| ytr| fdh| xju| pvw| fzn| pyb| qct| fbv| hmc| ucy|