【摘 要】
：
在可计算论辩模型中,论辩语义的证明理论解决如何判定给定论辩语义中某个论证的证成状态的问题,这通常需要建构与之对应的论证博弈模型。论证博弈发生在正方和反方的论证交互
论文部分内容阅读
在可计算论辩模型中,论辩语义的证明理论解决如何判定给定论辩语义中某个论证的证成状态的问题,这通常需要建构与之对应的论证博弈模型。论证博弈发生在正方和反方的论证交互过程中,正反双方都是通过给出攻击论证来质疑对方的论证和辩护己方的论证,正方只有在论证博弈中获胜才能使其初始论证获得确定的证成状态。文中定义了一种被称为BRD-论辩语义的渐进式论辩语义,不同于Dung的抽象论辩语义,它是在结构化论辩框架ASPIC＋中嵌入了一种用于计算论证的强度和证成度的循环语义。为了给出该语义的证明理论,建构了与之对应的论证博弈模
其他文献
当网络中心战(NCW:Network Centric Warfare)的概念在二十世纪末达到流行的顶峰时,它似乎成为改变战争形态的代名词。网络中心战的目标是利用各种传感器收集高度复杂的战场态
利用切换控制及凸组合弱化控制系统稳定性条件，使组合和满足Hurwitz条件而实现切换稳定。该文对切换系统的表达形式、切换信号及切换路径、切换收敛、稳定性判断准则及周期切
利用Yang等人的一个基于身份的并且错误容忍的会议密钥分配方案,提出了一种改进的会议密钥分配协议算法,并分析了该协议的正确性和安全性。分析结果表明,该方案不但实现了即
针对基因表达数据中存在的噪声对聚类分析结果准确度的影响问题，提出了一种基于小渡包分解的基因表达数据模糊聚类分析方案，介绍了理论根据和算法，给出了Matlab仿真结果，并与其他
以Galerkin原理为基础，提出了求解循环块三对角线性方程组的并行算法。根据系数矩阵的稀疏性，选取适当的子空间的基，使算法不但不会发生中断，并从理论上证明了当系数矩阵对称正定
目的利用双源双能量CT增强及轴冠矢三平面测量纯磨玻璃结节(pGGN)的定量参数,探讨其鉴别pGGN样肺浸润前病变与浸润性病变的可行性及对临床应用价值。方法收集我院经病理证实
耳语音是噪声源激励，与正常音相比，其共振峰位置发生了偏移，带宽增宽。故采用传统的线性预测法提取耳语音共振峰时存在虚假峰问题。通过分析功率谱，提出了一种改进算法。根据极点
消化性溃疡主要是指发生在胃和十二指肠的慢性溃疡,溃疡形成与幽门螺杆菌(Hp)感染有直接关系,幽门螺杆菌感染可直接或间接作用于G、D细胞和壁细胞,导致胃酸分泌增加,胃内pH值
在多Agent系统（MAS）环境中，协商是一个复杂的动态交互过程。如何提高协商效率，成为了研究者关注的焦点。应用记忆演化理论的强化学习思想，提出一种Agent协商算法。它与基本强化学
网络编码可大大提高网络吞吐量、减少延迟。然而，由于编码意义上网络信息流的复杂性，实际应用中仍存在困难。另一方面，Ad Hoc网作为自组织形式的特殊网络，其安全路由协议是研究重