2008 Fiscal Year Final Research Report
An Automated Theorem Finding System for General-purpose and Its Applications
| Project/Area Number |
19700127
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Saitama University |
|---|
Principal Investigator |
GOTO Yuichi Saitama University, 大学院理工学研究科, 助教 (70400801)
|
|---|
| Project Period (FY) |
2007 – 2008
|
| Keywords | 情報システム / 知識工学 / 自動発見 |
|---|
| Research Abstract |
自動定理発見問題に対して帰結演算による自動定理発見法が提案されたがいまだ実現されていない.本研究では,帰結演算による自動定理発見法において中心的役割を果たす汎用自動前向き帰結演算システムを実装し,公理的集合論において帰結演算による自動定理発見を試みるのが最終目的である.支援期間内には,論理式を構成する語彙,論理式の構成規則,公理,そして,推論規則を入力として自由に与えられるようにした汎用前向き推論エンジンFreeEnCalの開発を行った.また,開発したFreeEnCalの処理アルゴリズムを見直し処理の高速化を行った.
|
Research Products
(8 results)
