/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2009ホーム
/
2H1-4 論理プログラムの統一的な意味論
06月18日(Thu) 09:00〜10:20 H会場(ホール棟6F-64室)
2H1 基礎・理論「プランニング」
演題番号
2H1-4
題目
論理プログラムの統一的な意味論
著者
秋葉 澄孝(産業技術総合研究所)
時間
06月18日(Thu) 10:00〜10:20
概要
論理プログラムから決定される写像を定義する.この写像の無矛盾
な不動点は元の論理プログラムのモデルとみなすことができ,
well-founded model や answer set model もこの写像の無矛盾な
不動点である.つまりこれらのモデルはこの写像の無矛盾な不動点
という意味で同種類のモデルといえる.
論文
PDFファイル