文中定义了一个新的辩论推理模式，建立了一个形式化的知识表示框架，并把它应用于研究扩展逻辑程序类的说明语义，结果表明，新语义克服了......

基于假设推理(abduction-based)的推测计算(speculative computation)是在资源信息不能及时到达时,利用缺省假设进行计算的过程.在......