命题对象的空间逻辑运算模型

摘要：

在现有逻辑系统中,各连接词的运算模型都可以归结为某些"代数算子",其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系.文章以"空间位置相关性"为中心,提出了"摸天花板问题",分析了逻辑运算中存在的几何位置相关性.在"命题对象"、"真值向量"、"空间图像"等概念的基础上,提出了命题对象的空间逻辑运算模型,并结合格分维理论给出了在几何图像中的具体应用形式.本文工作拓展了泛逻辑学中广义相关性的含义,为连接词的运算形式提供了一种新的模型.

关键词：泛逻辑、空间逻辑、命题对象、空间位置相关性、运算模型、几何图像

所属期刊栏目：32

分类号：TP3;TU2

资助基金：国家自然科学基金60273087;北京市自然科学基金4032009;国家高技术研究发展计划863计划2002AA412020

在线出版日期：2005-03-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：176-179