文献

J-GLOBAL ID：201002216291336804   整理番号：10A0123021

抽象的制約アトムを用いた論理プログラム:計算の役割

Logic programs with abstract constraint atoms: The role of computations

著者 (4件)： LIU Lengning (Dep. of Computer Sci., Univ. of Kentucky, Lexington, KY 40506, USA) ,  PONTELLI Enrico (Dep. of Computer Sci., New Mexico State Univ., Las Cruces, NM 88003, USA) ,  SON Tran Cao (Dep. of Computer Sci., New Mexico State Univ., Las Cruces, NM 88003, USA) ,  TRUSZCZYNSKI Miroslaw (Dep. of Computer Sci., Univ. of Kentucky, Lexington, KY 40506, USA)
資料名： Artificial Intelligence  (Artificial Intelligence)
巻： 174  号： 3-4  ページ： 295-315  発行年： 2010年03月 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 任意の抽象的制約条件を持つ論理プログラムの意味論に関する新しい視点を与えた。この目的のために,計算に関するいくつかの概念を導入した。制約条件を持つプログラムの応答集合を仕様記述するためにこれらの計算結果を用いた。ここで取り上げた計算クラスの背後にある根拠を提示し,それらの間の関係について議論を行った。ここではまた,応答集合のそれに対応した概念間の関係についても論じた。これらの概念の一つはいくつかの強制的なキャラクタリゼーションおよび性質を備えており,任意の制約条件を持つプログラムのケースに対して応答集合意味論の正しい一般化としてそれを提案した。制約条件を持つプログラムに対するこれまでの論文の中で提案されている応答集合に関するいくつかのその他の概念は,適切に選択された計算クラスの結果として提案フレームワークの中で獲得可能になることを示した。Copyright 2010 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.

シソーラス用語： *論理プログラミング ,  制約条件 ,  *意味論 ,  形式記述 ,  計算モデル ,  集合 ,  応答 ,  正規化
準シソーラス用語： *プログラム意味論 ,  応答集合 ,  応答集合意味論 ,  *論理プログラム

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

タイトルに関連する用語 (5件)： 制約 ,  アトム ,  論理プログラム ,  計算 ,  役割