様相論理のDempster-Shafer理論に基づくモデルとKripkeモデルとの関係
スポンサーリンク
概要
- 論文の詳細を見る
本稿では Dempster-Shafer 理論(以下,D-S理論)におけるbelief関数やplausibility関数に基づく信念様相論理のモデルと有限 Kripke モデル(cf.)との関係について論じる.Belief関数に基づく信念演算子は Kripke モデルの到達可能関係によって解釈できる.逆に,任意の Kripke モデルに対して,その到達可能関係が定める様相演算子を生成する belief 関数,したがって,基本確率割当は一意には決まらない.基本確率の与え方によって、それが生成する plausibility 関数が定める演算子は可能性または必然性に対応する.
- 一般社団法人情報処理学会の論文
- 1994-09-20
著者
-
宮腰 政明
北海道大学大学院情報科学研究科
-
宮腰 政明
北海道大学情報科学研究科
-
新保 勝
北海道大学大学院工学研究科システム情報工学専攻数理情報工学講座
-
宮腰 政明
北大
-
村井 哲也
北海道教育大学函館校
-
新保 勝
北解道大学工学部
-
宮腰 政明
北海道大学大学院工学研究科
-
村井 哲也
北海道大学
-
村井 哲也
北海道大学大学院工学研究科 システム情報工学専攻 数理情報工学講座 情報解析学分野
-
村井 哲也
北海道大学大学院工学研究科
関連論文
- 円錐曲面を用いた複数枚画像からの三角測量法(ITS画像処理,映像メディア,視覚および一般)
- ウエーブレットパケット解析を用いた音声符号化
- 証拠と信念に基づくファジィ論理の一構成
- 識別情報を利用したクラス情報のグラフ表示
- グラフによる多次元データの構造解析
- D-12-57 相互射影を利用した基礎行列の推定(D-12.パターン認識・メディア理解,一般セッション)
- 円錐曲面を用いた複数枚画像からの三角測量法(ITS画像処理,映像メディア,視覚及び一般)
- パターン認識問題における終端条件の付加によるk近隣法の高速化
- スプライン曲面を用いた画像の2チャネル符号化
- 通過領域に着目した多次元空間における曲線分類
- 極小値が単峰列な傾向をもつ多峰関数の大域的最適化法
- 極小値が単峰列で単峰領域幅が等しい一変数多峰関数の大域的最適化法
- 極小値集合による単峰性および多峰性関数の定義とその性質
- 単峰領域の概念を用いた一変数多峰性関数の最大点探索手法
- A-021 凹最小化問題に対するFalk-Solandの分枝限定法に関する一考察(A分野:モデル・アルゴリズム・プログラミング)
- 円錐曲面を用いた複数枚画像からの三角測量法(ITS画像処理,映像メディア,視覚及び一般)
- 文献検索の可能世界モデルと信念検索
- ボルテラ級数を用いた非線形画像後元
- Browderの強収束定理の凸射影法への応用
- カラー画像セグメンテーションのためのファジィ・クラスタリング手法(ファジィ画像情報処理)
- 様相論理のDempster-Shafer理論に基づくモデルとKripkeモデルとの関係
- ミニマル・モデルの族としての拡張ファジィ測度モデルとグレード付き様相演算子
- 信念論理に基づく情報検索
- 6) 凸射影法における非線形射影作用素の最適順序決定(放送方式研究会)
- 証拠の蓄積が形成する信念論理に基づく知識獲得
- 凸射影法における非線形射影作用素の最適順序決定 : 放送方式
- Plausibility関数に基づく信念様相論理における証拠と推論との関係
- 測度に基づく様相論理を用いた推論
- Dempster-Shafer理論に基く知識と信念の論理
- ずれ度を用いたファジィ制御
- 連続発声母音の自動認識
- 射影的母音平面における無声破裂子音の分布
- 同時対角化行列の摂動解析と二次統計量BSSへの応用(研究速報)
- I-088 固有空間BPLP法における固有空間の最適次元について(グラフィクス・画像,一般論文)
- A-4-35 信号処理に用いられるユニタリ行列と対称群の関係(A-4. 信号処理,一般セッション)
- 相関行列差分の同時対角化によるNoisy BSSにおける相関行列選択(音響信号及び音声処理、エンハンスメント/一般)
- 線形推定理論に基づく固有空間BPLP法の改善(画像・映像処理)
- 高次統計量に基づく混合比推定によるBlind-MINT法の拡張(ブラインド信号処理/一般)
- 信号解析に用いられるユニタリ行列の固有解析(ディジタル信号処理)
- 線形制約の一般解によるパラメトリック部分射影フィルタの解釈とアフィン制約付き復元問題への応用(研究速報)
- J-054 雑音を考慮したVolterra級数による非線形画像復元(J分野:グラフィクス・画像)
- J-052 冗長な方向性ウェーブレット変換を用いた静止画像の雑音除去に関する一考察(J分野:グラフィクス・画像)
- I-070 時空間特徴を利用した移動物体追跡に関する一考察(I分野:画像認識・メディア理解)
- G-016 ステレオステージ制御パラメータの決定法に関する考察(G分野:音声・音楽)
- G-010 心理音響モデルを用いたオーディオ電子透かし法の改良(G分野:音声・音楽)
- D-022 冗長ウェーブレット変換を利用した血管検出(D分野:データベース)
- 単峰領域の概念に基づくmultistart法を用いた多峰性関数の大域的最適解の求解に関する考察
- 自己回帰・カオス合成モデルによる時系列予測
- t-ノルムの拡張としての弱結合的連言演算
- ファジィ推論規則の線形補間に関する一考察
- ファジィ関係合成の一般化と方程式の解法に関する考察
- 同次二次変換における発散収束境界の病的形状例に関する考察
- 補空間成分推定に基づく特異観測過程に対する画像復元(画像処理,画像パターン認識)
- 分離核作用素に対する分離核型正則化一般逆行列
- マルコフ連鎖を用いた遺伝的アルゴリズムの収束性に関する考察
- M-N-ノルム型パラメトリック射影フィルタ族による画像復元
- 信号適応型パラメトリック射影フィルタ族による画像復元
- ノルム拘束に基づくパラメトリック射影フィルタ族の正則化
- 2次形式不等式制約を用いた射影フィルタによる画像復元
- 摂動に対する射影フィルタ族の性質
- 摂動法を用いた最適画像復元フィルタの評価
- 重複している複数枚の画像の復元
- ファジィ推移的結合問題の解集合の代数構造
- 多重解像度解析を用いたディジタル画像の拡大
- 一般化したファジィ推移的結合問題の一般解
- オブジェクト指向方法論の分散システムへの適応の一考察
- 多重解像度解析を用いた画像の拡大
- ファジィクラスタリングを用いたカラー画像の領域分割
- 微分を用いない関数最小化におけるPowell法の拡張について
- 平行超平面を用いたPowell法について
- カーネルリッジ回帰における低計算量モデル選択法 (通信方式)
- カーネルリッジ回帰における低計算量モデル選択法 (信号処理)
- カーネルリッジ回帰における低計算量モデル選択法 (回路とシステム)
- 自己校正法における射影変換の推定精度の向上 (通信方式)
- 自己校正法における射影変換の推定精度の向上 (信号処理)
- 自己校正法における射影変換の推定精度の向上 (回路とシステム)
- 音場再現システムのための正則化逆フィルタの設計
- 明度および色度の段階的クラスタリングによる色彩画像の限定色表示
- 階層的適応重みを用いたパラメトリック射影フィルタによる自然画像の復元
- 射影フィルタ族の分離核表現
- 固有空間BPLP法の補間精度に関する解析(ディジタル信号処理)
- 既知の基底ベクトルを考慮したNMF (通信方式)
- 既知の基底ベクトルを考慮したNMF (信号処理)
- 既知の基底ベクトルを考慮したNMF (回路とシステム)
- 重み乗数の性質を利用したファジィクラスタリングについて (情報工学専攻創立20周年記念号)
- 極小値が単峰列となる多峰関数の大域的最適化手法(1) : 単峰領域幅が等しい目的関数の大域的最適化(数値計算,数理計画法)
- カーネルリッジ回帰における低計算量モデル選択法(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- カーネルリッジ回帰における低計算量モデル選択法(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- カーネルリッジ回帰における低計算量モデル選択法(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 自己校正法における射影変換の推定精度の向上(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 自己校正法における射影変換の推定精度の向上(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 自己校正法における射影変換の推定精度の向上(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 既知の基底ベクトルを考慮したNMF(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 既知の基底ベクトルを考慮したNMF(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 既知の基底ベクトルを考慮したNMF(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- ファジィクラスタリングの画像解析への応用(ファジィクラスタリングとその応用)
- ファジィ論理(ファジィ理論入門(7))
- ファジィ確率変数(Fuzzy Random Variable)
- Fuzzy-Fuzzy Relationについての一考察
- 最短距離法におけるクラスタ-の安定性について