インターセクション問題とその解法
書誌事項
- タイトル別名
-
- Intersection Problems and a Method for Solving Them
この論文をさがす
説明
インターセクション問題という新しい問題のクラスを提案し, その問題を解くための理論的な枠組を開発する. インターセクション問題は, 「宣言的記述(宣言的プログラム)」と「問い合わせ」からなる. 問題の目的は, 「宣言的記述」によって与えられる集合と「問い合わせ」によって表現される集合の共通部分を求めることである. インターセクション問題は, 論理プログラミングで解く問題の自然な拡張であり, 多くの問題がインターセクション問題として自然に定式化できる. 本論文では, インターセクション問題を解くための理論を与える. それは, 宣言的プログラムを等価変換によって変形することによって問題を簡単化する方法である. これにより, 論理推論を基礎とした解法よりも効率的な解法を得ることができる.
収録刊行物
-
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 96 (347), 17-24, 1996-11-05
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1573668927228709504
-
- NII論文ID
- 110003276846
-
- NII書誌ID
- AN10013287
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles
