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

摘要

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