互逆主义机器学习

摘要：

互逆主义数理逻辑认为对任何定理和定律都要先证明或证实(建立)，得证之后才能使用(运用)。因此，建立定理和定律与运用定理和定律应分别加以刻画。本文主要围绕大前提逆一层单准正向证明系统、大前提逆一层单准正向专家系统、大前提逆二层单准正向证明系统(二层FOIL算法)、小前提逆二层单准正向证明系统、大前提逆二层单准正向专家系统以及大前提逆一层复正向证明系统等内容展开。

关键词： 人工智能 互逆主义数理逻辑 机器学习 专家系统

作者: 周训伟 鲍泓 傅百文

作者单位: 北京联合大学信息技术研究所,北京,100101 北京联合大学信息学院,北京,100101

会议类型: 国内会议

会议名称: 第五届中国Rough集与软计算学术研讨会

会议地点: 辽宁鞍山

会议语种:中文

页码: 186-190

在线出版日期: 2005-08-01（万方平台首次上网日期，不代表论文的发表时间）