一般化補題を利用したモデル生成法
| Jazyk: | japonština |
|---|---|
| Rok vydání: | 2003 |
| Předmět: | |
| Zdroj: | 九州大学大学院システム情報科学紀要. 8(1):55-59 |
| ISSN: | 1342-3819 |
| Popis: | We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can be applied but non-generalized one can not. Then we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|