Common logic

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

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

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

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

中所有參與者都可以獲得有關其他參與者的信息，因此，參與者的效用函數（包括風險厭惡）、收益、策略和“類型”都屬於共有知識（英语：Common knowledge (logic)）。完全信息是指博弈中的每個玩家都知道整個博弈過程中的順序、策略和收益的概念。給定這些信息，玩家有能力根據這些信息進行相應的