命題論理の幾何的モデル
スポンサーリンク
概要
- 論文の詳細を見る
最近,非単調論理,様相論理,ファジー論理等の非古典論理が,人工知能その他の情報処理の分野で盛んに研究されている.本論文では,それらの非古典命題論理を統一的に扱えるような幾何的なモデルを提案する.その幾何的なモデルは,自然言語が有する,命題間の距離や命題の情報量を自然な形で反映している.その構成方法は以下のとおりである.(1)実係数多項式関数のある種の計算が,古典命題論理のモデルになる.(2)巾等律を部分的に除くことによってこのモデルを拡張する.(3)この拡張モデルは関数空間であるが,ある内積を導入することによりユークリッド空間になる.(4)命題に情報量を導入することによりこの空間の部分集合が,非古典命題論理の命題と対応している.以上の手法で構成されたモデルが,非古典命題論理に有効であることを,ファジー論理,様相論理,非単調論理で確認する.
- 一般社団法人情報処理学会の論文
- 1990-06-15
著者
関連論文
- 数値データからの帰納学習 : 論理関数による重回帰分析
- 脳機能画像のノンパラメトリック回帰分析
- 論理回帰分析法による脳機能画像からの知識の発見
- 多重線形関数を用いたニューラルネットワークの構造分析
- 重回帰分析に基づいた帰納学習アルゴリズム
- スペクトル理論による情報フィルタ
- 回帰分析に基づいた帰納学習アルゴリズム
- 利用者モデルの構想 : 情報フィルタによる利用者情報の収集
- 回帰分析を用いた概念クラスタリングアルゴリズム
- 身体化された心に(embodied mind)と言葉をつなぐもの
- 身体化人工知能
- メタファーに基づく人工知能
- データマイニングツールKINO
- エンジニアリング環境モデルに基づく協調設計支援システム
- スペクトル理論を用いた学習アルゴリズムについて
- 数値データからの論理命題の発見
- 火力発電プラントエンジニアリング支援 : 信号展開と変更通知
- 数値データからの論理命題の発見
- 制御用ソフトウェアの生産技術 フィードバック制御
- 火力プラントエンジニアリング支援システム : 概要
- 不確実な知識を表現する非古典論理のモデル
- 確率分布の直観主義論理による推論
- 情報論理学の提唱
- 確率データからの帰納学習
- 数値データの論理的推論
- プリント配線板における部品配置エキスパートシステム
- パターン処理の近似としての記号処理
- モデルに基づくプラント制御ロジック生成支援システム
- 命題論理の幾何的モデル
- プランニングを用いた制御ソフトウェア仕様の視覚的設計方式
- 古典論理のすべての公理を満たす連続値論理関係について
- 第2回マシンインテリジェンスに関する国際ワークショップ(International Workshop on Machine Intelligence 1993)の報告
- ロボットにことばをしゃべらせるには--身体化人工知能 (小特集 20世紀の人工知能を振り返って(21世紀の人工知能の展望))
- 記号主義とコネクショニズムの統合パラダイム
- F-038 生物学的手法によるニューラルネットワークの進化・学習 : 生物の感情獲得シミュレーション(F分野:人工知能・ゲーム)
- 株式の予測について : 初心者のための解説
- 感情の作り方(ニューラルネットワークの場合) (シンポジウム:情念について)
- 身体運動意味論
- 身体運動意味論の展開(1)実験認知言語学の予備的実験
- 身体運動意味論--言語・イメージ・身体 (特集 脳科学の最前線)
- 論理回帰分析法によるfMRI画像の解析(福祉・医療のためのパターン認識・メディア理解)
- 論理回帰分析法によるfMRI画像の解析(福祉・医療のためのパターン認識・メディア理解)
- 論理回帰分析法によるfMRI画像の解析(福祉・医療のためのパターン認識・メディア理解)
- 身体運動意味論--実験認知言語学へ向けて
- SATの多項式時間アルゴリズム
- 「ニューロラルな視点からの挑戦」へのコメントと回答
- ニューラルネットワークによる非単調推論
- fMRI画像からの論理回帰分析法による知識発見 (小特集 「発見科学」及び一般演題)
- パターンの論理的推論--知識獲得問題の新解決法
- 予測モデルからのルール抽出--データマイニングの必須技術
- データマイニングツールKINO
- 最尤法と無差別原理を用いた確率分布からの帰納学習
- デ-タマイニングツ-ル KINO
- 最尤法を用いたニューラルネットワークからの命題獲得
- ニューラルネットワークからの命題の抽出
- 株データからの命題獲得
- 推論ツールKINOの開発
- 多項式時間帰納学習アルゴリズム
- 論理の幾何的モデルに基づいたルールと事例の協調推論の枠組
- 身体運動意味論と身体運動統語論 (第10回日本認知言語学会シンポジウム)
- 日本語と英語の間主観性の差に関する身体運動意味論的考察(主観性とパースペクティブ)
- 脳機能画像のノンパラメトリック回帰分析
- 論理回帰分析法による脳機能画像からの知識の発見
- ノンパラメトリック線形回帰分析を用いた脳の賦活領域の検出(生体工学)