Markov Logic Network (1) - QiitaMarkov Logic Network(MLN) というモデルについて勉強した際のノートです。誤りがあるかもしれませんのでご注意下さい。とりあえず使う為にはAlchemyのようなソフトウェアもあります。Matthew RichardsonとPedro Domingosの論文を読みたいと思います。 概要 Markov Logic Network $L$ とは 一階述語論理の論理式 $F_i$ と実数値の重み $w_i$ の組 $(F_i, w_i)$ の集合 の事。例えば下のようなもの。 $\forall x(\rm{Smokes}(x)\Rightarrow \rm{Cancer}(x)): 1.5$ $\forall x\forall y(\rm{Friends}(x,y)\Rightarrow (\rm{Smokes}(x)\Leftrightarrow\rm{Smokes}(y))
