定理証明プログラムにおける内部構造の一実現法
スポンサーリンク
概要
- 論文の詳細を見る
導出原理に基づく定理証明プログラムの内部構造の実現法には, 導出の実行時に節レベルでまったく新しい構造を作り出すStructure Generating(SG)方式と導出の実行時に束縛だけを作成するStructure Sharing(SS)方式があるが, 現在, SS方式が効率の良さから定理証明システムにおいて多く採用されており, また, Prologを代表とする論理プログラミングシステムにおいても, SS方式はStructure Copying方式とともに代表的な内部構造の実現法になっている. しかしながら, 束縛を頻繁に参照するプログラムにおいては, SS方式では, 効率が悪くなる危険性がある. SS方式のこの種の欠点は, 節を間接的に表現することに起因していると考えられる. そこで本論文では, 従来のSG方式に改良を加え, 必要最小限の情報のみを生成するRSG方式を提案し, 効率比較実験により, 本方式は, SS方式と比較してほぼ同程度の効率が得られることを示すとともに, 上記の欠点が克服されることを示す.
- 一般社団法人情報処理学会の論文
- 1986-01-15
著者
関連論文
- 深い知識に基づく知識コンパイラの基本設計
- 音声理解システムにおける知識ベースの拡充
- 信号解釈エキスパートシステムシェルの開発
- 汎用DBMSを用いた知的マン・マシンインタフェースの実現 : 音声データベースSPEECH-DBに関して
- 計算機援助型相談システム"CONSULTANT"の構成とその設計思想
- 「AI'87 JAPAN」に出席して
- 言語処理システムにおけるATMSの利用法について
- 音声理解における主題情報の役割とその利用 (「音声の知的処理」)
- 音声理解システムのための言語処理方式 : 並列処理へのフレームワークの拡張
- インタビューに基づくデータベース論理設計支援エキスパートシステム
- 深い知識に基づく知識コンパイラの評価
- チャート分析ルールの洗練化知識と深い知識の考察
- メタレベルのプログラミング機能を持つ高速推論システム-SPIRE
- ルールと例題の類似性に基づく学習法の一提案
- 仮想機械による述語論理型構文解析プログラムの効率改善について
- 毛筆文字デザインエキスパートシステムのための書道知識の解析とルール化の考察
- 知的アクセス機能をもつ音声データベース「SPEECH-DB」
- 複数スピーカ・複数受聴者の場合の音像定位への最小2乗法の応用
- 母音認識の際の主要な高調波成分について
- 凸関数コストをもつ流れ網におけるフロウの性質
- 印刷漢字パターンの明朝体からゴシック体への字体変換法
- 16-7 漢字パターンの明朝体からゴチック体への字体変換法
- 14-9 漢字ドットパターンの次数変換と整形について
- 一般逆行列を用いた音声の線形予測分析
- モジュール間の整合性検査のための要求仕様記述の検証
- レイアウトとコンテントの知識を用いた仮説駆動型文書画像理解
- 文書画像構造解析のための知識ベースの一構成法
- 並行処理待ち行列網シミュレータ D-SSQ(待ち行列網のパッケージとシミュレーター)
- 音声の線形予測分析におけるGivens変換の性質
- 高域強調のための差分操作に等価な線形予測係数上の後処理
- 一般逆行列の音響信号処理への応用
- 実数値列の複素化2重FFT(技術談話室)
- 2重標本化に基づいた離散的フ-リエ変換の計算法とその応用
- 高次代数方程式のFFTによる解法の可能性(技術談話室)
- 位相情報空間型データベースシステムのエンドユーザ言語とその処理系について(情報の構造化と意味に関する研究)
- 知識を用いる毛筆字体評価システム
- 複数待ち行列システムにおける負荷分散について (待ち行列理論とその応用 II)
- Prioritized Resolvable-Contention-Ring control scheme for high speed optical networks
- Type B1バースト誤り訂正たたみ込み符号の一構成法 (情報理論・実験計画法における組合せ数学の諸問題 II : 研究会報告集)
- 一般化メ-ビウス関数とその直積定理(技術談話室)
- ネットワーク技術の進展と社会生活へのインパクト
- 財務諸表知識と内部統制知識を融合処理する企業診断エキスパートシステムの構成
- バイオリン音のクラスタリング
- Prologプログラミング教育のための知的CAIシステムの開発
- 論理プログラミングと帰納推論による汎用知的CAIシステム
- ネットワークフローの知識工学的予測システムNEVIS
- ネットワークの定性的挙動解析
- 拡張弱順位関数
- SLR(k)パーザにおける誤り訂正, 回復について
- 順位関数の新しい実現法について
- 内容検索可能な植物図鑑データベースシステム
- 容量制限のある計算グラフのスケジュ-リング
- インタビューシステムのためのシェル, SIS
- 知的インタビューシステムI^2Sに基づくデータベース構築支援システムの開発
- 知的インタビューシステムI^2Sとその質問戦略 : データベースの論理設計支援に関して
- 先行制御方式におけるオーバヘッドの解析
- 意味空間を用いた主題分析法
- 統計データベースにおける一連検索用ファイル編成法(知識ベースとデータベースの統合化に関する研究)
- 知識ベースに基づく連続音声認識システム : 知識ベース構築支援環境の整備
- 調和合成母音における高調波成分の聴覚的重要度の計量化
- 知識ベースに基づく連続音声認識システム : 帰納的学習による認識ルールの自動生成
- 知識ベースに基づく連続音声認識システム : 知識ベース構築の問題点とその解決法
- 適応的仮説選択による対話型概念学習
- 中心仮説選択法による対話型概念学習
- マルチメディア・データベースシステム : 映像・画像の被写体検索
- マルチメディアデータベースシステム : イベントの全体像把握のためのシステム構成
- 位相情報空間型データベースシステム (データ・セマンティクスの理論と実際に関する研究)
- 外延と内包を取り扱える拡張データベースシステム (データ・セマンティクスの理論と実際に関する研究)
- 図形の言語表現とそれに基づく検索システム : 内容検索可能な植物図鑑データベースシステム
- 植物図檻の画像データベースシステム (情報の記憶と利用に関する理論的研究)
- スキ-マフリ-デ-タベ-スシステムにおけるデ-タ統合について
- 位相情報空間生成文法とその空間の性質
- LR(k)パ-ザ縮小化の一方法
- 階層的プロダクションシステム-HIPS
- 命題自己認識論理における拡張世界構成アルゴリズム
- 非単調知識処理システムBMS
- 命題自己認識論理における拡張世界構成アルゴリズム
- ガード付き導出法によるシューベルトのスティームローラ問題の解決
- 有声破裂音の知覚におけるホルマント遷移時間の役割
- 定理証明システムSENRIの構成
- 演繹能カを付加したDBMSについて (情報の記憶と利用に関する理論的研究)
- 導出原理を用いた構文解析法
- 統計データベース管理システム(知識ベースとデータベースの統合化に関する研究)
- 定理証明プログラムにおける内部構造の一実現法
- 画像知識データベースシステムの構成について(情報の構造化と意味に関する研究)
- Lexiconとしての位相情報空間の構成(モデル表現とその構築に関する理論と実際の研究)
- 大阪大学産業科研究所
- 音声研究の現状と問題点
- 知識獲得支援システム (「学習と知識獲得技術の新展開」)
- 知的 CAI における学習者モデル (知的 CAI 最近の動向)
- 第7回全米人工知能会議(AAAI-88)に出席して
- 自己認識的データベースの基礎検討
- 知的CAIのための帰納推論方式
- 設計と診断を融合したシェルの構成 : 基本構想