2020年5月20日
DTU_AI 复习知识点：logic
摘要： week 11: belief revision week 12: first-order logic CNF: conjunction of clauses. p -> q <=> not p V q; Special kinds of clauses: definite clause: exac 阅读全文
posted @ 2020-05-20 00:01 keeps_you_warm 阅读(141) 评论(0) 推荐(0) 编辑