|
题名:
|
当代形式逻辑及其在人工智能中的应用理论研究
/
龚启荣等著
,
|
|
ISBN:
|
978-7-121-12407-5
价格：
58.00
|
|
语种:
|
chi
|
|
载体形态:
|
42,435页
图
24cm
|
|
出版发行:
|
出版地：
北京
出版社：
电子工业出版社
出版日期：
2011.01
|
|
内容提要:
|
本书共分为五篇23章，主要内容包括：导论；逻辑思考；当代形式逻辑Cm系统；当代形式逻辑名词演算Cn系统；人工智能机器推理和知识表示的逻辑理论工具探讨。
|
|
主题词:
|
形式逻辑
应用
|
|
主题词:
|
形式逻辑
|
|
主题词:
|
人工智能
|
|
中图分类法:
|
TP18
版次：
4
|
|
主要责任者:
|
龚启荣
著
|