多様相論理とリスクを含む不確実システムへの応用
スポンサーリンク
概要
- 論文の詳細を見る
パラメータをもつ多様相論理の体系を考察する.様相論理の意味論を記述するクリプキモデルと公理と推論規則により定理を導く公理的体系を述べ,完全性に言及する.リスクを含むような不確実システムを様相論理によって記述する方法を述べ,簡単な例を紹介する.
- 日本知能情報ファジィ学会の論文
- 2003-02-15
著者
関連論文
- ファジィ近傍に基づく内積空間とカーネル法によるテキストデータ解析
- 許容範囲付きデータに対するハードクラスタリング
- 特集「定量的リスク科学」にあたって
- 情報検索モデルのやさしい作り方
- ファジィクラスタリングとハードクラスタリングの比較
- 高次元空間への写像を利用したクリスプc-平均法
- 最小自乗誤差規範と最小絶対誤差規範にもとづくc-回帰法
- クラスタリング技法とカーネル関数
- 自由記述調査法による都心商業地住民の騒音等に対する迷惑感の分析
- 都心商業地住民の自由記述調査による騒音等の迷惑感の分析
- 6D-5 非古典論理のクリプキ・モデルにおける列・多重集合・集合の表現と粒状性の定式化(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 最小絶対誤差にもとづくファジィc-回帰アルゴリズムとその特性
- クラスタリングにおけるc-回帰法の分類関数とプロトタイプ関数 (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (クラスタリング(2))
- 情報検索のためのファジィマルチ集合モデルとカーネル関数を利用したクラスタリング
- ファジィマルチ集合とカーネル関数を利用したクラスタリング
- ファジィc-平均クラスタリングにおける制約条件と正則化および可能性クラスタリング
- ファジィデータに対するL_1距離を用いたファジィクラスタリング
- 可能性クラスタリングにおける分類関数の考察と計算手法の検討
- ファジィデータに対するL_1距離に基づくファジィc-平均法
- 区間データに基づく不確定性を含むデータのファジィクラスタリング
- ファジィc-平均クラスタリングにおける制約条件と正則化
- L_1空間にもとづくファジィc-平均クラスタリングと混合分布モデル
- 不確定性を含むデータのファジィクラスタリングにおける中心の計算
- 正則化された標準ファジィc-平均法と可能性クラスタリング
- 不確定性を含むデータのファジィクラスタリング (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (クラスタリング(3))
- CwU2007Workshopに参加して
- D-12-132 ペナルティ項の導入による許容付きデータのための標準的ファジィc-平均法(D-12. パターン認識・メディア理解,一般セッション)
- ウィーン経済大学における大学院教育に関する現地調査
- 貨物積み付け自動化のための知識融合最適化とシステム開発
- 貝塚データベース : その作成と応用
- ファジィクラスタリングの有用性について
- 達成度評価システムによる大学院教育実質化 : 筑波大学リスク工学専攻における取組(大学とOR)
- リスク管理の基本概念と様々な方法論
- リスクの概念と定量化(定量的リスク科学)
- 積み付け問題の現状と展望(運輸分野におけるソフトコンピューティングの応用)
- 「運輸分野におけるソフトコンピューティングの応用」にあたって(運輸分野におけるソフトコンピューティングの応用)
- ファジィクラスタリングについての二つの見方(ソフトデータ解析)
- カーネル関数を利用したLVQクラスタリングとSOM
- ファジィクラスタリング技法と最近の研究動向(最新のファジィシステム技法特集号)
- マルチ集合情報処理
- 多様相論理とリスクを含む不確実システムへの応用
- ファジィ近傍概念にもとづくクラスタリングのための類似度
- カテゴリカルデータに対するファジィクラスタリングの定式化について
- 1変数関数によるファジィマルチ集合の像とその応用について
- メタ戦略を用いたネスティング問題の解法
- 遺伝的アルゴリズムにおける淘汰圧力と個体群の多様性 : 巡回セールスマン問題を対象として
- 熟練運転員の経験とノウハウに基づくファジィスーパバイザ制御システムの構築と石油精製装置間での水素純度制御への適用
- 高次元空間への写像を利用したファジィc-平均法
- 適応型シミュレーテッド・アニーリングによる任意形状部品の最適配置
- ファジィマッチング関数とその情報検索への応用
- ファジィ情報検索のためのFAIRS-I情報検索システムの拡張機能
- 一般化マルチ集合とラフ近似
- ファジイデータベースにおける従属性 : 部分的な関数従属性
- 不確定性を含むデータの階層的クラスタリング
- 次元係数の最適化に固有値を用いる線形ファジィクラスタリング
- ファジィマルチ集合における無限性と情報検索モデル
- 固有値を用いた次元係数の正則化による線形ファジィクラスタリング
- クラスター分析の技法について
- クラスターサイズの調整機能をもつファジィc-平均法
- 次元係数の正則化による線形ファジィクラスタリング
- 次元係数の正則化による線形ファジィクラスタリング (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (クラスタリング(2))
- 2次正則化によるファジィクラスタリング
- ファジィc-平均法とエントロピー正則化法におけるファジィ分類関数
- ファジィクラスタリングの今後の展開(ファジィの新世紀への提言)
- ファジィマルチ集合の基本演算について
- Geometric Algebraを用いたクラスタリングに関する一考察