机读格式显示(MARC)

• 000 01069nam0 2200253 450

• 001 0000650369

• 005 20170227110900.0

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

• 100 __ |a 20161206d2016 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 智能推理及其在信念修正中的应用 |A zhi neng tui li ji qi zai xin nian xiu zheng zhong de ying yong |b 专著 |f 栾尚敏，王树编著

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

• 215 __ |a 230页 |d 24cm

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

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

• 690 __ |a TP273 |v 5

• 701 _0 |a 栾尚敏 |A luan shang min |4 编著

• 701 _0 |a 王树 |A wang shu |4 编著

• 801 _0 |a CN |b HDUL |c 20170227

• 905 __ |a HDUL |d TP273/098

• 920 __ |a 233030 |z 1