1R-9
プリファレンス付き議論フレームワークPAFのASPによる議論意味論計算
○永吉信雄，若木利子（芝浦工大）
1995年Dungにより議論フレームワーク(AF)とその意味論が提案された．また法的推論等では優先情報はよく用いられるため，2002年Amgoudにより優先情報を扱えるようAFを拡張したプリファレンス付きAF(PAF)と意味論が提案された．しかし2009年Amgoud自身によりその意味論の技術的問題点(conflict-free性の非保証)が指摘された．そこで本年若木によりconflict-freeを保証するPAFの新たな意味論が提案された．本研究では若木のPAFの意味論に基づく，解集合プログラミング(ASP)技術を適用した議論計算手続きの提案，議論計算エンジンの実装を行った．