多重二値論理の非単調論理への応用
スポンサーリンク
概要
- 論文の詳細を見る
現実世界を論理で表現する場合、増加する情報(公理)により知識ベース中に矛盾が含まれないよう管理することが重要となる。このように、増加する公理に対してその公理系の無矛盾性を保持していく論理は非単調論理と呼ばれる。一般に非単調論理は二値論理をベースにしているため、全ての矛盾命題はその肯定か否定かを公理系から消去される。しかし、人間の信念系を表現する際には、矛盾を許しても良いと考えられる場合もあり、二値論理をベースにした非単調論理では不十分であることが少なくない。本論文では、非単調論理における以上の欠点を解消するために、一つのアプローチとして新しい多重二値論理を用い、解消すべき矛盾とそうでない矛盾の存在と、その解釈について考察した結果を述べる。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 座談会 「人工知能研究の現状と問題点」
- 算術問題学習システム
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- 3次元CGをベースとしたUIMSの実現
- 3次元UIMSの実現(3) : 試作と評価
- 最小メッセージ長規準の地震波速度構造モデル推定問題への適用 -近畿・中国地方における結果-
- 多数の例外的データが存在する回帰問題のための最小記述長原理の拡張
- 情報理論的手法を用いたデータベースからの例外的知識の発見
- 情報理論的規準を用いたデータベースからの例外的知識の発見
- 十年一昔
- 知的成長システムに関する統合的機能 : 問題解決、学習、発見
- 状況に応じた戦略選択による実時間プランニング
- 共存進化における決定木の学習に関する研究
- 3次元UIMSを備えた知的対話環境の構想について
- 図を用いた算術問題解決システム
- 計算機による図形的制約に基づく発見手法
- 構造の観察に基づく発見手法
- 発見システムにおける実験の計画
- 2次関数を対象とした数学問題解答システム
- 算術問題解決システムLAPSII
- 平面幾何定理の発見システム
- 会誌発刊を祝して
- 複数エージェントによる協調帰納学習
- Dempster-Shafer理論とATMSの統合システムの拡張
- 三角関数における発見システム : DST
- イメージを用いた推論のコンピュータモデル
- 知的対話環境における個人適応化方式と対話制御方式に関する一考察
- 3次元UIMSの実現(2) : 定義言語論
- 3次元UIMSの実現(1) : 構築モデル論
- 多重二値論理の非単調論理への応用
- 説明構造の分解による類推
- パ-ソナルコンピュ-タの発展と情報化社会 (パ-ソナルコンピュ-タ特集)
- 中国語音声理解システムにおける知識獲得および帰納推論
- 部分線形識別関数の学習的構成法
- パタ-ン認識における区分的線形識別関数
- 木探索による発見的問題解決の一方法
- モ-ド推定に基づく教師なしのノンパラメトリックな学習
- 階層構造を用いたクラスタ検出アルゴリズム
- 教師なしのパラメトリックな学習方式--WDDM
- 近似理論および雑音のある訓練例からの学習
- 学会と人工知能の発展
- 機械系におけるモデルに基づいた診断と知識獲得
- S.C.Shapiro編 : "Encyclopedia of Artificial Intelligence", John Wiley & Sons, Inc.(1987) A4判1,219ページ 3,500円
- 辻井潤一著 : 「知識の表現と利用」, 昭晃堂(1987.10) A5判282ページ 4,800円
- 算術問題解答システムにおける学習
- 学習能力を持った幾何学問題解答システム
- 算術問題解答システムLAPSにおける学習機能について
- 自由会話システム
- 人工知能学会誌編集にあたって
- 知識工学概説 (知識工学)
- 発見的探索理論
- 説明の部分構造抽出による高速化学習
- 持続性を持つ時間論理の構成
- 知識ベースの自動的構築について
- 弁別に基づく構成的帰納学習
- 非決定的,無弁別なリテラルを含む論理プログラムの学習
- 学会設立と会誌発刊(第1部:学会創設25周年に寄せて,人工知能学会25周年特集「四半世紀を越えて」)
- 故障診断用エキスパートシステムにおける知識獲得
- メタインタプリタによる帰納的プログラム合成規則の学習
- 例題による複数ステップタスクの学習法
- 目的主導の類推によるプログラム合成
- プロダクションシステムNatにおける学習機能