動的プリファレンスを扱う議論エージェントシステムの構築

摘要

To reason dynamic preferences is quite natural in human common-sense reasoning. In the legal reasoning, for example, the principles of Lex Superior, Lex Posterior and so on have been used as dynamic preferences in the court. So far, to reason such dynamic preferences on the computer, many approaches are proposed based on theories of argumentation frameworks, logic programming and nonmonotonic reasonning. In this paper, we propose new approach of argumentation semantics to enable us to handle dynamic preferences by applying Mosgil's hierarchical argumentation. In addition, the implemented system based on the ptoposed method as well as its evaluation results are also shown.%上位法優先（Lex Superior）や新法優先（Lex Posterior）などの原則を用いて現実に人間が法廷などで行っている法的推論は動的プリファレンス（dynamic preferences）を扱う議論の代表例である.このような人間が日常的に行なっている動的プリファレンスを用いた議論や推論をコンピュータ上に実現することを目的として，これまで議論（argumentation）の意味論や非単調推論に基づいて動的プリファレンスの形式化の試みが行われ，種々の方法が提案されてきた.本研究では，最近Mosgilにより提案された階層的議論（hierarchical argumentation）のアイデアを応用して，動的プリファレンスを扱う新たな議論の意味論の形式化を提案する.さらに，提案手法に基づくシステム構築と評価結果について述べる.