Alex He

摘要：我为成功而生，不为失败而活。 我为胜利而来，不向失败低头。 我要欢呼庆祝，不要啜泣哀诉。 可是，不知从何时起我所有的梦都褪色了，不知不觉中，我也沦为平庸，和周围的人互相恭维着，自我陶醉着。 人，识得破别人的骗术，却逃不脱自己的谎言。懦夫认为自己谨慎，而守财奴也相信自己是节俭的。没有什么比自欺欺人更容易的了，因为我们往往相信自己希望着的事情。在我的生活中，没以哪一个比我自己更能欺... 阅读全文

摘要：1. 引子 一阶逻辑： 规则：如果A是人，那么A会死(人是会死的） 已知事实：柏拉图是人 推理事实：柏拉图会死 其思想就是对于已知事实使用非常确定的规则进行推理，希望能发现未知的事实。 但是在现实世界中，很少有规则是没有意外的，比如： 好人有好报(才怪呢)，郎才配女貌(也不一定)，功到自然成(更是屁话)，甚至连是人就会死都不一定(如果你相信电影《那个男人来自地球》所言其实的话）。 那末，我... 阅读全文

摘要：5. 谓词和函数 Alchemy中可以使用三种不同的谓词和函数：用户自定义的，内部的或者内联的[注：指用C++写的谓词和函数]。大多数情况下，用户都提供一定数量的(有限数量的)带有真假值的闭原子；但是Alchemy也允许用户与定义他自己用C++写出的谓词和函数(内联函数linked-in)。内部处理的函数和谓词在本质上其实是一样的，因为谓词可以被视为布尔函数。 在Alchemy中，原子(谓词作用与... 阅读全文

摘要：4. 语法 马尔可夫逻辑网络是由一些带有权值的一阶谓词规则组成的，所以Alchemy输入文件的核心语法就是有关这些一届谓词逻辑的。Alchemy提供了一些机制扩展语法和使用内部执行的谓词和函数。下面两节分别介绍这两部分内容。 4.1 一阶谓词逻辑 你可以在.mln文件中表示任意的一阶谓词逻辑规则。逻辑连接词的语法是： ! (非), ^ (与), v (或), => (蕴涵), <=> (当且仅当),FORALL/forall/Forall (任意量词),和EXIST/exist/Exist (存在量词)。各个操作的优先级为：not>and>or>蕴涵> 阅读全文

摘要：本文基于Alchemy用户手册完成。尽管我这里对内容做了选择和扩张，并加入了些许个人理解；但是还是强烈建议您阅读原文。 Alchemy主页：http://alchemy.cs.washington.edu/ Alchemy用户手册：http://alchemy.cs.washington.edu/user-manual/manual.html 1. 介绍 Alchemy是一个用于学习马尔可... 阅读全文

摘要：3. 快速入门 /home/alchemy/exdata 有一些示例数据，我们可以使用这些数据进行基本的学习。 3.1 输入文件 谓词和函数的声明、一阶逻辑规则都在.mln文件中指定。比如，在univ.mln的最上面，你会看到谓词professor, student等，你也会看到附带参数类型的函数motherOf。.mln文件中出现的第一个谓词或函数作为该MLN的声明。关于详细的谓词规则信息在第四... 阅读全文