- ホーム
- 文献詳細
言及状況
はてなブックマーク (1 users, 2 posts)
[prolog][logic][pdf]
「後ろ向き推論の演繹方法として…節中の最左端負リテラルを選択するSLD演繹を対象とし RBU演算を使ってSLD演繹を実現…前向き推論としては SLD演繹と同様の選択関数を用いるようにした単位演繹であるSUD演繹を提案」
[prolog][logic][pdf]
「後ろ向き推論の演繹方法として…節中の最左端負リテラルを選択するSLD演繹を対象とし RBU演算を使ってSLD演繹を実現…前向き推論としては SLD演繹と同様の選択関数を用いるようにした単位演繹であるSUD演繹を提案」
収集済み URL リスト