fixedpoint.jp - Fixpoint Semantics for Logic Programming - A Survey

Fixpoint Semantics for Logic Programming - A Survey

Melvin Fitting 教授の論文 Fixpoint Semantics for Logic Programming - A Survey は論理プログラミングの意味論を fixedpoint の理論を基に要約したサーベイです。

分かる範囲では、この論文の

• 多くの例を基に説明している(結論にさえ例が出てくる!)
• 複数の意味論を段階を踏んで紹介しており、論理プログラムに含まれる negation が関係する問題に対して、それぞれの意味論での解釈が分かりやすく説明されている

という点に特に価値があると思います。

... というわけで、久しぶりに fixedpoint.jp 向きのエントリになりました。