2005-01-21から1日間の記事一覧
〜研究〜 関数を述語に変換し、導出された節が元々ある節Cのいずれかにおいて、変数の名前を変えるだけの操作によって(導出節のリテラルの集合)⊇(Cのリテラルの集合)ならばその導出節は加えない、というルールを与えて導出を繰り返せば有限回で止まる…
〜研究〜 関数を述語に変換し、導出された節が元々ある節Cのいずれかにおいて、変数の名前を変えるだけの操作によって(導出節のリテラルの集合)⊇(Cのリテラルの集合)ならばその導出節は加えない、というルールを与えて導出を繰り返せば有限回で止まる…