![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
AI
云端潜行
A light heart lives long.
展开
-
First order logic——Writing FOL
translate1. 分清楚逻辑主次场景一:Let Gov , Univ, Lca, Bill be constant symbols, and let prof(x),stud(x),unhappy(x),cut fund(x,y),fail exam(x,y) be unary and binary predicate symbols.If professors are unhap...原创 2019-01-20 03:33:44 · 564 阅读 · 0 评论 -
First order logic——Inference
区分Inference rule 和 Inference algorithm的区别理解各个Inference rule的soundness 和completeness的关联算法独立性Knowledge base可能因为基于不同的逻辑规则而不同,比如Propositial logic 和 First order logic的语法,语义都不相同Inference ruleMode...原创 2019-01-20 03:51:51 · 650 阅读 · 0 评论