2019年12月28日
人工智能技术导论——基于谓词逻辑的机器推理
摘要： 一、一阶谓词逻辑 1、谓词、函数、量词 设a1, a2, …, an表示个体对象, A表示它们的属性、状态或关系, 则表达式 A(a1, a2, …, an) 在谓词逻辑中就表示一个(原子)命题。 例如, (1) 素数(2), 就表示命题“2是个素数”。 (2) 好朋友(张三, 李四), 就表示命题 阅读全文
posted @ 2019-12-28 15:57 王陸 阅读(8612) 评论(0) 推荐(2) 编辑