论集合、逻辑和代数的三位一体关系

来源 :中国人工智能学会第10届全国学术年会 | 被引量 : 0次 | 上传用户:a63685296
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先根据描述清晰事物的经典集合、经典逻辑和Lindenbaum代数足三位一体的同构关系的事实,猜想在描述复杂事物的泛集合、泛逻辑和泛代数之间也存在这种三位一体关系。然后作为研究的基础,建立了部分代数系统之间的层次关系,并给出了与之同构的逻辑系统。最后利用泛逻辑学中关于线序柔性命题逻辑学的研究成果,部分证实了上述猜想。
其他文献
通过理论证明指出了9-宫图问题的状态空间由两个连通分支组成:逆序数为偶数的连通分支E和逆序数为奇数的连通分支O。对于9-宫图问题的任意实例I,,若初始状态和目标状态位于不同
通过对已知的各种智能现象的分析,发现智能的本质是“恰当响应”,从而把智能定义为“对感知信息做出恰当响应的能力”;进而分析了这种“信息-响应”的各种模式,给出了一个统一的
本文提出采用思维进化计算(Mind;Evolutionary;Computation,MEC)求解最大团问题(Maximum;Clique;Problem,MCP)的一个启发式算法——MCP-MEC1。解决了采用MEC求解最人团问题时个体与
会议
本文立足于对数的进制原理的研究和分析,然后引入一个全新而广义的数,即智能模糊变进数AI-Fuzzy VCN或FN的概念。并指出目前国际上数学或计算机科学领域里人们对数的研究和发展
产品是企业的生命,产品创新是推动企业发展的内在动力,而选择行之有效的创新方法则成为产品创新成功的关键。旋转动力学理论旨在探索创新规律,进而用计算机辅助实现,其能将现有的
会议
思维是由简单机制构成复杂机制网络的生成过程。“词”的格式塔结构维度之集合组成了所构成意义的树形结构。人的思维的复杂性首先体现在其“隐喻”系统的复杂与深刻,而思维的
半自治Agent的概念是在智能Agent基础上,由面向军事、交通等领域研究对象的特殊共性一一非完全自主自治性而提出来的。构造的半自治Agent具有自治性和受制性两方面的特点,将系
会议
本文吸收了文献[1]中群体趋向的理论作为社会协调的主要动力,DFL作为Agent形式化描述的理论工具,对多Agent的社会行为和非社会行为进行描述,建立了多Agent系统的社会行为和非社
文献[2]提出了一种在相似关系下计算对象χ的最优决策规则算法,通过引入相似关系,在不改变原始不完整决策系统前提下,从中获取原始数据中蕴藏的确定性规则。本文引入文献[1]中非
介绍了对软件Agent进化的研究,指出其所面临的进化环境足动态的、不确定的,在进化过程中可以获得大量经验信息作为启发式信息引导进化。采用DFL描述了软件Agent的进化过程,并给