首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81532,"Name":"人工智能"},{"ID":81533,"Name":"机器学习"},{"ID":81554,"Name":"知识表示"},{"ID":81555,"Name":"一阶推理"}]
. 理学 . 计算机科学技术 . 人工智能 . 机器学习 . 知识表示 . 一阶推理一阶推理
/first-order reasoning/
最后更新 2024-12-04
浏览 209次
一种逻辑推理形式，是命题逻辑推理的扩展。
- 英文名称
- first-order reasoning
- 所属学科
- 计算机科学技术
京公网安备 11010202008139号
