An Automated Theorem Finding System for General-purpose and Its Applications
An Automated Theorem Finding System for General-purpose and Its Applications
通用自动定理查找系统及其应用
批准号：
19700127
负责人：
GOTO Yuichi
金额：
$1.78万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2008
中文摘要
翻译
自動定理発見問題に対して帰結演算による自動定理発見法が提案されたがいまだ実現されていない.本研究では,帰結演算による自動定理発見法において中心的役割を果たす汎用自動前向き帰結演算システムを実装し,公理的集合論において帰結演算による自動定理発見を試みるのが最終目的である.支援期間内には,論理式を構成する語彙,論理式の構成規則,公理,そして,推論規則を入力として自由に与えられるようにした汎用前向き推論エンジンFreeEnCalの開発を行った.また,開発したFreeEnCalの処理アルゴリズムを見直し処理の高速化を行った.
英文摘要
自動定理発見問題に対して帰結演算による自動定理発見法が提案されたがいまだ実現されていない.本研究では,帰結演算による自動定理発見法において中心的役割を果たす汎用自動前向き帰結演算システムを実装し,公理的集合論において帰結演算による自動定理発見を試みるのが最終目的である.支援期間内には,論理式を構成する語彙,論理式の構成規則,公理,そして,推論規則を入力として自由に与えられるようにした汎用前向き推論エンジンFreeEnCalの開発を行った.また,開発したFreeEnCalの処理アルゴリズムを見直し処理の高速化を行った.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations
具有不同形式化的各种逻辑系统的通用前向推理算法
具有不同形式化的各种逻辑系统的通用前向推理算法
DOI：
--
发表时间：
2008
期刊：
"Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II"(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.)), Lecture Notes in Artificial Intelligen
影响因子：
--
作者：
[Yuichi Goto, Takahiro Koh, and Jingde Cheng]
通讯作者：
and Jingde Cheng
Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems
预期推理反应系统中移动对象的预期推理
预期推理反应系统中移动对象的预期推理
DOI：
--
发表时间：
2008
期刊：
"Computing Anticipatory Systems: CASYS 2007 - Eighth International Conference, Liege, Belgium, 6-11 August 2007"(D. M. Dubois (Ed.)), AIP Conference Proceedings(American Institute of Physics) Vol. 1051
影响因子：
--
作者：
[Jingde Cheng, Yuichi Goto, and Natsumi Kitajima]
通讯作者：
and Natsumi Kitajima
A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory System
计算预期系统中动作推理的道义相关逻辑方法
计算预期系统中动作推理的道义相关逻辑方法
DOI：
--
发表时间：
2008
期刊：
International Journal of Computing Anticipatory Systems 20
影响因子：
--
作者：
[N. Kitajima, Y. Goto, J. Cheng]
通讯作者：
J. Cheng
DOI：
--
发表时间：
2008
期刊：
"Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings" (I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.)), Lecture Notes in Artificial Intelligence (Subs
影响因子：
--
作者：
[Takahiro Koh, Yuichi Goto, and Jingde Cheng]
通讯作者：
and Jingde Cheng
EPLAS: An Epistemic Programming Language for All Scientists
EPLAS：面向所有科学家的认知编程语言
EPLAS：面向所有科学家的认知编程语言
DOI：
--
发表时间：
2007
期刊：
"Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part I"(Y. Shi (Eds.)), Lecture Notes in Computer Science(Springer-Verlag) Vol. 4487
影响因子：
--
作者：
[Isao Takahashi, Shinsuke Nara, Yuichi Goto, and Jingde Cheng]
通讯作者：
and Jingde Cheng
共 10 条
Study on gene abnormality of mitochondrial encephalomyopathy and development of its transgenic mouse
-
批准号：05670583
-
项目类别：Grant-in-Aid for General Scientific Research (C)
-
资助金额：$1.28万
-
财政年份：1993
-
负责人：GOTO Yuichi
-
依托单位：
海外基金