董英东 张立英 范荣强 梁庆寅 王廷利

人工智能系统 批判性思维 不可反驳之推定 逻辑观 演绎 法律推定 限定推理 单调推理 知识表示 唯一知道逻辑 计算机 推定的限界 稳定集 归纳推理 科学知识 知识库 可反驳之推定 自认知逻辑 排序 局部合理性 缺省理论 非单调逻辑 义务冲突 概称句推理 不相容 自然语言 缺省逻辑 道义逻辑 有效性 i-集