NP=P?

本文简要介绍了NP完全问题的基本概念及其在计算机科学和数学领域中所起的作用。此外,还讨论了几个典型的NP完全问题,最后给出了NP完全问题研究的进展情况和解决NP完全问题的前景预测。     

浅论逻辑在第五代计算机中的作用

本文主要通过第五代计算机过渡性的核心语言PROIOG—逻辑程序设计语言,讨论(一阶谓词)逻辑在第五代计算机中的作用。     

动态认知逻辑的一个批评

对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机。认知逻辑作为刻画关于知识和信念的推理的形式体系,可以被看作是逻辑研究应用到理论计算机科学和人工智能等领域的一个重要的形式工具。而动态认知逻辑更在认知逻辑的静态基础之上,扩展以表现各种认知动作及其相应认知变化的算子,得到一系列的形式体系。在此从探寻认知逻辑的理论动机出发。追问我们应该在什么地方应该停止对于“新”逻辑体系的创新,由此对于动态认知逻辑把认知动作纳入形式体系的做法提出了批评：从认知逻辑的应用来说,对认知行动的形式刻画是多余的。     

英汉领属短语的共同认知基础

对传统语法中对领属结构的认识提出质疑,进而从认知的角度分析对比汉语“NP1的NP2”与英语“NP1’SNP2”这两种领属短语。最后得出结论：英汉领属短语内部的语义关系虽然多种多样,但它们反映了人类共同的认知模式,即“参照点一目标”模型。其中参照点和目标的不对称性又受人的认知规律影响。而短语中间的领属形位“的”和POSS具有同一语法功能,即限定功能。     

分子计算机的诞生与现状

介绍了计算机领域的一项最新成果———分子计算机 .分子计算机利用脱氧核糖核酸 (DNA)来进行计算 .腺嘌呤、鸟嘌呤、胞密啶、胸腺密啶 (核苷酸 )在计算中起了重要的作用 .使用限制内切酶、接合酶、转移酶、外切核酸酶、修饰酶来实现计算所需要的各种操作 .介绍了分子计算机完成的第 1个计算———解哈密顿通路问题的方法 ,用这种方法使NP完全问题在很短的时间内就得到解决     

分子计算机的诞生与现状

介绍了计算机领域的一项最新成果--分子计算机.分子计算机利用脱氧核糖核酸(DNA)来进行计算.腺嘌呤、鸟嘌呤、胞密啶、胸腺密啶(核苷酸)在计算中起了重要的作用.使用限制内切酶、接合酶、转移酶、外切核酸酶、修饰酶来实现计算所需要的各种操作.介绍了分子计算机完成的第1个计算--解哈密顿通路问题的方法,用这种方法使NP完全问题在很短的时间内就得到解决.     

基于演化算法的TSP求解

TSP即旅行商问题或者货郎担问题是一个易于描述但难于解决的NP问题,也是一个具有广泛的应用背景和重要理论价值的组合优化问题。简要介绍了求解TSP的若干方法,同时讨论了基于演化算法的TSP求解方法,并对TSP的求解进行了展望。     

认知逻辑中逻辑全知问题及其解决方法

分析认知逻辑中的逻辑全知问题及其解决方法， 提出一种可以避免逻辑全知的认知逻辑 Ｅ Ｌ， 并给出其语义和公理系统     

解决NP问题的DNA编码技术

NP问题是密码学中的一个难题,用DNA计算解决NP问题是目前DNA密码研究的一个热点。文章阐述了DNA编码问题及约束条件,归纳出用DNA计算解决NP问题的基本步骤,分析了Adleman解决哈密尔顿回路问题的实验中DNA编码的质量,提出了可选的更好的编码,并总结了目前DNA编码研究中存在的问题。     

哈萨克语NP和VP结构的歧义类型与消除策略研究

以现代哈萨克语短语识别与短语块库构建技术研究工程为背景,以NP和VP结构的歧义类型研究及消除为目的,提取统计方法来处理NP和VP结构的歧义问题.该方法在已经统计与分析出的哈萨克语短语基础上,对哈萨克语NP和VP短语组合结构歧义做全面分析和整理.用互信息方法解决NP和VP的歧义问题准确率(72%)并不高.为了达到更好的准确率就需要数量较大的训练语料库,但是目前实验环境并没有足够的语料.因此,基于规则方法标注好语料并采用人工方式完善训练语料库,再使用最大熵方法来处理歧义问题.实验结果表明,基于统计方法解决NP和VP结构的歧义问题是有效的,其准确率在封闭测试中达到了80.1%.