杨朝红 李友仁 刘海燕 姜云飞 梁力 庄超 崔志明 费奇 石莲 吕帅 岳安步 黄林鹏 李未 林作铨 白硕 蓝红兵 隋立颖 付岩 韩建超 李莹 吴茂康 陈庆锋 刘磊 蔡红柳 孙永强 董屏

超协调逻辑 超协调性 超协调逻辑 描述逻辑 推理系统 缺省推理 知识 非单调推理 假设环境 次判断 自动推理 真值维护系统 规范缺省理论 不确定性 论证逻辑 可满足性 非单调超协调逻辑 延伸 逻辑基础 超协调性 格 极小化模型 逻辑性质 可能性理论 经典逻辑 平凡性 形式化 智能规划 相干逻辑 命题逻辑

超协调逻辑

超协调性