个体常元相关论文
本文介绍了ｃｏｎｔｅｘｔ研究的现状，定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ，定义并证明了与之相关的一些概念和定理。
This article introduces the status quo of ......
文中为多理论系统建立了一个层次的理论框架——ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算：允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明......
结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略......
特殊性与普遍性,是哲学讨论中的基本范畴。然而不论是亚里士多德逻辑,还是西方中世纪形成的传统逻辑,都未能对"普遍性"做出清晰的......
本文简要地讨论向量空间的逻辑基础,说明向量空间是精确地建立在最简单的公理组的基础上的.我从三方面加以阐述:(1)以向量空间作为......
现代逻辑创始人弗雷格认为专名与谓词分属不同的层次，具有很大差别；罗素、奎因等人认为专名是缩略的或人造的谓词，二者具有某种间接联......
