闭包：

在某语句集上的闭包为所有由该语句集限定之语句的集合。一个定理由一个在逻辑限定下封闭的语句集组成（原见Stanford逻辑学讲义第8讲）。

让我来曲解一下。所以，从逻辑上来讲说真话的人是有能力表达自己思想的，且当他完全严格表达自己思想时，他的话就成了定理。所以进一步得知完全说真话的人会成为圣人。有人完全说真话吗？没有。故人类中没有圣人。

机器说真话，机器能成为圣人吗？

让步与适应：

让步是一个消极过程，适应是一个积极过程。Thomas Meyer的论文初步证明了让步与适应过程在逻辑上的同一性，此二过程可相互定义。所以，让步让得好与适应一样都能达到期望的目的。看来，古老的直觉思维式哲学与现代研究成果还是可以找到不少契合点的。

住在一起的男女：

今天听见有人说“住在一起的男女（指Roommate）之间必然会发生些什么，不论是单方面的还是双方面的。”我觉得倒不如说“任意相互被感知的（认得的、看见的、听说的、想象的......都是）男女之间必然会发生些什么，不论是单方面的还是双方面的。”（命题1）为弄清这一点，必须定义“发生些什么”这个短语中“什么”这个名词常量的准确意义。“什么”从直觉上来讲似乎是个变量，但从当事人谈话中对其含义的确定性上来说，易得它是常量。

又，从谈话者语调、语气及暧昧的眼神加上我庸俗大脑的经验主义分析，这个“什么”指的是异性间的精神及肉体上的某些事务。又由弗洛伊德的经典理论（我不是其狂热者，但不得不承认他的理论还是挺有用的）可知精神的也是肉体的。用一个高频词，就是“性”。

现在得到了“什么”与“性”之间的逻辑等价性。那么什么能称为“性”呢？在此上下文中它的解释是“指与生殖、性欲有关的。如:性感;性欲”（摘自高级汉语词典）。故凡是有关的思维过程都被纳入考量中，（例1）：某甲遇到某乙，称其路遇一美女，此时某乙至少在潜意识中会勾画该女形象并起码伴有对该女美貌特性的评价过程。而根据动物学的常识，求偶过程中对潜在配偶的外表评价过程与某乙的思维过程是一致的。易知，命题1被例1蕴含，故命题1得证。

今天人变得有些无聊。

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

逻辑：

逻辑是一种语言，很多人将其看作理性之光的闪现。自然语言对抽象事物描述能力的不足使得对逻辑的研究得以发展，使得我在图书馆的时间越来越长。李诗言在看论文这一命题严格蕴含（这个术语又让我想起了情态逻辑还没有还这一事实......）李诗言累这一命题。上一语句为重言式。

信仰：

其实在人工智能的上下文中，Belief这一词并不应翻做信仰。但是......我喜欢。

人有信仰，所以人所造之物亦应有信仰。对于人工智能的产品（主要就是指Agent啦）我一向称其为“东西”。这东西实在不是什么正儿八经的东西，简简单单几个表达式进了它那小小的KB里竟然就成了信仰，实在是有违信仰一词在我心目中的光辉形象。当两个东西碰到一起，准备合作干点儿什么能使自己效益最大化的自私事儿（其实对于东西们的自私其最终受益者还是人类。人们让东西们干事，自己捞好处，还要让东西们自己都觉得自己自私，实在是......）时，两个家伙就开始嘀嘀咕咕地讨价还价了“喂，我的信仰最多可以改到这个程度了，你看着办吧！”，“嗯，用你的信仰把我的信仰用AGM操作符Revision一下，结果符合可接受决策输出的假设（O1）-（O4）。接受！”于是成交了，办事了，人们高兴了。

如果人类的信仰也能如此改变，这世界会添些许美好，抑或更遭？

Alchourron, Gardenfors & Makinson:

这是三个狠人。没事干搞个AGM Belief Revision出来，害得我们整个小组的人每天睡眠不足。人家Nash多好，虽然效用函数有些难找。

周五讲座，两小时，好像很长啊。学院头目要来听，没办法......明天才开始做PowerPoint，今晚先好好睡一觉。

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

是黄宇的页面让我动了这个念头。

理由：

首先既然做了就避免不了“博客”一词，我一向对被冠以“文化现象”的名词、概念、行为等持抵制的态度。所以我这个即使上BBS也在大多数时间潜水的人并不是“博客”，正如我不是“黑客”、“掮客”......等一样。

大多数人都有表现欲或暴露倾向，我也不例外。这个页面是个公开版的日记，虽然我没有记日记的习惯，而且最后日记可能被写周记、月记......但偶尔还是会想写点东西，现在总算有个固定的地方写一写。以供在某一天自己访问一下这个页面，如局外人一般评头论足一番，增长一些对自己较客观的主观看法。

关于我：

在实验室乱七八糟的研究决策系统。人的选择有时候是无原因的，刹那间的念头。属于不可预见性行为，非理性，是进化所必需的过程，一如变异过程。而现在我的工作确是努力寻找理性机制。这样好吗？我不知道。理性与非理性间的挣扎是许多人都要面临的问题。是哲学问题。以我导师（Professor Aditya K. Ghose）的话来说是我目前不需要考虑的问题。效用分析与逻辑模型是理性且冰冷的，我总是尝试用不太机械、有些非理性的方式去解释。每个人都有自己的哲学，但这对于我来说是不是精密仪器中的沙粒就不得而知了。

朋友们：

华工、摄协，离我很遥远了，就像一个概念。有看到这个页面的人记得留言啊：）

Kiama's Morning：

我很喜欢从我住处往南的一个叫Kiama的地方，海景很美，适合养老。将来能住在这里还真不错。可惜上一次去天太阴了，没什么好照片。

挖了两个海胆，很高兴，虽然笑得有些怪，但还是很高兴

将来：

将来......好遥远似的。争取不荒废这个页面（要是服务器垮了就没办法了）。

今天完了。

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