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ファイル