辩论推理相关论文
开放逻辑旨在描述形式系统与外界的交互作用,它为常识推理研究开辟了一条新途径,并在机器学习、知识获取、故障诊断以及知识库维护......
Ｌｉｎ提出的辩论推理系统为非单调推理形式提供了种统一的基础，其推理机制由所谓的论点结构实现。由Ｌｉｎ的系统导出的非单调推理并不具有累加......
析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一，本文通过一些实例说明，现存语义无法充分 表示信息的不完全性。为此，本文提出......
