人工智能知识库
Search
搜索
暗色模式
亮色模式
探索
标签: Prolog
此标签下有4条笔记。
2026年4月18日
符号逻辑与AI
符号逻辑
命题逻辑
谓词逻辑
模态逻辑
人工智能
知识表示
自动推理
逻辑编程
Prolog
知识工程
2026年4月18日
自动定理证明
自动定理证明
归结原理
霍恩子句
Prolog
前向链接
后向链接
推理引擎
Coq
Isabelle
LISP
2026年4月18日
符号逻辑与AI
符号逻辑
命题逻辑
谓词逻辑
模态逻辑
人工智能
知识表示
自动推理
逻辑编程
Prolog
知识工程
2026年4月18日
自动定理证明
自动定理证明
归结原理
霍恩子句
Prolog
前向链接
后向链接
推理引擎
Coq
Isabelle
LISP