描述复杂性相关论文
本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复......
该篇论文包含二部分较为独立的工作:1.并行函数式语言的部分计值研究;2.一种新型的扩充逻辑及其应用于程序验证的研究.研究人员研......
摘要：经典智能规划问题是人工智能研究领域里最为重要的问题之一。但是由于其时间复杂度上的不可跟踪性,使得这项技术在实际应用中......
有限模型理论中,描述复杂性作为连接计算复杂性和定义在有限结构上的逻辑语言的桥梁,通过提供新的证明方法和额外的证据使得计算复......
在计算科学中,NP完全问题在区分可计算问题的复杂度类发挥着重大的作用,不仅是因为任意NP问题都可多项式时间归约到此类问题,而且......
从描述复杂性的角度出发，提出了一种新的优化学习算法，描述复杂性理论认为，一个数据集的最小长度描述最能体现出这个数据集的本质规律......
讨论可计算性和语言学理论中的几个关键问题，阐述这几个关键问题的背景，正确理解这几个关键问题的重要性和这些问题与当前语言研究中......
序优化是解决基于仿真优化的重要工具。本文主要研究传统序优化在工程实践中面临的若干基本理论问题:如何解决多目标基于仿真优化......
我们在文中讨论了几种模型：基于kolmogorov complexity的NID(NCD)理论的几种模型(第二章、第三章)，图模型(第四章)，简单关联模型(第五......
