公共文化服务平台

作品数： 41被引量：153H指数：7

相关作者

朱梧槚: 作品数：75被引量：303H指数：9; 供职机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系; 研究主题：中介逻辑实无限公理集合论中介人工智能

张东摩: 作品数：30被引量：96H指数：5; 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室; 研究主题：中介逻辑人工智能情境演算 AGENT 信念修正

作品列表

无穷观问题的研究(I)——历史的回顾与思考被引量：12: 2002年; 本组系列论文 (I)～ (V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统; 朱梧槚肖奚安宋方敏顾红芳; 关键词：公理集合论

数学直觉形象思维的应有地位及其计算机模拟问题: 1996年; 本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面，阐明形象思维在处理实际问题时的重要作用．然后又从数学方法论的几种典型方法出发，讨论数学发现的计算机模拟问题．并在机器发现之简单回顾的基础上，对上述计算机模拟问题的研究方法提出一些看法，并指出其研究目的与意义．; 朱梧槚肖奚安王建东陈松灿张东摩; 关键词：形象思维逻辑思维数学方法论计算机模拟

中介逻辑的谓词演算系统(Ⅱ)被引量：1: 1989年; 本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF 的形式定理。定理10 MF:[1]x～A(x)-～xA(x),[2]～■xA(x)■x～A(x)[3]～xA(x)■x～A(x).定理11 MF:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)■(x)B(x),[4]x[A(x)→B(x)],■xA(x)■xB(x),[5]x[A(x)→B(x)],■x～A(x)■xB(x),[6]x[A(x)→B(x)],～■xA(x)■xB(x).定理12 MF:[1]xA(x)∧B■x[A(x)∧B],x 不在 B 中出现,[2]■xA(x)∧B■x[A(x)∧B],x 不在 B 中出现.[3]xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.[4]■xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.定理14 MF:[1]xA(x)∧■xB(x)x[A(x)∧B(x)],[2]■xA(x)∨xB(x)■x[A(x)∨B(x)],[3]xA(x)∨B(x)■x[A(x)∨B(x)],[4]■x[A(x)∧B(x)]■xA(x)∧■xB(x).定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]■x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].; 朱梧槚肖奚安; 关键词：中介逻辑

可数集合的无穷观问题: 2006年; 久远以来普遍认为，近代公理集合论的建立和发展，已经给出了罗素悖论的解释方法；另一方面。虽然至今未能在理论上证明，近代公理集合论今后一定不出新的悖论，但将近一个世纪以来，人们确也未曾发现有什么新的悖论在近代公理集合论中出现。然而，当我们在兼容两种无穷观的思维方式下重新分析问题时，竟然发现在近代公理集合论中广为使用的种种可数无穷集合（以下简称为可数集合）都是些似是而非的非集。; 朱梧槚肖奚安宋方敏宫宁生; 关键词：实无限

关于无穷集合概念的不相容性问题的研究被引量：7: 2006年; 文中证明古典集合论与近代公理集合论中的任何一个无穷集合都是自相矛盾的非集。; 朱梧槚肖奚安杜国平宫宁生

不完全三值逻辑在语言表达上的相互比较被引量：4: 2001年; 深入讨论各种命题联结词含量不完全的三值逻辑的语言表达能力 ,完全弄明白了三值系统 L3、L△3 、B3、B△3 、K3、K△3 、MP的语言表达能力的等效或不等效关系。特别应当指出的一个结论是 :中介命题逻辑 MP作为一种命题联结词含量不完全的三值系统而言 ,它和其他命题联结词含量不完全的三值逻辑 L3、L△3 、B3、B△3 、K3、K△3 的语言表达能力都不等效 ,从而也由此体现出; 顾红芳肖奚安朱梧槚; 关键词：三值逻辑语言表达能力逻辑系统

数理逻辑之研究对象、学科归属、定义及研究领域被引量：9: 2000年; 鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.; 顾红芳白鹏肖奚安朱梧槚; 关键词：数理逻辑学科归属

中介真值程度的度量及其应用(I)被引量：84: 2006年; 以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区域的长度为基准,定义了距离比率函数及距离比率的特殊变换,并由此建立了一维情形下个体真值程度函数.又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后,描述了真值程度和函数、极值分支函数等n维情形的应用形式.应用示例表明:由于提出超态概念,所以理论上能把真值程度域从[0,1]拓宽到(-∞,+∞);真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.因此,真值程度的度量将在涉及模糊现象的领域得到有效的应用.; 洪龙肖奚安朱梧槚

中介公理集合论系统(Ⅰ)——两种谓词的划分与定义被引量：1: 1986年; 本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.; 朱梧槚肖奚安; 关键词：公理集合论集论

空时自适应处理任务在并行系统中的映射: 2005年; 与传统并行计算研究对象不同的是,空时自适应处理(STAP)的各阶段是由多个相同的、可分离的任务组成.针对该特点,提出了任务映射的一种新描述,给出了便于任务映射的相关定理,进而提出了一种启发式映射算法.实验结果表明,该方法可以在满足一定吞吐率的要求下,减少所需的处理器数目.; 邵银波王永良李强肖奚安; 关键词：并行处理任务映射空时自适应处理