机读格式显示(MARC)

• 000 01261nam0 2200313 450

• 001 0000349470

• 005 20110225154527.0

• 010 __ |a 978-7-03-028746-5 |d CNY45.00

• 100 __ |a 20101020d2010 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 现代认知逻辑的理论与应用 |A xian dai ren zhi luo ji de li lun yu ying yong |f 唐晓嘉, 郭美云主编

• 210 __ |a 北京 |c 科学出版社 |d 2010

• 215 __ |a x, 250页 |c 图 |d 24cm

• 300 __ |a 国家社会科学基金项目成果 项目名称：现代逻辑在人工智能中的应用研究 项目批准号：04BZX046

• 320 __ |a 有书目 (第233-241页)

• 330 __ |a 本书是国家社科基金项目“现代逻辑在人工智能中的应用研究”的研究成果，主要讨论传统的单主体认知逻辑、时态逻辑、群体知识和多主体认知逻辑、公开宣告逻辑、博弈逻辑、信念修正的动态逻辑、非逻辑全知主体的逻辑、非单调逻辑和缺省逻辑等。本书还在附录中介绍了理解认知逻辑所必需的一阶逻辑理论。

• 606 0_ |a 认知逻辑 |A ren zhi luo ji

• 690 __ |a B815.3 |v 4

• 701 _0 |a 唐晓嘉 |A tang xiao jia |4 主编

• 701 _0 |a 郭美云 |A guo mei yun |4 主编

• 801 _0 |a CN |b SCNU |c 20110225

• 905 __ |a SCNU |f B815.3/0064

• 999 __ |M luol |m 20110225 15:45:27 |G luol |g 20110228 14:44:49

• 000 0000428817

• 991 __ |a 012011000102

• 907 __ |a SCNU |f B815.3/0064