文献

J-GLOBAL ID：201002274819480724   整理番号：10A0484683

論理に基づく推論研究の動向 数理議論学の発展-動向と今後の展望-

著者 (1件)： 沢村一 (新潟大 自然科学系)
資料名： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
巻： 25  号： 3  ページ： 408-418  発行年： 2010年05月01日 
JST資料番号： X0330A  ISSN： 0912-8085  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 数理議論学は数理論理学と学問的に類似し,形式化による現象の理解を試みる議論学である。本論文では,数理議論学に影響を与えたDungの抽象議論フレームワークと複数主義を唱える議論意味論について解説し,議論を記述するための多値議論の論理(LMA)を紹介した。LMAは豊かな反論関係を有する知識表現言語としてEALP(Extended Annotated Logic Programming)に基づき,束をなす真理値の順序関係を情報の量という基軸に基づいて解釈し,反論,無効化,打破,完全な無効化,攻撃といった議論の衝突関係を定義している。また,インターネット上に実在するエージェント同士による議論が可能な統合議論環境として実装され,1)社会的知能の実現,2)モデル構築困難な問題に有効な計算方式,3)ダイナミズムに対応できる問題解決法の提供,4)社会的・文化的計算原理といった議論の特徴から,分散人工知能やエージェント指向計算に有用である。さらに,i)矛盾した知識ベースからの推論,ii)選好基準に基づく柔軟な推論,iii)結果に対する説明機能の具備から人工知能分野への議論の応用可能性を論じた。

シソーラス用語： *形式的手法【計算機】 ,  論理学 ,  *多値論理 ,  *知識表現 ,  論理プログラミング ,  エージェント ,  システムダイナミックス ,  知識ベースシステム ,  好み ,  人工知能
準シソーラス用語： 議論 ,  *数理議論学 ,  数理論理学 ,  選好

分類 (3件)： 計算理論  (JB02000A) ,  論理代数  (JB03000H) ,  人工知能  (JE08000Z)

引用文献 (66件)：

• ABBAS, S. Argument mining from RADB and its usage in arguing agents and intelligent tutoring system. Innovative in Multiagent Systems : Foundation and Innovative Applications. 2010
• AMGOUD, L. A reasoning model based on the production of acceptable arguments. Ann. Math. Artif. Intell. 2002, 34, 1-3, 197-215
• AMGOUD, L. A unified and general framework for argumentation-based negotiation. 6th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2007). 2007, 1018-1025
• AMGOUD, L. Agents that argue and explain classifications. Autonomous Agents and Multi-Agent Systems. 2008, 16, 2, 187-209
• AMGOUD, L. Repairing preference-based argumentation frameworks. IJCAI'09. 2009, 665-670

タイトルに関連する用語 (7件)： 論理 ,  推論 ,  研究 ,  動向 ,  議論 ,  発展 ,  展望