abductive logic programming
信息科技

        一种高级知识表示框架,可用于以溯因推理为基础求解问题。它允许一些谓词不完全定义,将其声明为可溯因的谓词,从而扩展了普通的逻辑程序设计。......（本文共 75 字）     [阅读本文] >>