随笔分类 - DTU_AI
DTU course of Artificial intelligence
摘要: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
阅读全文
摘要:*digital exam (DE)*, *multiple choice* Lecture content: slides02 - uninformed search; slides03 - informed search; slides04 - Non-determinism and parti
阅读全文
摘要:numerical integration, 数值积分。numerical integration refers to methods in which the integral over continuous function is evaluated by computing the value
阅读全文
摘要:1. a heuristic function h(n): a heuristic value of n, that is the estimated cost of reaching goal from n. 2. How to design heuristics? properties of a
阅读全文