面向对象的广义空间逻辑运算模型与推理研究

发布时间：2021-11-23 15:16

　　本课题的研究来源于国家自然科学基金资助项目“经验知识推理理论研究”（No．6027308）及北京市自然科学基金资助项目“不精确推理理论研究”（No．4032009）。 在广义相关性和广义自相关性的基础上，泛逻辑给出了逻辑学的一种统一理论框架，为研究复杂系统中的柔性逻辑推理奠定了理论基础。在软件工程中，面向对象技术发挥了重要作用，它大大简化了复杂问题的描述和编程。 本文在泛逻辑的基础上，利用面向对象的思想和方法，探讨了逻辑系统的组成结构、运算模型、推理规则、应用形式，提出了“面向对象的广义空间逻辑运算模型（Object-oriented Generalied Spatial Logic Operation Model，OGSLOM）”，并对其各个部分进行了系统地研究，主要的创新点有： 1．理论概念 在逻辑推理系统中引入了“面向对象”、“广义空间”等概念，分析了命题对象、连接词对象、量词对象、规则对象，给出了相关属性，讨论了研究面向对象的广义空间逻辑的必要性。 2．运算模型 在分析空间位置相关性的基础上，提出了“面向对象的广义空间逻辑运算模型OGSLOM... 

【文章来源】：西北工业大学陕西省 211工程院校 985工程院校

【文章页数】：167 页

【学位级别】：博士

【部分图文】：

泛逻辑的包容性与开放性(二)

尹\\、乍////\一恋./图6.13广义零级与运算神经元模型b声只骊b不匡骊b声仄骊b斗骊b车刻之l日月r片下口 1211碑趁刃呱讨11_21甘别泌阶口升12!团11切例注」.21丫以1.一感娜不b一遂娜不b一曦缈二b一赓爵弓b-嚎篆粼…ba洲 baxba况b。、baxbb...蘸寥钾甲甲 1b...瞬瓤尸 1b...田毓户〕b...目蔽丁一飞bl..l.llllll....ly.困’..’..}’..}’.. axboxbaxbaxbaxbh二 1.0h二 0.5图6h二。Dh二心5.脚.曰侧l暴多萝片一万lh二一10(a+b)口14)’一义零级与神经元变化图106

图6.15广义零级或运算神经元模型2.或运算逻辑神经元变化图广义零级或神经元的变化如图6.16所示。从三维图上可以看出，S(x，y，h，a，b)有四条不变的或特征线:s(x，a，h

【参考文献】：
期刊论文
[1]复杂控制系统随机参量的广义自相关性研究[J]. 毛明毅,陈志成,何华灿.  控制与决策. 2005(08)
[2]面向对象的盘形链轮铣刀CAD系统的开发[J]. 唐田秋,陈利平,高旭.  机械工程与自动化. 2005(04)
[3]基于问题的面向对象知识表示方法的研究[J]. 汤赛丽,郑逢斌.  现代计算机(专业版). 2005(08)
[4]面向方面的程序设计:概念、实现与未来[J]. 徐宝文,周超洪,周天琳,史亮.  计算机与数字工程. 2005(08)
[5]基于公理系统的面向对象自动测试研究[J]. 胡煜,李远杰,曾明,朱利.  微电子学与计算机. 2005(07)
[6]面向对象程序设计思想在大型基坑设计分析软件开发中的应用[J]. 李维涛,应惠清,袁波.  岩土工程技术. 2005(04)
[7]区间值逻辑柔性化的研究[J]. 薛占熬,何华灿.  计算机科学. 2005(07)
[8]任意区间上的广义N范数与生成元[J]. 陈志成,何华灿,毛明毅.  西北工业大学学报. 2005(03)
[9]泛逻辑的基本形式系统中的广义重言式理论[J]. 马盈仓,何华灿.  计算机科学. 2005(06)
[10]面向对象的系统分析设计方法[J]. 邵蔚天,章雪梅,杨永亮.  无线电通信技术. 2005(03)

博士论文
[1]广义智能系统柔性超拓扑空间模型研究与应用[D]. 鲁斌.西北工业大学 2003
[2]需求工程中的不确定性研究[D]. 王拥军.西北工业大学 2002



本文编号：3514147