论文部分内容阅读
利用可拓论和可拓方法，把信息、知识和智能统一在一个形式化体系中，用可拓推理和可拓变换，去建立生成策略的推理规则，把可拓集合和关联函数作为策略生成和策略评价的定量化工具，探讨建立“可拓信息-知识-智能形式化体系”．给出了建立该体系的框架和主要功能模块．这一研究为利用计算机辅助解决矛盾问题提供可行的工具，为提高计算机的智能化水平创造基础条件．