【摘 要】
：
论证理论(argumentation theory)是一种对博弈过程的建模,在过去的几十年内持续吸引相关研究者的兴趣。只要在论证框架中选定一个需要逻辑推理的论述,论证游戏便可以建立一个
【机 构】
：
济南职业学院计算机学院,伦敦国王学院,山东省工业和信息化厅机关服务中心
论文部分内容阅读
论证理论(argumentation theory)是一种对博弈过程的建模,在过去的几十年内持续吸引相关研究者的兴趣。只要在论证框架中选定一个需要逻辑推理的论述,论证游戏便可以建立一个由一系列的争论路径(dispute)所构成的争论树(dispute tree)。通过检测争论树的是否存在制胜策略(winning strategy),论证游戏可以判断特定的扩展语义是否包含根节点。本项目提供了一个具有友好界面的论证游戏仿真系统,允许用户完成论证游戏的设置并生成争论树,同时检查制胜策略,实现了基于论证框架的可视
其他文献
本文主要探究大样本线性回归的子抽样方法,采用均匀抽样和杠杆值抽样的子抽样方法,对数据进行线性回归模型的拟合,使用均方误差来评价抽样方法的优良性。借助随机模拟方式,通
多通道绝缘耐压自动切换装置以CMS89F6385B单片机为控制器,以干簧继电器为控制对象,利用串口实现上位机与控制器之间的通信,通过上位机发送不同的命令,实现测试装置的通道之
针对RGV自动化小车运作效率的问题,本文将模拟退火算法中的收敛思想引入粒子群算法中,利用优化后算法使RGV小车运作效率最大化,即如何在最短时间内加工完成物料。该优化算法
本文介绍了基于AT89C51和Matlab的电机远程监控系统设计,该系统包括电机信号采集、状态显示、运行控制等,可实现对电机的远程监控。此外,本文还通过建立虚拟串口的方式,对方
工业云是互联网与制造业深度融合的产物。IT技术在工业信息化过程中起最关键的作用。当前,随着5G技术的发展和推广,云计算、网络安全技术的不断成熟和应用,企业逐步将所有的
本文提出一种能够支持多类安全设备、可扩展的、对安全事件有全局分析能力以及防御决策能力的自适应网络安全防护方案,首先概述了方案的整体设计,然后阐述了各子功能模块的设
为满足广大常州市民的终身学习的需求,常州开放大学利用自身优势,搭建了常州终身教育在线平台,本文主要介绍了平台的功能、面临的问题以及对未来功能改进等的思考。
在eNSP中进行RIPv2认证的实验仿真设计,构建了一个提高网络安全性的MD5加密认证网络。通过仿真实验促进了学生对RIP 认证原理的理解和配置流程,提升了学生的网络安全意识。
随着网络教学的兴起,未来教学将摆脱传统的固定时间、固定地点的教学模式,这是大势所趋,用户越来越倾向于与利用网络实现互动学习,学生与老师通过网页实现网络视频交互,为适
"互联网+"理念在教育教学中的应用,为职业院校电子技术的教学改革带来了新的动力。理实一体化教学是职业院校广泛倡导的一种教学模式,而实际中很难真正落地。我校探索利用互