Common logic

Common Lisp对象系统（CLOS）是一种面向对象编程设施，它是ANSI Common Lisp的一部份。CLOS是强力的动态对象系统，在根本上不同于静态语言，比如C++或Java中的那种OOP设施。CLOS受到更早期的Lisp对象系统，比如MIT Flavors（英语：Flavors (programming

Lab）的知识交换格式页面 （英文）http://www.ontologyportal.org （页面存档备份，存于互联网档案馆） （英文）http://common-logic.org/ （页面存档备份，存于互联网档案馆） （英文）SUO-KIF语法 计算机科学主题 语言主题 知识查询与操作语言（英语：Knowledge

一個重要的點是，完美信息不同於完全信息，完全信息意味著每個參與者的效用函數、收益、策略和“類型”都屬於共有知識（英语：Common knowledge (logic)）。具有完全信息的博弈可能有也可能沒有完美信息。 Osborne, M. J.; Rubinstein, A. Chapter

言”，是一种用于编制本体的形式化语言。目前，存在着许许多多此类的本体语言，既包括专有的，也包括基于标准的： 普通逻辑（英语：Common logic）（Common logic）就是ISO标准24707；这是关于一种本体语言家族的技术规范，其中的本体语言彼此之间可以准确地相互转换。

logic network (MLN)），就是由一阶逻辑公式及其对应的权值组成的二元组集合。马尔可夫逻辑网络的基本思想是将一阶逻辑的限制放松，即一个事件违反公式越多，其发生概率越小，但未必为0。 Richardson, Matthew; Domingos, Pedro. Markov Logic Networks