带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

语义网及其应用

面对万维网信息化规模急剧膨胀、信息载体也趋于多元化等原因所带来的诸多困难,语义网的提出为此提供了解决方案及技术支持,它利用对网络上的信息资源添加语义,达到不仅为人们所理解,也可以使机器理解和处理的目的.本文首先介绍了语义网的背景、基本概念、技术框架,然后阐述了语义网的结构框架以及各层次之间的协作关系与作用.结合一个实例...     

动态速度和代价约束的最短路径算法

Dijkstra算法是计算有向图中一个节点到其余各个节点最短路径的著名多项式时间算法,在交通规划、地理信息系统等方面有重要的应用。本文改进Dijkstra算法用于计算带有动态速度和代价约束的有向图中节点之间的最短路径,即有向图的节点之间除了静态的距离外,还有动态的速度和代价,例如城市交通中的高峰与非高峰时段影响速度/时间,收费与非收费路段影响代价;时间和代价在最短路径中由一个比例因子控制,通过调节该比例因子可计算节点间的最短时间/距离和最少代价的路径。该改进的算法被证明是可靠的,实验结果也表明了该算法的有效性。     

带函数的正规逻辑程序设计系统

带函数的回答集程序设计（FASP）允许在正规逻辑程序中嵌人函数符号，描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量，程序的Clark完备化和环公式约束处理（CSP）中的约束，然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统，并与其它系统进行了比较，实验结果表明,fasp对N-皇后问题有较好的效率。     

用daikon发现循环不变式

随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用JAVA重写了Siemens的replace C程序,并以JAVA和C两种语言的replace程序为例,对不变式动态探测工具daikon进行了深入的实验研究,试验结果揭示了daikon在探测循环语句不变式方面的不足,依此提出了改进daikon探测循环不变式的措施。     

命题知识库演化中的新知识特征（英文）

逻辑差概念在表征基于逻辑的知识库中起到重要作用,这些知识库持续受到动态变化的影响,它们之间存在实质性差异。这一概念与遗忘密切相关,它在各种逻辑中得到了广泛探讨。针对命题理论的相关符号,提出了3种差概念——逻辑差异、子句差异和素子句差异,以分别捕获逻辑推理、子句推理和素子句推理的差异;研究了它们的性质和计算复杂性。结果表明,涉及逻辑差的各种决策问题在多项式层次结构中比相应的可满足性问题高一个层次,除了2-CNF理论,其相关决策问题是易处理的。随机3-CNF、2-CNF和Horn理论的大量实验结果揭示了子句差和素子句差的一些有趣现象：在随机3-CNF理论和2-CNF理论中,子句和素子句差的子句数量都表现出与它们的可满足性类似的相变特征。然而,在随机Horn理论中,尽管子句差的子句数量表现出与其可满足性类似的相变,但素子句差的子句数量与子句差情形十分不同,这些结果揭示了随机命题知识库演化中其可满足性相变现象的新特征：在相变阈值附近的知识库演变会产生更多的差异。     

SVD++推荐算法的超参数

SVD++算法由于其能够融入评分信息和隐式信息得到了广泛的应用。SVD++算法中的模型参数可以通过随机梯度下降或者最小二乘法得到最佳参数。但是SVD++中的超参数需要手动选取,而超参数会极大影响SVD++模型的准确度。本文使用两个常见的数据集,并且选取了不同的训练集-测试集切割比,使用随机梯度下降算法,对SVD++中的两个超参数学习步长和规则化参数进行研究,选用评分指标中应用最广的三个评测指标RMSE、MAE、MSE,分别得到了效果最好的超参数值。同时通过实验,本文得到了超参数对SVD++算法影响规律和一系列结论,对SVD++算法在其他数据上如何选取最好超参数值有参考意义。     

扩充修正程序的一些基本结果

文献[4,5]为修正程序提出了一种包含经典否定的扩充,其关键特征在于能够区分“没有知识”和“具有否定的知识”,即区别“不知道”和“知道为否”。在这篇文章中,除了为该扩充修正程序提出了计算其合法修正的算法外,更重要的是,还研究了它的一些基本特征。这些特征形式化地表明了扩充修正程序的本质。     

随机图的哈密尔顿回路实验研究

哈密尔顿回路问题是图论的经典NP-难解问题之一,在计算机科学中被广泛用作测试用例以测试算法/系统的有效性,包括可满足性(SAT)、回答集程序设计(ASP)以及约束可满足问题(CSP)等.在本文中,我们通过ASP实验研究了40到100个节点(步长为10)随机图的哈密尔顿回路存在性、不存在性、以及难于计算等的分布情况,结果表明它们都具有一定的规律.这不仅对随机图的哈密尔顿回路本身是有益的探索,也为生成随机图哈密尔顿测试用例提供了有益的指导.