《当代形式逻辑及其在人工智能中的应用理论研究》是2011年电子工业出版社出版的图书，作者是龚启荣

三元组：
predicate: 作者
object: 龚启荣
subject: 当代形式逻辑及其在人工智能中的应用理论研究
predicate: 出版社
object: 电子工业
subject: 当代形式逻辑及其在人工智能中的应用理论研究