意与义_LiuShengPing
查看新浪微博主页意与义_LiuShengPing
//@昊奋: 逻辑推理需要追求sound和complete，所以一阶逻辑的很多推理是intractable的。这里有一块tractable的是Description Logic，这一块后来也成为了语义网的基础。所以这里说的裁剪其实就是在表达能力和推理复杂度之间进行tradeoff。之后大家提出了各种扩展，有兴趣可以看OWL2 Working Group。 展开全文Watson和Wolfram之争: Wolfram认为Watson还是在用一些统计的东西制造出实现了人工智能的假象，缺乏对query的深层理解和背后知识的深层推理，而这些都是Wolfram所具备的，NLP的同行怎么看啊？全文请见 🔗 网页链接 转发 1评论 0 原微博