二层人工智能——基于互逆主义逻辑二层假言推理的人工智能

摘要：

在所提出的互逆主义数理逻辑的二层单准逻辑演算的二层假言推理的基础上构造了二层单准Prolog、自底向上的二层单准专家系统、二层单准Prolog的形式语义、自顶自下的二层单准专家系统、二层单准关系数据库、互逆主义机器人规划、互逆主义多agent规划等二层人工智能理论。这些理论都是经典人工智能理论所没有的。

关键词： 互逆主义 数理逻辑 二层单准演算 二层假言推理 人工智能

作者: 周训伟 鲍泓

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

会议类型: 国内会议

会议名称: 2009国际信息技与应用论坛

会议地点: 成都

会议语种:中文

页码: 601-603

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