情報科学と人工知能のノート

初等的な知識から最新論文の解説まで色々集めていきます.備忘録兼用.

2013-02-07から1日間の記事一覧

タブロー法の謎の木

本日は大学の修論研究発表会でした.何故タブロー法は変な木を生成するだけで充足可能性判定ができるんだろうかとずっと疑問に思っていたのですが、あの木は(与えられた論理式が充足可能なときは)論理式を充足するあるモデルそのものなんだそうです.様相…