智能推理及其在信念修正中的应用
内容简介
智能推理是实现智能化的基础，它包括经典的单调推理和非单调推理。《智能推理及其在信念修正中的应用》首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统；其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法：然后介绍了非单调推理的主要理论和方法，包括非单调推理逻辑、自知逻辑、缺省逻辑和限定逻辑、信念修正的理论和方法，以及信念修正的实现算法；最后介绍了Petri网用于逻辑推理和信念修正的方法。
《智能推理及其在信念修正中的应用》可供人工智能、逻辑学、智能信息处理、智能控制、计算机科学与技术、软件工程等专业的教师、研究生以及相关领域科研工作者参考。
《C++面向对象程序设计（第三版）/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的，主要介绍C什面向对象程序设计的基本知识和编程方法，全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、
2/23/2025 12:55:51 PM
《算法零基础一本通（Python版 全彩印刷）》指导读者从零开始学习算法：从基础数据结构开始，逐步解说信息安全算法，最后也讲解了人工智能入门领域的KNN和K-means算法。 《算法零基础一本通（Python版 全彩印刷）》理论与实例并重，在讲解算法理论时，使用热门程序
12/29/2024 9:07:06 PM
《C++面向对象程序设计（第三版）/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的，主要介绍C什面向对象程序设计的基本知识和编程方法，全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、
11/23/2024 12:54:31 PM
《C++面向对象程序设计（第三版）/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的，主要介绍C什面向对象程序设计的基本知识和编程方法，全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、
10/23/2024 12:53:21 PM
在线客服