2016-03-22から1日間の記事一覧
一階述語論理の resolution の規則って, として を の MGU としたときに と書けて(resolution に を使うのはあまり普通ではないかもしれないけど),これだけで反駁完全なのだと思っていました。しかしどうもそうではないようだという気がしてきて,どうやっ…
一階述語論理の resolution の規則って, として を の MGU としたときに と書けて(resolution に を使うのはあまり普通ではないかもしれないけど),これだけで反駁完全なのだと思っていました。しかしどうもそうではないようだという気がしてきて,どうやっ…