一种新的辩论推理模式及其应用

摘要：

文中定义了一个新的辩论推理模式，建立了一个形式化的知识表示框架，并把它应用于研究扩展逻辑程序类的说明语义，结果表明，新语义克服了择优语义的不足.作者还根据上述研究结果实现了逻辑程序设计风格下的知识框架.

关键词：辩论系统、非单调推理、溯因、预测、逻辑程序设计、程序说明语义

所属期刊栏目：24

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金69873047;广东省自然科学基金980260

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：119-126