中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

当代形式逻辑及其在人工智能中的应用理论研究/龚启荣等著

出版发行项:

北京:电子工业出版社,2011

ISBN及定价:

978-7-121-12407-5/CNY58.00

载体形态项:

42, 435页:图;24cm

并列正题名:

Theory study on contemporary formal logic and its application on artificial intelligence

个人责任者:

龚启荣 著

学科主题:

形式逻辑-研究

学科主题:

形式逻辑-应用-人工智能-研究

中图法分类号:

B812

中图法分类号:

TP18

一般附注:

教育部人文社会科学“当代形式逻辑及其在人工智能中的应用理论研究”项目成果 批准号: 07JA720006

书目附注:

有书目

提要文摘附注:

本书分为五篇，包括：导论、逻辑思考、当代形式逻辑Cm系统、当代形式逻辑名词演算Cn系统、人工智能机器推理和知识表示的逻辑理论工具探讨。

豆瓣简介：