文献

J-GLOBAL ID：201202206634056526   整理番号：12A1612689

議論フレームワークのための標準的で強い拡張等価性

Normal and strong expansion equivalence for argumentation frameworks

著者 (1件)： BAUMANN Ringo (Universitaet Leipzig, Johannisgasse 26, 04103 Leipzig, DEU)
資料名： Artificial Intelligence  (Artificial Intelligence)
巻： 193  ページ： 18-44  発行年： 2012年12月 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 意味論σが与えられるとき,2つの議論フレームワーク(AFs)FとGはもしそれらが同じ外延を持つならば標準的等価であり,もし任意のAF Hに対してHと結合されたFと,Hと結合されたGが標準的等価ならば強等価であるという。議論は動的プロセスであり,一般的に新しい議論がより以前の議論に応えて生じる,あるいはより正確にいえば新しい議論がより以前の議論を攻撃する。このために任意の拡張を考えるよりもむしろ新しい議論と攻撃が追加されるかもしれないが,ここでは古い議論の中で攻撃が変化しないままである拡張に注目する。AFs間の(標準的等価性と強等価性の間にある)2つの新しい等価性の概念,すなわち標準的で強い拡張等価性を定義して特性を示した。さらに,本論文で証明された特性づけ定理を用い,さらなる等価性関係,いわゆる弱くて局所的な拡張等価性を含む等価性すべてが言及された概念間の関係を示した。Copyright 2012 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.

シソーラス用語： *人工知能 ,  動的系 ,  等価性 ,  同値関係 ,  キャラクタリゼーション ,  *意味論 ,  数学的性質 ,  正規化
準シソーラス用語： *議論フレームワーク ,  議論 ,  外延 ,  選好意味論

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 議論 ,  フレームワーク ,  標準 ,  拡張 ,  等価性