ソフトな推論Markov Logic Networkの紹介 - Preferred Networks Research & Development

予約したもののインフォバーを手に入れられない海野です． 人間の高度な知的処理の一つが、推論処理です．今日はその推論を、述語論理と機械学習の組み合わせで模倣したMarkov Logic Networkという手法と、そのOSS実装であるAlchemyの紹介です． 鳥とはなんですか？という質問に対してどう答えるでしょうか．大雑把には、以下のように考えるでしょう． 鳥とは、空を飛ぶ動物です． この回答に対して、「ペンギンは飛ばないよ」と反論する人がいるかも知れません． 鳥とは、くちばしを持った動物です． すると、「カモノハシは鳥じゃないよ」と言われるでしょう．人間は初めて見た生き物が鳥かそうじゃないか判断するとき、どうしているのでしょうか．思うに、少数の規則（飛ぶかどうか．くちばしをもつか）から総合的に判断しているように思われます．人間の推論というのは概ね以下のような特徴を持っているのではないかと

[omega314]

マルコフ論理ネットワーク

[wata88]

使ってみると学習時間が長いけど、ルール書き換えられるの楽しい

[yamitzky]

使いどきは難しそうだけど、面白い

[tinsep19]

データを自動で分類するような問題を解くときに、大きく分けてルールベースと機械学習の2つがあります．機械学習ベースは微調整が難しい．Markov Logicならルールベースをハードな制約として簡単に記述することができま

[todesking]

こういうルールベースと組み合わせやすい機械学習手法、応用が利きそうでいいな

[fuba]

ハードな制約を容易に導入できる、出力の制約にも柔軟に対応できる？

[y_r]

"Markov Logicをひとことで言うと、ソフトな一階述語論理といえます．"

[syou6162]

海野さんによるMLNの紹介!