摘要: The most intuitive way to check validity of inference by brut-force truth-tables. 阅读全文
posted @ 2020-05-03 22:04 keeps_you_warm 阅读(94) 评论(0) 推荐(0) 编辑
摘要: Knowledge base is a set of sentences. proposition letters p, q, r ... they generate set of different situations. eg. three propositional letters gener 阅读全文
posted @ 2020-05-03 18:13 keeps_you_warm 阅读(87) 评论(0) 推荐(0) 编辑