節論理における推論の明示を目指したグラフィカルモデル

抄録

本発表では論理を用いた新たなグラフィカルモデルを提案する．論理を用いたグラフィカルモデルにはマルコフロジックネットワークやベイジアンロジックなどが提案されているが，これらは論理における推論プロセスを十分に表現しているとは言えない．本発表では，論理における推論プロセスを明確にできるようなグラフィカルモデルを提案し，いくつかの性質を報告する．