3T-1
プリファレンスを扱う議論意味論のASPによる計算とプリファレンス発見への応用
○龍沢昌宏，若木利子（芝浦工大）
2002年, Amgoudにより「プリファレンス付き議論フレームワーク（PAF）」の
意味論が提案されたが, 後にconflict-free性の非保証という技術的問題点が
指摘された.
若木によりこの問題点を克服したPAFの新意味論がP-extensionで定義され,
その計算方法が昨年永吉により提案・実装された.
本研究では, 以下の成果を報告する.
① 先行研究と異なり, 本研究では一つの論理プログラムの解集合が
P-extensionと一対一に対応するASPプログラミングの方法を提案.
② ①に基づき, 発想的論理プログラミングの技術を用いて所望の論証を
正当化するプリファレンスを発見する方法の提案.
③ ①と②のツールによる実装.