【摘 要】
：
随着人工智能技术的发展,利用人工智能进行辅助决策的方法变得越来越复杂,导致求解方案的可解释性下降。因此,对人工智能可解释的需求越发重要。回答集编程（Answer Set Programming,ASP）作为人工智能领域的编程范式之一,由于其强大的表达力,被广泛应用于各领域问题的求解。然而,ASP程序的推理求解对使用者而言是一个“黑盒”,用户在求解过程中无从得知程序的结论是如何推导得到的;站在编程人
论文部分内容阅读
随着人工智能技术的发展,利用人工智能进行辅助决策的方法变得越来越复杂,导致求解方案的可解释性下降。因此,对人工智能可解释的需求越发重要。回答集编程（Answer Set Programming,ASP）作为人工智能领域的编程范式之一,由于其强大的表达力,被广泛应用于各领域问题的求解。然而,ASP程序的推理求解对使用者而言是一个“黑盒”,用户在求解过程中无从得知程序的结论是如何推导得到的;站在编程人员的角度,面对非预期的求解结果,只能采用逐个文字、逐条规则的方式进行程序错误的排查,效率低下。鉴于此,设计实现面向ASP程序的解释与调试系统,对促进ASP在各领域的成功运用至关重要。现有的ASP程序解释与调试工具难以在呈现结果的可读性与完整性之间达到平衡,当程序规模较大或较复杂时,多面临结果过于复杂,可读性较差或结果过于简洁,解释不完整的问题。为了解决这些问题,本文考虑设计可交互的ASP程序解释与调试模型,通过交互将用户的偏好引入解释与调试的过程中,以增强可读性与完整性之间的平衡,本文的主要工作如下:1.设计了一致性ASP程序的解释模型,针对解释的完整性和可读性,对文字是否在回答集中的解释提出了完全解释的概念,设计了解释过程中的用户交互机制,探索了用户交互下的非实例化ASP程序的实例化方案,最终提出了一致性ASP程序的完全解释生成算法;2.在解释模型的基础上,设计了不一致ASP程序的调试模型。结合不一致ASP程序的已有理论,对不一致ASP程序调试进行入口推荐,基于解释模型对解释空间进行图遍历进行解释的思想,在无法获得回答集的情况下,将不一致ASP程序的调试过程,转化为用户交互下对文字-规则依赖图遍历并标记的过程,提出不一致ASP程序的单步调试算法;3.基于ASP程序解释与调试模型,设计并实现了ASP程序解释和调试系统,通过对一致性ASP程序进行求解结果解释,对不一致ASP程序进行调试,验证了本文所设计的两个模型的有效性。
其他文献
由于具有良好的力学性能与耐久性,钢筋混凝土结构被广泛应用于土木建筑领域。但是,氯盐诱导的钢筋锈蚀会导致钢筋混凝土结构过早失效,从而造成了严重的安全问题并带来巨大的经济损失。因此,研究如何延缓或抑制混凝土中钢筋的锈蚀进程已经成为钢筋混凝土结构耐久性研究的热点与难点。其中,添加阻锈剂被认为是最有效且简便的抑制钢筋锈蚀的方法之一。作为一种高效环保的无机阻锈剂,钼酸盐在金属腐蚀与防护领域得到了广泛的应用。
在日常生活中,一些致病的细菌会对人类的生命安全以及各国的经济发展造成重大打击,因此开发和推广抗菌材料有很大的意义。通过表面处理工艺实现金属的抗菌化是现在抗菌材料的研究方向之一,在公共卫生,家用厨具,无菌包装等领域均有突出的应用价值。本文以表面为多孔的铝腐蚀箔为基底,运用溶胶凝胶旋涂法和溶胶电泳法,在其表面制备了TiO2膜层和Ag-TiO2复合膜层。对于溶胶凝胶旋涂法,本文研究了陈化时间、热处理温度
储能技术是解决风电、太阳能等可再生能源间歇性、不稳定等问题,保障电力系统安全稳定和经济运行、助力实现碳达峰和碳中和目标等的有效途径。压缩空气储能相比于效率较高的化学储能具有容量大、寿命长等优点,相比于抽水蓄能虽然效率较低但对环境影响小。对于绝热式压缩空气储能系统,理论上空气压力或温度越高,且压缩热在膨胀过程被完全利用,则系统循环效率越高。但实际上压缩机出口温度受材料及储热介质温度的限制,压缩热也因
随着现代移动通信的发展,滤波器作为射频系统中极为重要的一环,近些年受到了更多的重视,尤其是在5G通信飞速发展的阶段,在系统集成上需要大量的小型化、易于集成的滤波器来满足不同工作频段的需求。基片集成波导（Substrate Integrated Waveguide,SIW）集成度高、尺寸小、Q值高和损耗低、热稳定性好等优点,已被广泛地应用于微波、毫米波电路的设计中。为了更好地实现滤波器的小型化,本文
嘧啶类药物在消炎、解热、抗真菌、抗病毒等多个医学领域均有广泛的应用,其中最热门的是其在抗癌药物应用中的研究。但无论是在实际生产、储存还是临床使用中,溶解性能差,就会影响和限制嘧啶类药物的应用及临床效果。因此,研究嘧啶类化合物在不同种类纯溶剂和混合溶剂中的固-液相平衡具有重要的意义,不仅可以提供基础的溶解度数据,也为工业生产上的分离提纯提供参考,而且在药物应用方面筛选晶型和剂型提供了帮助。采用等温溶
随着全球人口的大幅增加,能源日益耗竭以及使用化石燃料的不利影响,严重影响了全球环境异常和人类健康。另一方面,工业化的快速发展和对新技术的需求造成对环境的各种污染,尤其是水污染。然而,传统污水处理技术中的任何一种都不能提取废水中捕获的大量化学能。而微生物燃料电池（Microbial fuel cells,MFCs）,可以将废水中有机污染物的化学能借助生物电催化反应提取为电能。但MFCs阴极氧还原反应
泡沫铝孔结构参数是影响泡沫铝力学性能的重要参数,定量化孔结构参数与泡沫铝力学性能之间的关系对于设计泡沫铝结构以扩大其应用范围有着重要的意义。现有的基于相对密度的scaling-law方程无法精确预测泡沫铝力学性能。为此,本文借助图像学方法研究了泡沫铝孔结构参数,并借助有限元模拟得到大量真实多孔结构模型的力学性能数据;并提出了多参数拟合的闭孔泡沫铝力学性能（弹性模量和平台应力）计算方法,显著提高了泡
β钛合金因具有高比强度、良好的弹性和变形加工能力而被广泛应用于航空航天等领域。本文系统研究了β稳定性、O元素及时效温度对几种Ti-Nb-Zr-Sn系合金的显微组织与力学性能的影响,并从中寻找弹性变形能力最优的合金成分,以适用于制备航空用弹簧以及高超声速飞行器的高弹性耐热元件。此外,还研究了钛合金的热膨胀行为,通过获得具有较高使用温度的负膨胀和近零膨胀合金,以探索其在高精度仪器构件方面的应用潜力。主