计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2005年
2期
176-179
,共4页
泛逻辑%空间逻辑%命题对象%空间位置相关性%运算模型%几何图像
汎邏輯%空間邏輯%命題對象%空間位置相關性%運算模型%幾何圖像
범라집%공간라집%명제대상%공간위치상관성%운산모형%궤하도상
在现有逻辑系统中,各连接词的运算模型都可以归结为某些"代数算子",其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系.文章以"空间位置相关性"为中心,提出了"摸天花板问题",分析了逻辑运算中存在的几何位置相关性.在"命题对象"、"真值向量"、"空间图像"等概念的基础上,提出了命题对象的空间逻辑运算模型,并结合格分维理论给出了在几何图像中的具体应用形式.本文工作拓展了泛逻辑学中广义相关性的含义,为连接词的运算形式提供了一种新的模型.
在現有邏輯繫統中,各連接詞的運算模型都可以歸結為某些"代數算子",其共同特徵是僅攷慮瞭命題所描述集閤的代數測度大小,而沒有攷慮它們在幾何空間中的位置關繫.文章以"空間位置相關性"為中心,提齣瞭"摸天花闆問題",分析瞭邏輯運算中存在的幾何位置相關性.在"命題對象"、"真值嚮量"、"空間圖像"等概唸的基礎上,提齣瞭命題對象的空間邏輯運算模型,併結閤格分維理論給齣瞭在幾何圖像中的具體應用形式.本文工作拓展瞭汎邏輯學中廣義相關性的含義,為連接詞的運算形式提供瞭一種新的模型.
재현유라집계통중,각련접사적운산모형도가이귀결위모사"대수산자",기공동특정시부고필료명제소묘술집합적대수측도대소,이몰유고필타문재궤하공간중적위치관계.문장이"공간위치상관성"위중심,제출료"모천화판문제",분석료라집운산중존재적궤하위치상관성.재"명제대상"、"진치향량"、"공간도상"등개념적기출상,제출료명제대상적공간라집운산모형,병결합격분유이론급출료재궤하도상중적구체응용형식.본문공작탁전료범라집학중엄의상관성적함의,위련접사적운산형식제공료일충신적모형.
