COGS201 学习笔记 week 1
Representations 和 Procedures的区别Representations: 你所知道的 Procedures: 你所在做的 Thinking = Representations + Procedures Representations的例子 Concepts概念 (what is a “chair”? 什么是“椅子”?) Facts事实 (Convocation Hall has a balcony 集会厅设有阳台) Production Rules 规则 (IF the door has a knob, THEN I can turn the knob 如果…那么…) Memories 记忆(读取) (how I felt when I woke up yesterday) Sensations感受 (it’s cold in here) Procedures 的例子 • Logical reasoning逻辑推理 • Solving a problem解决问题 • Making a plan制定计划 • Processing...
COGS201 学习笔记 week 2
查询123?- parent(anakin,Who).Who = lukeWho = leia 一个查询可能有多个正确答案 返回false表示没有找到 Conditional Sentences 条件语句组成: Consequent 结论 Implication 蕴含关系 Antecedent 前提 1mother(X,Y) :- parent(X,Y), female(X). 若X是Y的父母且X为女性,则X是Y的母亲。 逗号表示‘’和’ 12father(X,Y) :- parent(X,Y), male(X).grandparent(X,Y) :- parent(X,Z), parent(Z,Y) “若X是某个Z的父母,且Z是Y的父母,则X是Y的祖父母。” Negation 否定Prolog 中的“非”符号是 \+ 例: 1?- parent(X,luke), \+ female(X). 找到luke的父母中不是女性的那位 Equality 相等Prolog 支持等式: X=Y,但通常不需要单独写 X=Y 而是直接用同一个变量名 写法...
Hello World
Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quick StartCreate a new post1$ hexo new "My New Post" More info: Writing Run server1$ hexo server More info: Server Generate static files1$ hexo generate More info: Generating Deploy to remote sites1$ hexo deploy More info: Deployment