睡觉：

今天发现睡觉实在是件舒服且耽误时间的事，人为什么要睡觉呢？如果能避免就好了。

宗教：

宗教的逻辑有时挺有意思，什么时候好好看一看。

我需要知道的太多了。

Catso  发表于 2004-08-19 22:32  阅读全文| 评论(3)| 引用Trackback(0)| 编辑  

克拉克完备：

今天我的师兄（Chattrakul Sombattheera）问为何要将规则改写为克拉克范式，答案是为了达到克拉克完备性。即凡是对于不知道的命题，统统将其真值看做假。想起原来听过的一句话：只要我不醒来，世界就不存在。很唯心，不是吗？没想到的是一群唯物主义学者设计出来一个这么唯心的智能框架。呵呵，玩笑而已。在这种方法下，许多问题得到了简化。

人类如果有一个简化的心灵，将会怎样呢？

单调系统与非单调系统：

在单调系统中加入新的子句后，知识库的结论不变。而在非单调系统的知识库中加入新的子句后会产生另外的结果。看来，固执的人趋向于单调，圆滑的人趋向于非单调。我是一个趋向于单调的人，有时候其逼近程度甚至都到了快使我信念集中子句不一致的地步。

梦中的：

昨天（其实应该说是今天凌晨）睡觉做了一个梦，记忆很清晰。我仿佛又回到了母校，朋友们都还在。我们聊天、四处乱逛。盛夏的傍晚，路上依然是满眼的梧桐，枝叶繁茂，挡住了西天的一抹太阳。不知是否因此我看不清他们的脸孔，还是我根本就快要遗忘。

还有那5平米的暗房，我一手搭建，定影液的味道好象还在四处萦绕。那熟悉的放大机，裁纸刀。等我伸手触摸，却只看到现实的天花板横在眼前。让我意识到那些日子已经定格在永恒中了。

Catso  发表于 2004-08-18 20:37  阅读全文| 评论(4)| 引用Trackback(0)| 编辑  

还记得我们的U2吗？你实现了梦想吗？

傍晚的教学楼中，你叼着烟的样子很眼熟。

时光荏苒，永远记住那些落叶、草地、还有姑娘。

Catso  发表于 2004-08-17 22:59  阅读全文| 评论(8)| 引用Trackback(0)| 编辑  

今天整理老硬盘里的资料，翻出了几张大学时拍的老照片，以此祭奠那永不复返的四年。

我们的防空洞，烈日炎炎的夏日，你是最好的自习之处：

这段走廊，是最好的聊天之处：

到长阳的山区里玩时拍的，在这户农家里歇脚：

Catso  发表于 2004-08-17 22:47  阅读全文| 评论(8)| 引用Trackback(0)| 编辑  

蕴含：

今天和另一位导师（Dr. Zhaohao Sun）长谈了一次。其间聊到形式逻辑的若干问题，澄清了对于Entailment概念的一些模糊之处。我一向将此术语译作“逻辑可导”或干脆直译作“限定”，现在想来真是很可笑的译法。由于太少看中文逻辑教材，一直不知道其实中文对此概念有一极好的表达：蕴含。开始有些怀疑，怕这种翻译会与英文中“Implication”的概念弄混，转念一想，这不是一回事吗。Entailment不就是经由某些过程才能达到的Implication吗。看来我要好好的回头梳理自己的许多基本概念了。

人需要时时回头看一看，说不准就有收获。

表达：

许多时候许多人都会面临不只如何表达自己的困境。是所掌握的语言不丰富的原因吗？命题逻辑有5个连接词，加上谓词逻辑的2个量词，再加上情态逻辑的2个情态词，所有的推理就可以得以表达。如果做一些变换，那么可以只用两个连接词（即只用合取式或只用析取式）就表达出无数的推理过程。可见当我们无法表达某些东西时，需要的往往不是语言上的补充，而是运用能力上的补充。推广之，当办某些事遇到困难时，应先弄清到底好好利用了现有资源没有。

人：

所有科学中，以观察人的行为最为有趣、最为复杂。将来有时间、有闲钱的话，一定把人类行为学从头到尾好好地学一遍。这暂定为一个奋斗目标吧，也可能永远不能实现。

总之很感兴趣。

Catso  发表于 2004-08-16 21:15  阅读全文| 评论(2)| 引用Trackback(0)| 编辑  

新的一周又开始了，循环不息。这么晚了，还没有睡意。在结构人类学中，所有的人类现象都被归结为深层文化语法结构，可能有必要去看一下语言学方面的资料。逻辑的学习不能停止，这是基础。

学校后面的山是这个城市的制高点。入夜时站在上面，可以看到灯火如蛛网般向四处延伸。远处海面只是一味的黑暗着，不闪光、不咆哮。听不到声音，夜晚的城市仿佛天国。

天国中是不应失眠的。

Catso  发表于 2004-08-16 00:36  阅读全文| 评论(0)| 引用Trackback(0)| 编辑  

默念：

逻辑的日子南天寺坐火车速度慢的原因是鸽子划过天际的云。天黑下来的时候鸡蛋炒意粉不要掉在地上开出金钟花的猫爪。搞笑在窗外的树枝下突然一声巨响的张狂。显示器的画面拉孔奥残破的头像无奈在榛子酱的彷徨。围栏与马匹狂飙在无数身上的空洞与海洋。

洗脑结束，自己醒了，别人昏了。

转换：

刚刚把脑袋放空了感觉还可以。在图书馆坐了一下午，发现窗户大的地方就是很舒服，太阳很暖和仿佛是个完美的世界。虽然没看进去多少东西，但仔细的看看自己的身边也很不错。空旷的阅览室不知是谁的随身听，细细小小地飘过来的竟然是California Hotel。突然很想开车去中部的公路上狂飙一下，享受一下荒原从窗外不断掠过的感觉。看看夕阳可以如何的血红，看看大地可以如何的孤寂。

奥运：

如果能和家人一起看奥运就好了。

Catso  发表于 2004-08-15 18:48  阅读全文| 评论(6)| 引用Trackback(0)| 编辑  

休息：

今天休息了一天。收拾房间，上网乱逛。看到了几篇搞笑的文章，写的是网友见面。突然发现毕达哥拉斯主义在这件事情上又得到了验证。你满怀希望的去“见”一个“可理喻”人，真正能见到的却是一个“可感知”人，心理落差当然是巨大的。

突然想起来书还没还，又过期了，只好交罚款。

决策：

决策论一直在研究低代价和高效率这两者间的平衡。作为一个人工智能的实体，理性机器，其思维过程整个就是一个搜索、比较过程，此外无他。那么这个实体能被称为具有“智能”吗？又是一个哲学问题，而且被我考虑得过于感性。在我眼中，能够感到“愉悦”的实体才能被称为具有“智能”。今天休息，懒得进行语义学上的讨论了。这种感性的认识是会被实验室的师兄们嘲笑的，打住、打住。

但如果说理性的决策才是唯一的正途，那么我们的宇宙会是理性决策的产物吗？

天气：

今天太阳很好，打开窗子甚至可以闻到它的味道。稀疏的树影投进房里，映在床上，在风中扭动，突然有些香艳的感觉。楼上的又开始弹吉他了，不过今天弹得还不错。他的老婆很瘦，怀孕时挺着大肚子来楼下晾衣服。那个下午的阳光有如今天，她金黄的头发正无力地垂在细小的肩膀上。

Catso  发表于 2004-08-14 16:26  阅读全文| 评论(9)| 引用Trackback(0)| 编辑  

每次洗个热水澡后脑袋都像空掉了一样，什么也想不起来。只有被蒸汽包围着的感觉。坐在椅子上，头发还没擦干，等着浑身的热气慢慢散去。呆呆地盯着显示器，洗澡前的思路才慢慢地回到脑中。

突然想起小时候，冬天，下大雪。睡前洗个热水澡，往被子里一钻，那时被子里还是冷的，我一下子蜷缩起来。慢慢慢慢地用体温把被子烘热了，再慢慢慢慢地舒展开来。真的很舒服，每天早上都不愿起床。

我的房间是白色的墙
油漆斑驳的窗框
和摇晃的床

这满屋的味道
是谁的发香？
熏得我浑身发烫
无处躲藏

天花板上的日光灯
粘着蛛网
仿佛在吟唱，仿佛在吟唱

Catso  发表于 2004-08-13 21:07  阅读全文| 评论(10)| 引用Trackback(0)| 编辑  

空集：

问题：存在这样的两人，这两人是完全不能交往的吗？证明如下：设有两人完全不能交往。为简化问题，考虑理想状态下，即此二人不能交往的原因为其思想完全不同。进一步严格定义为此二人在交往过程中之信念集交集为空集。

因为处于理想状态下，故每人的信念集都为一个定理。即此信念集等于此信念集的闭包。而在任何闭包内必然存在重言式（是否同构还需证明），故两闭包之交集不可能为空集。故理想状态下，此二人在交往过程中之信念集交集不可能为空集。进一步可知此二人不可能思想完全不同。与假设矛盾。

结论：理想状态下，不存在这样的两人，这两人是完全不能交往的。

只要愿意（即理想状态下），任意两人都是可以交往的。

刨坑与堆山：

如果已经刨了一个坑，那么就继续刨一个坑的坑；如果已经堆了一座山，那么就继续堆一座山的山。这是今天和导师讨论一篇论文时想到的。

这是一个从一阶、二阶一直拓展到n阶的逻辑。当思考一件难以理解的事，最好思考一下这个思考，即来一点思考的思考。站在n阶的高度去看n-1阶的问题总是要容易一些。这一点是我欠缺的。

站立：

今天站了两个小时，有一点累，该不会是老了吧。中学时罚站一天都不累的。会议室的计算机和白板放得太远了，总要跑来跑去，下次提意见。还有就是白板笔的笔尖都变成了毛笔一样，写起来很不爽。

决心：

一直在犹豫我现在的方向是不是有些太偏基础，终于，决心在今天的讲座上定下了。因为很有收获。

Catso  发表于 2004-08-13 16:59  阅读全文| 评论(2)| 引用Trackback(0)| 编辑