龚启荣，江西景德镇人。1964年贵州大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者、国际符号逻辑协会会员、BLS国际逻辑学会会员、东亚国际符号学会会员、贵州省社科联委员、贵州省科协第四届委员、贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长。曾任贵州大学信息管理系系主任。现任贵州大学老科学技术工作者协会基础与人文社会科学工作委员会副主任、逻辑学教授、学术带头人、逻辑学研究生导师，任贵州人民武装学院督导和逻辑学教授。发表论著Entailment Logic——A Development of Traditional Logic Our Times（J）（第八届国际逻辑、科学哲学和科学方法讨论会论文集，莫斯科科学出版社1987年）、Entailment Logic And Knowledge Representation（J）（《符号逻辑杂志》，美国，1992年第1期第57卷）、Orthodox Mathematical Logic is Not a Reasoning Theory（J）（《符号逻辑会刊》，美国，2007年第3期第13卷）、《形式逻辑导引》（M）（贵州人民出版社1995年）、《逻辑斯谛——又称"数理逻辑"的二值数学》（M）（贵州教育出版社1998年）、《逻辑学》（（M）贵州人民出版社2005年）、《当代形式逻辑基础》（M）（贵州教育出版社2006年）、《形式逻辑客体说导论》（M）（天马出版有限公司2008年）、《当代形式逻辑引论》（M）（电子工业出版社2009年）、《当代形式逻辑及其在人工智能中的应用理论研究》（M）（电子工业出版社2010年10月）等100多篇（部）。完成国家电子工业部、教育部和省级科研课题10余项。曾10余次受国际重要逻辑学术会议邀请并发表论文。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。

《当代形式逻辑及其在人工智能中的应用理论研究》奉献给读者的这部著作是国家“211”工程重点建设大学——贵州大学逻辑学教授龚启荣主持的教育部立项项目“当代形式逻辑及其在人工智能中的应用理论研究”（项目批准号：07JA720006）的最终成果。项目研究小组按申报计划，突破了难点，解决了难题，出色地完成了研究任务，高质量地达到了预期研究目标。
“众人拾柴火焰高”，团队的力量是强大的。项目组研究人员的年龄结构、职称结构等较合理。可以说，这部著作是项目组的老师们20来年集体“拾柴”、刻苦努力所获得的逻辑科学的研究结晶。无论是理论研究还是应用理论研究，著作都达到了国际先进水平。

第1篇 导论第1章 前言第2章 当代形式逻辑语义学基础第3章 逻辑规律是客观世界的规律 第2篇 逻辑思考第4章 逻辑思考概述第5章 概念第6章 原子命题纯真值复合命题第7章 非纯真值复合命题第8章 逻辑定理第9章 逻辑证明与证实第10章 关于逻辑证明哲学意义的深入探讨 第3篇 当代形式逻辑Cm系统第11章 命题逻辑Cm系统的形式语言第12章 Cm的公理、导出公式、规则和元定理第13章 关于Cm系统的讨论（一）——Cm是够用的无衍系统第14章 关于Cm系统的讨论（二）——Cm的判定问题 第4篇 当代形式逻辑名词演算Cn系统第15章 名词演算Cn系统的形式语言第16章 Cn的公理模式、规则、导出公式和元定理第17章 关于Cn系统的讨论（一）——Cn与传统形式逻辑第18章 关于Cn系统的讨论（二）——Cn与传统的“必然”、“可能”、归纳、类比的推理第19章 关于Cn系统的讨论（三）——Cn的无限风光：更精彩的形式定理第20章 关于Cn系统的讨论（四）——Cn与正统一阶谓词演算f 第5篇 人工智能机器推理和知识表示的逻辑理论工具探讨第21章 人工智能机器推理的逻辑理论工具研究第22章 人工智能知识表示的逻辑理论工具研究第23章 当代形式逻辑在人工智能中又一应用理论研究附录A On Sufficient Condition Relation附录B Contemporary Formal Logic Symbol System Can Logically Represent all Knowledge参考文献后记