文章基本信息

标题：モデル生成型定理証明と要素技術
本地全文：下载
作者：長谷川隆三 ; 藤田博 ; 越村三幸等
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2008
卷号：25
期号：3
页码：3_2-3_10
DOI：10.11309/jssst.25.3_2
出版社：Japan Society for Software Science and Technology
摘要：
1980年代の第5世代コンピュータプロジェクトの主要な成果の一つとして，定理証明システムMGTPがある．MGTPは，並列推論マシン(PIM)上での高効率証明系の実装に最適なモデル生成法に基づいている．本稿は，MGTPの改善や拡張および応用と最近の研究について概観する．