Screen Library智能推理及其在信念修正中的应用
Saved in:
| Main Authors: | ; |
|---|---|
| Published: |
科学出版社
|
| Publisher Address: | 北京 |
| Publication Dates: | 2016 |
| Literature type: | Book |
| Language: | Chinese |
| Subjects: | |
| Carrier Form: | 230页: ; 24cm |
| ISBN: | 978-7-03-050762-4 |
| Index Number: | TP273 |
| CLC: | TP273 |
| Call Number: | TP273/0998 |
| Contents: | 本书首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统；其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法；然后介绍了非单调推理的主要理论和方法；最后介绍了Petri网用于逻辑推理和信念修正的方法。 |