您的位置： 专家智库 > >

朱梧槚

作品数：75 被引量：302H指数：9
供职机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学哲学宗教生物学更多>>

合作作者

文献类型

  • 73篇期刊文章
  • 2篇会议论文

领域

  • 37篇自动化与计算...
  • 36篇理学
  • 2篇哲学宗教
  • 1篇生物学
  • 1篇冶金工程
  • 1篇电子电信

主题

  • 13篇中介逻辑
  • 8篇实无限
  • 8篇数学
  • 6篇逻辑
  • 6篇集合论
  • 6篇公理
  • 5篇神经网
  • 5篇神经网络
  • 5篇公理集合论
  • 4篇直觉主义
  • 4篇中介
  • 4篇数据库
  • 4篇数理逻辑
  • 4篇人工智能
  • 4篇计算机
  • 4篇AGENT
  • 3篇定理证明
  • 3篇学科
  • 3篇语言
  • 3篇三值逻辑

机构

  • 63篇南京航空航天...
  • 24篇南京大学
  • 11篇解放军理工大...
  • 7篇空军气象学院
  • 7篇南京工业大学
  • 5篇南京邮电大学
  • 5篇南京邮电学院
  • 4篇南京晓庄学院
  • 4篇扬州大学
  • 3篇大连理工大学
  • 2篇北京航空航天...
  • 2篇清华大学
  • 1篇包头师范学院
  • 1篇解放军信息工...
  • 1篇南京建筑工程...
  • 1篇江南大学
  • 1篇南京通信工程...
  • 1篇中国科学院
  • 1篇中国人民解放...
  • 1篇中国人民解放...

作者

  • 75篇朱梧槚
  • 23篇肖奚安
  • 11篇张东摩
  • 11篇洪龙
  • 9篇宫宁生
  • 7篇顾红芳
  • 7篇宋方敏
  • 6篇王建东
  • 6篇朱朝晖
  • 6篇周勇
  • 4篇黄秀琴
  • 4篇毛宇光
  • 4篇李斌
  • 3篇陈燕俐
  • 3篇顾红芳
  • 3篇朱剑英
  • 3篇陈松灿
  • 3篇徐利治
  • 3篇徐敏
  • 3篇李斌

传媒

  • 12篇南京航空航天...
  • 7篇自然杂志
  • 5篇模式识别与人...
  • 5篇南京邮电学院...
  • 5篇南京晓庄学院...
  • 4篇南京大学学报...
  • 4篇计算机学报
  • 3篇软件学报
  • 3篇Journa...
  • 3篇Transa...
  • 3篇南京邮电大学...
  • 2篇数学物理学报...
  • 2篇科学
  • 2篇南京理工大学...
  • 1篇模糊系统与数...
  • 1篇科学通报
  • 1篇电子与信息学...
  • 1篇计算机研究与...
  • 1篇数据采集与处...
  • 1篇河海大学学报...

年份

  • 1篇2016
  • 1篇2011
  • 2篇2010
  • 2篇2009
  • 3篇2007
  • 11篇2006
  • 8篇2005
  • 2篇2004
  • 3篇2003
  • 9篇2002
  • 3篇2001
  • 4篇2000
  • 3篇1999
  • 6篇1998
  • 3篇1997
  • 3篇1996
  • 2篇1995
  • 3篇1994
  • 1篇1993
  • 1篇1991
共 75 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
数理逻辑之研究对象、学科归属、定义及研究领域被引量：9
2000年
鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.
顾红芳白鹏肖奚安朱梧槚
关键词：数理逻辑学科归属
命题中介逻辑的可靠和完备Gentzen推导系统被引量：1
2016年
中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词-、反对连接词 以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.
朱梧槚李未眭跃飞罗杰
关键词：中介逻辑可靠性
直觉主义的数学观与计算机科学被引量：1
2002年
剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。
洪龙朱梧槚
关键词：直觉主义数学观计算机科学构造性逻辑观
中介真值程度的度量及其应用(I)被引量：83
2006年
以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区域的长度为基准,定义了距离比率函数及距离比率的特殊变换,并由此建立了一维情形下个体真值程度函数.又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后,描述了真值程度和函数、极值分支函数等n维情形的应用形式.应用示例表明:由于提出超态概念,所以理论上能把真值程度域从[0,1]拓宽到(-∞,+∞);真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.因此,真值程度的度量将在涉及模糊现象的领域得到有效的应用.
洪龙肖奚安朱梧槚
中介公理集合论系统(Ⅰ)——两种谓词的划分与定义被引量：1
1986年
本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.
朱梧槚肖奚安
关键词：公理集合论集论
面向AGENT的程序设计语言AOPLID被引量：4
1999年
AOPLID语言是以现有的情境演算理论和基于意向驱动方式的agent模型为理论框架而建立的一种面向agent的程序设计语言.介绍了该语言的程序组成及程序的运行方式。
李斌张东摩朱梧槚
关键词：程序设计情境演算AGENT人工智能
中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法被引量：1
1986年
本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的、著名的多值逻辑悖论和文[22]中给出的无穷值悖论.因而本文的结果表明,MS 在其相容性问题上的成效。
肖奚安朱梧槚
关键词：定理MS
中介时序逻辑系统MTL的完备性被引量：2
2002年
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
施庆生张东摩朱梧槚
关键词：MTL中介逻辑
基于关系的两维意向结构(英文)被引量：7
2004年
从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以及意向间的时序、相干关系来表示agent的意向,从而缩小了agent理论模型与实际agent结构之间的差异,为agent结构的建立提供了必要的理论基础.
李斌李斌朱朝晖陈韬略吕建
关键词：AGENT理论AGENT结构BDI模型
Hamilton圈问题的DNA算法被引量：2
2006年
基于目前可以使用的DNA实验技术并采用试管与表面相结合的方式,设计了解决H am ilton圈问题的DNA算法;详细地介绍了对图的顶点和边的分子编码;描述了算法的生物化学实现过程。由于采用了有控的部分穷举策略,因而既提高了解的可靠性,又抑制了大量伪解的产生。最后,讨论了算法的性能特点并指出进一步的研究方向。
洪龙朱梧槚
关键词：DNA计算HAMILTON圈
全选 清除 导出
共8页<12345678>
聚类工具0