摘要: 一、逻辑逻辑是一种可以从中找出结论的形式化语言。句法(规则)用语言定义句子。语义定义句子的含义。定义一个句子的真假性。二、蕴含即一个事情逻辑上是另一个事情的必然结果:KB ╞ α知识库KB蕴含句子α,当且仅当α在所有KB为真的世界里均为真。蕴含是基于语法的句子关系。三... 阅读全文
posted @ 2017-10-26 13:02 Bryce1010 阅读(417) 评论(0) 推荐(0) 编辑