文献

J-GLOBAL ID：201202254348073892   整理番号：12A0810334

矛盾からの解集合解決:理論から実用へ

Conflict-driven answer set solving: From theory to practice

著者 (3件)： GEBSER Martin (Universitaet Potsdam, Inst. fuer Informatik, August-Bebel-Str. 89, D-14482 Potsdam, DEU) ,  KAUFMANN Benjamin (Universitaet Potsdam, Inst. fuer Informatik, August-Bebel-Str. 89, D-14482 Potsdam, DEU) ,  SCHAUB Torsten (Universitaet Potsdam, Inst. fuer Informatik, August-Bebel-Str. 89, D-14482 Potsdam, DEU)
資料名： Artificial Intelligence  (Artificial Intelligence)
巻： 187-188  ページ： 52-89  発行年： 2012年08月 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 充足可能性(SAT)検査において適用に成功した概念に基づき,論理プログラムの解集合を計算する手法を紹介した。本アイデアはnogoodsに関する単位伝播のように,解集合プログラミング(ASP)における推論を考えることである。これはASP解決において直面する種々の推論をとらえるための統一的な制約に基づくフレームワークを我々に与える。また,本手法はSAT分野からの高度な解決方法を適用することができる。結果として,素朴な矛盾からのASP解決に対する初めての成熟したアルゴリズム的フレームワークを提案した。本手法は様々なソルバコンテストで首位になることによって,その競争力と多用途性を明らかにしてきたASPソルバclaspにおいて実装した。Copyright 2012 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.

シソーラス用語： *充足可能性問題 ,  *論理プログラミング ,  アルゴリズム ,  コンクール ,  実装設計 ,  解 ,  論理 ,  プログラム検査 ,  推論
準シソーラス用語： *論理プログラム ,  コンテスト ,  解集合プログラミング ,  矛盾

分類 (2件)： 論理代数  (JB03000H) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 矛盾 ,  解 ,  集合 ,  理論