Bibliographic Information
- Other Title
-
- ケツロン ハッケン システム SOLAR ノ ブンカツ トウチホウ ニ ヨル コウソクカ
Search this article
Abstract
<p>本研究では,一階述語論理の結論発見システム SOLAR の分割統治法導入 による高速化手法を示す.結論発見は演繹・帰納・発想推論を実現する手 段として,多くの応用分野に適用できる有用な枠組みである.本研究では, 分割統治法の統治ステップにおける部分問題の解の組み合わせ数削減の ため,解集合のトライ構造表現を利用した効率的な統合や,高速な単一化 アルゴリズムの導入による効率改善を提案する.</p>
Journal
-
- Proceedings of the Annual Conference of JSAI
-
Proceedings of the Annual Conference of JSAI JSAI2012 (0), 1E1R12-1E1R12, 2012
The Japanese Society for Artificial Intelligence
- Tweet
Details 詳細情報について
-
- CRID
- 1390845712978790528
-
- NII Article ID
- 130007426821
- 40020256860
-
- NII Book ID
- AA11578981
-
- ISSN
- 13479881
-
- NDL BIB ID
- 025896520
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
-
- Abstract License Flag
- Disallowed