Iowa State University的人工智能方向

有人问我这个事,顺便转在这里。

我在Iowa State University计算机系待了6年(2001-2007)。这两年系里有些变化,变化不大。ISU的计算机系是个小系,也就20多个教师。AI研究方向,主要是三个人。

Vasant Honavar,是印度人,50出头,威斯康星 Madison 1990年的博士,我的老板。人很好,绝对大好人。可以去看我以前的小文《记“郝”先生》。

Honavar在AI方向上在ISU应该是最强的,什么都搞,手下人也多,多到不再叫AI Lab了叫Center for Computational Intelligence, Learning, & Discovery。Honavar已经是桃李遍天下了,20多个PhD,商业学术界都很多(比如Groupon的Director of Research)。他最早搞神经网络,后来搞了进化计算,2000年前后慢慢转到机器学习和生物信息学(曾是ISU生物信息学Program的主任),也开始搞一点ontology。我是他第一个专门搞语义网的学生(2003年开始),后来又有3-4个。总的来说,Honavar的看家本领还是机器学习——其实这个在AI里大概是最好找工作的方向,现在各大Web公司都抢着要。

read more

纪念John McCarthy

人工智能的创始人John McCarthy刚刚去世。看了Bertrand Meyer在CACM上的Blog,有些感想。

我见过John一次,2007年在温哥华,AAAI年会上。他很老了(那年80整),走路很慢,手不停在抖,大概是帕金森氏症吧。大多数时候,他一个人在走,上下楼都自己一个人。我认得这张脸,问我老板,这是John McCarthy吧,怎么好像大家都不认识他似的。老板说,大概他太老了吧。老到他自己创立的学科的徒子徒孙们,已经不记得开山鼻祖了。

read more

Matrix与Godel不完备定理[2005]

【Net.Weblog.20050711】

2005-07-11

最近温习了《matrix》, 再读Godel不完备定理, 有两个想法

1. Matrix讲的是形式系统的相容性和完备性的矛盾. Matrix中的个体的活动, 比如行走, 打斗和死亡, 都是一个定理证明过程. Matrix是一个相容系统, 但是不完备, 设计师就把那些不能证明的命题送到Zion去观察, 经过学习(“直觉”或者统计), 由The One为Matrix添加新的公理(matrix reload). 这个设计很合乎图灵机的局限性(停机问题和是哥德尔不完备定理等价的).

read more

网络战,面条战?

【本文所有内容来自公开资料】

“Foreign Policy” (《外交政策》) 三/四月号发表了一篇文章:“It Takes a Network”(这需要网络)。作者是退役四星上将Stanley Allen McChrystal( 麦克里斯特尔)。麦上将本来是驻阿富汗美军司令,去年7月因为在滚石上发表对奥巴马政策的不满被解职(暂不深入八卦)。

这个文章,内行看了并不会吃惊,因为美国军方在网络战方面,研究已久。这种网络战,并不是指形式上使用现代通信网络比如计算机网络——那是“古”已有之。而是,在现在的美国作战思维中,特别是针对反恐作战,认为传统的由上至下的指挥方式已经不胜任了。一种新形式的作战,是灵活的,自组织的,Facebook时代的作战。为了研究如何支持这种作战方式,美军投入了巨额资金研究如何利用有效网络。这种网络,被称为“综合网络”,它包括

read more