作者	蔡文
出版社
出版时间	2003-11-01

特色：
本书为处理控制、信息、搜索、诊断、决策和管理领域中的矛盾问题提供逻辑基础，尤其是变换和推理机制，对从事人工智能与信息技术、控制与检测、决策与管理、数学与逻辑等相关领域的科研和教学工作者有参考价值，也可作为相应专业的大学生和研究生的选修教材。

本书介绍了人类思维的可拓形式及其逻辑规律，为人工智能研究提供了一种新型的逻辑，主要包括可拓模型、可拓变换、可拓集合、可拓推理和解决矛盾问题的逻辑工具等内容。