Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用)
First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving. Multi-clause contradiction separation deduction is recognized as the first pr...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Zhejiang University Press
2024-11-01
|
| Series: | Zhejiang Daxue xuebao. Lixue ban |
| Subjects: | |
| Online Access: | https://doi.org/10.3785/j.issn.1008-9497.2024.06.009 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|