摘要:
The most intuitive way to check validity of inference by brut-force truth-tables. 阅读全文
posted @ 2020-05-03 22:04
keeps_you_warm
阅读(98)
评论(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
阅读(93)
评论(0)
推荐(0)
浙公网安备 33010602011771号