智学八卦之Horrocks[2006]

【Net.Weblog.20060324.txt】

【原文写于2006-03-24。那时候我还不认识Horrocks。2008到2009年,我在OWL工作组,Horrocks是工作组主席,有了更多接触。】

Ian Horrocks (http://www.cs.man.ac.uk/~horrocks/)在描述逻辑界可谓泰山北斗,常人不可望之项背。看他的履历,确也并非一条直线。1981年,Ian在曼彻斯特大学计算机本科毕业,去一家微处理器实验室,后来去一个数据流并行结构工作组工作。1983年他去了一家公司,负责字处理程序和桌面出版软件的开发。 (引自其博士论文)。直到1994年,Ian才回到曼大读硕士,95年毕业。又过了2年,作出了Fact推理机,拿到了博士学位。此时Ian已经40岁上下,无论如何不能算少年得志了。况且,他3年只有2个workshop论文(根据其个人主页),若按美国标准申请教职,怕连面试机会都不会有。

read more

智学八卦:一将功成万骨枯之红酒本体

如果你不知道红酒本体(wine ontology),那你对语义网还要加强学习。

Wine OntologyDeborah L. McGuinness原创,后来被广泛用在各种语义网的基础教程中,比如OWL GuideOntology 101Protege。这个本体,早年是Deb读书的时候,为了方便演示开发的。最早的版本似乎是F-Logic的,现在一般用OWL(也就是描述逻辑)来写。

Deb一直想把这个本体真正实用化,所以做了几个版本的Wine Agent [KSL版RPI版]。主要的功能,就是在你点菜的时候,推荐你要喝什么红酒。现在已经有了一个iPhone的应用,不过并没有进Apple Store。其实,这个东西应用应该有很多,比如网上买红酒的店(如Lot18)或者菜谱网站(如Yummly ),都可以用。

read more

智学八卦:勤快

“智学八卦”分类用来记我听说的,见过的各种学术界,主要是人工智能界的八卦。因为是八卦,不保证正确性,无非是些村谈野语。和此相关的,有“黑客公案”(Hacker Koan),可以自己去搜。

Ian Horrocks现在在牛津,以前在曼大(Manchester),是描述逻辑(DL)的主要代表人物。

当初OIL(OWL的前身之一)制定的时候,有DL和Logic Program (LP)两种主要的逻辑模型竞争。后来有人问,为什么选了DL,Ian说,不过是因为我勤快些。

read more

智学八卦:纳什的一件逸事

如是我闻:我的导师郝先生还在读书的时候,去听一个报告,去晚了没有位置。这时一个老先生站起来道,同学,坐这吧。郝同学不好意思,说我不能坐一个长者的位置。那老先生道,没关系,反正我也不需要了,就向讲坛走去。这个老先生就是John Nash(约翰·纳什)。对,就是《美丽心灵》里讲的那个得了炸药奖的纳什。

这件事,应该发生在纳什还没有得奖的时候。他还活着,今年82岁。

read more

智学八卦: 记“郝”先生

我在艾奥瓦州立大学的导师,这里称为“郝”老师。我有幸得到他6年的指点。这两天我们几个他的学生一起推荐他拿一个奖,要写写他的一些事迹,所以在这里顺带讲几件他的事。

我第一次见到郝先生,是2001年8月14日。记得这么清楚,因为印象十分深刻。我约了他在系里见面。待我怯生生地敲了门,门背后细细簌簌一阵声音,一个有点谢顶的脑袋从半开的门里探出来,带着些许歉意的笑容,道:“走,去对面谈”。

read more