照合を用いるSLD導出の実用性に関する検討
スポンサーリンク
概要
- 論文の詳細を見る
照合を用いるSLD導出は,ユニフィケーションを用いる通常のSLD導出より,効率の面に関しては優れている.これは,照合を用いるSLD導出ではファクトとルールの検索などに対して効率の良い実現技法が存在するからである.しかし,照合を用いるSLD導出で証明不可能なPrologプログラムが存在する.我々は,既に照合を用いるSLD導出で証明可能なPrologプログラムに対する十分条件を挙げた.本稿では,実用性の観点からこの条件の妥当性を検討する.また,証明できないプログラムに対しては,条件を満足しない原因を挙げる.次の節では,実用性の検討に必要であるモードとモード抽出プログラムという概念について述べる.3節では,照合を用いるSLD導出を定義し,証明可能なPrologプログラムに対する十分条件を挙げる.4節では,実用的と考えられる応用プログラムを対象に検討した結果を示す.5節では,その結果を分析して条件を満足しない理由を考察する.
- 1989-03-15
著者
関連論文
- 超高速ネットワークの目指すもの : 未来開拓プロジェクト「高度マルチメディア応用システム構築のための先進的ネットワークアーキテクチャの研究」総括
- 演繹データベースにおける再帰質問のボトムアップ処理のためのプログラム変換手法
- 補足マジックセット法における否定の効率的処理
- 日本語文章推敲支援ツールのプロトタイピング
- 電子メールを用いた日本語文による質問応答システムにおける類似質問の抽出について
- 2文字間の連接を利用した仮名漢字変換用辞書
- 卒業論文・学位論文に索引を付けさせる(「情報技術の新時代に向けて」)
- 一極集中と学会活動
- Ada並列処理プログラムのためのタスク依存ネット生成ツール
- 推論関係型データベース管理システムにおけるプロダクションシステム構築支援機構の設計
- 推論関係型データベース管理システム Adbis
- ネットワークを利用した無記名投票システムの開発
- 照合を用いるSLD導出の実用性に関する検討
- 日本語文章推敲支援ツールにおける受身形の抽出法
- ぺた語義:JABEE を通じた大学教育の質的保証(前編):大学教育改革とアクレディテーション
- 論理プログラム対するモード情報の双方向抽出
- COMPARISON AND IMPROVEMENT OF STRING MATCHING ALGORITHMS FOR JAPANESE TEXTS