日々の流転

λ. 雑談メモ

• ホーン節に限定されない、一般のresolutionは色々難しい
  • ancestor resolution
  • factoring
  • Michael Genesereth
• Prolog based theorem proover
  • Mark E. Stickel
  • 対偶等を使ってPrologで扱える形に変換する前処理
  • 意味論の問題
  • 2008-03-27追記: SATCHMO等のことか?　⇒ SATCHMOで遊ぶ - ヒビルテ (2007-12-19)
  • 2008-05-25追記: いや、PTTP - Prolog Technology Theorem Proverのことか。
• model checking で幾何学の定理を証明?
• magic set
  • Magic sets and other strange ways to implement logic programs.
• magic set と chart parser ?
• Cocke-Younger-Kasami (CYK) algorithm
  • 2008-03-27追記: Haskellで書いてみた
• 『現代数理論理学入門』の強制法の解説はわかりやすいらしい

λ. 統計の本

某K氏に統計の本の紹介を頼んだら、この二冊を紹介された。 後で読みたい。

λ. 知識発見法レポート

先日読んだ Learning Minesweeper with Multirelational Learning に触発されて、数独で数字を埋めるための規則を学習させようとしてみたのだけど、残念ながらうまくいかなかった。

• 知識発見法レポート
• 背景知識 sudoku.b
• 正例 sudoku.f
• 負例 sudoku.n