龚启荣
- 作品数：37 被引量：18H指数：2
- 供职机构：贵州大学更多>>
- 发文基金：教育部人文社会科学研究基金贵州省教育厅科研项目贵州省科学技术基金更多>>
- 相关领域：哲学宗教理学自动化与计算机技术文化科学更多>>
- 制约逻辑是内涵智能机的逻辑理论基础
- 在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针。宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制,这便是“宇宙智能”,人认识后便是从已知进入新知。这客观的...
- 龚启荣林邦瑾
- 关键词：人类智能制约逻辑
- 文献传递
- 亚里士多德逻辑规律论
- 亚里士多德所研究的逻辑规律是实实在在的客观世界的逻辑规律,而不是什么思维的规律、符号的规律。亚里士多德所研究的逻辑规律不仅包括非推导逻辑定律(如, 不矛盾律、排中律、同一律等),还包括推导逻辑定律(如直言三段律、“必然”...
- 吴春红龚启荣
- 关键词：亚里士多德
- 文献传递
- 宇宙智能、人类智能、人工智能被引量：1
- 2002年
- 在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针 宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制 ,这便是“宇宙智能” ,人认识后便是从已知进入新知 这客观的必然过渡就是客观的“制约关系” 人类、机器按各自能实现的方式去摹写、模拟宇宙智能 ,便分别是“人类智能”、“人工智能” 人工智能的基础装置是基于制约逻辑的内涵智能机 ,其硬件的核心元件是能模拟客观的制约关系的“制约门”
- 龚启荣林邦瑾
- 关键词：人类智能人工智能制约逻辑
- 彪炳古今的韩非定律被引量：1
- 2004年
- 远在百家争鸣的春秋战国时期 ,韩非子就迳直去研究客观世界的逻辑结构和逻辑规律。更难能可贵的是 ,在韩非子的逻辑思想宝库里还显露出当代逻辑的不用逻辑量词然而却分析到多元关系和项 (个体变元、个体常项 )的语义的研究和语构的研究的端倪。韩非子关于项逻辑的研究比德国数理逻辑家弗雷格的谓词逻辑早两千多年。
- 龚启荣
- 关键词：逻辑思想
- 狭谓词数学逻辑语用问题刍议
- 1998年
- 龚启荣
- 关键词：数学逻辑符号语言语用问题N元函数谓词
- 所谓“逻辑量词”
- 2009年
- 数理逻辑一阶谓词演算中F作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词x的语义为"对于论域中的每一个个体",存在量词x的语义为"论域中至少有一个个体"。人类在求取关于不可逐一列举(有限的或无限的)个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A.Church证明了关于F的不可判定定理。
- 龚启荣
- 关键词：逻辑逻辑语义学
- 试论逻辑教育与素质教育的关系被引量：2
- 2008年
- 素质教育以提高国民素质为宗旨,以创新能力的培养为重点,而这些都与逻辑思维能力的培养息息相关。大力发展逻辑教育有利于优化国民思维结构,培养高素质人才。逻辑教育在素质教育中具有重要地位和作用。全社会应高度关注我国逻辑教育的现状。
- 廖琳龚启荣
- 关键词：素质教育逻辑教育
- 制约逻辑在人工智能中的应用理论
- 龚启荣
- 构成该成果的七篇中、英文论文在分析十多年来国际人工智能(AI)的研究陷入困境的根本原因是没有找到正确的逻辑理论的基础上，清晰而恰当地提出并回答了一系列属于AI的逻辑理论的重大问题。完成了正统数理逻辑和形形色色的非古典逻辑...
- 关键词：
- 关键词：制约逻辑AI逻辑理论知识表示人工智能
- 尽举选言命题及其推理
- 2005年
- 尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数。它可由非纯真值的充分条件假言联结词“若,则”来刻划。尽举选言命题具有作为逻辑推理的两块重要基石的两个独立性。因此,以尽举选言命题作前提能构成从已知获取新知的推理。这与纯真值复合命题有实质性区别。尽举选言推理有相容、反相容和不相容的三种。
- 龚启荣
- 传统概念问题的当代形式逻辑剖析
- 2005年
- 尽管传统形式逻辑在概念问题上不研究大于1的n元名词而只研究仅占n分之1的1元名词,可是在这n分之1的研究中仍然存在着不少缺陷。譬如,关于概念的定义至今仍不能自圆其说;有些概念种类划分不合理;给概念内涵下的定义产生歧义;给普遍概念下的定义过宽;等等。传统形式逻辑是真正的逻辑科学,我们剖析的目的是深深地切望传统形式逻辑深刻正确的主导思想和久胜不衰的理论成果得到发扬光大。
- 龚启荣
