<紀要論文>
極小モデル導出法に基づく解集合計算の効率化

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
JaLC DOI
関連DOI
関連URI
関連情報
概要 Answer set programming (ASP), that computes answer sets from extended logic programs including "negation as failure", has been a focus not only in the field of logic programming but also in applicatio...n areas. The basic algorithm to compute answer sets based on model generation theorem proving has been proposed by Inoue, et al. The implementation of the basic algorithm, however, generates enormous combination of hypotheses inefficiently. In this paper, we propose a new implementation method based on a minimal model generator, MM-MGTP, including some techniques to prune redundant branches. Some experimental results are shown for comparison with the naive implementation and other systems.続きを見る

本文ファイル

pdf p119 pdf 676 KB 183  

詳細

PISSN
EISSN
NCID
レコードID
査読有無
主題
登録日 2015.09.16
更新日 2020.10.13

この資料を見た人はこんな資料も見ています