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