关于只是大致可以分为how, what, why这3中知识。 也就是所谓的"知、行、观"
what表示的是知识是什么,通过声明式的表示方法来表示知识
what表示的如何实现知识,属于工具类的知识,表示对知识的探索过程
why表示的知识存在理由,是知识的充分条件
Computer science is dealing with a different kind of knowledge -- Imperative or
"how to" knowledge. It is trying to capture the notion of a
process that causes information to evolve from one state to
another, and we want to see how we can use methods to capture the knowledge
一个命令式知识的公共模式
1:做一个猜测
2:检验猜测是否正确(检验正确时就需要what之类的知识)
3:如果正确的话,则找到结果
4:如果不正确的话,换另外一个猜测(或者在现有猜测上进行改进),跳转到第2步,直至找到正确的答案
5:最重要的是猜测的改进算法,如果不能有效的改进猜测的话,那效率将是很低的
把这个模式实例化就是计算平方根的过程
what表示的是知识是什么,通过声明式的表示方法来表示知识
what表示的如何实现知识,属于工具类的知识,表示对知识的探索过程
why表示的知识存在理由,是知识的充分条件
Computer science is dealing with a different kind of knowledge -- Imperative or
"how to" knowledge. It is trying to capture the notion of a
process that causes information to evolve from one state to
another, and we want to see how we can use methods to capture the knowledge
一个命令式知识的公共模式
1:做一个猜测
2:检验猜测是否正确(检验正确时就需要what之类的知识)
3:如果正确的话,则找到结果
4:如果不正确的话,换另外一个猜测(或者在现有猜测上进行改进),跳转到第2步,直至找到正确的答案
5:最重要的是猜测的改进算法,如果不能有效的改进猜测的话,那效率将是很低的
把这个模式实例化就是计算平方根的过程
(defn sq
[x]
(letfn [ (abs [x] (if (< x 0) (- x) x)) (improve [guess]
(/ (+ (/ x guess) guess) 2))
(good? [guess]
(< (abs (- (* guess guess) x)) 0.001))
(sq-iter [guess]
(if (good? guess)
guess
(recur (improve guess))))]
(sq-iter (/ x 2))))