描述了内置谓词的用法,里面含有大量的形式化推理,不是很明白,求共同探讨。

对人工智能很好的学习资料,描述了基于上下文的知识表示方法和推理过程。

九宫问题的java实现总结,里面还有我的一些总结和实验报告模板样例。

描述了内置谓词的用法,里面含有大量的形式化推理,不是很明白,求共同探讨。