机读格式显示(MARC)

• 000 01851nam0 2200565 450

• 001 0000258816

• 005 20171010094700.0

• 010 __ |a 978-7-03-050762-4 |d CNY85.00

• 099 __ |a CAL 012017010938

• 100 __ |a 20170213d2016 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 智能推理及其在信念修正中的应用 |A Zhi Neng Tui Li Ji Qi Zai Xin Nian Xiu Zheng Zhong De Ying Yong |f 栾尚敏, 王树编著

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

• 215 __ |a 230页 |c 图 |d 24cm

• 303 __ |a 据2017年1月第2次印刷本著录

• 320 __ |a 有书目

• 330 __ |a 智能推理是实现智能化的基础，它包括经典的单调推理和非单调推理。《智能推理及其在信念修正中的应用》首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统；其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法：然后介绍了非单调推理的主要理论和方法，包括非单调推理逻辑、自知逻辑、缺省逻辑和限定逻辑、信念修正的理论和方法，以及信念修正的实现算法；最后介绍了Petri网用于逻辑推理和信念修正的方法。

• 606 0_ |a 推理控制 |A Tui Li Kong Zhi

• 690 __ |a TP273 |v 4

• 701 _0 |a 栾尚敏 |A Luan Shang Min |4 编著

• 701 _0 |a 王树 |A Wang Shu |4 编著

• 801 _0 |a CN |b NHL |c 20170213

• 905 __ |a XATU |d TP273/534

• 920 __ |a 231020 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 231280 |z 1

• 920 __ |a 261011 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 211070 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 222107 |z 1

• 998 __ |a JSZS