共查询到18条相似文献，搜索用时 250 毫秒
1.
根据部分k值逻辑的完备性理论，给出了部分四值逻辑中L型函数集与拟线性函数集，从而推进了P4^＊中准完备集之最小覆盖的完全解决． 相似文献
2.
描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。 相似文献
3.
将贯穿式真实问题递进解决过程和知识逐步建构过程融合的课堂教学,是关注学生核心素养和认知逻辑,实现贴近认知实际、遵循认知规律、指向认知深度等教学自觉的重要路径。 相似文献
4.
货郎担问题是组合优化领域里的一个典型问题,是属于易于描述却难于解决的NP完全难题,有效地解决货郎担问题具有重要意义。首先给出了货郎担问题的描述,然后介绍了几种基本的解决货郎担问题的算法思想:穷举法、动态规划、回溯法以及分支限界法,并对各种算法的计算复杂度进行了比较和分析。 相似文献
5.
文学锋 《中山大学学报论丛》2010,3(4)
众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题".为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(SCL)是超内涵逻辑中最基本的一种.本文是对SCL的精炼,其动机是语境同义性论题(CST).该论题认为,同义性标准具有语境依赖性.基于认知语境主义,我们给出了CST的一个论证.通过将,SCL中的二元等词修改为一个三元结构,用来表示两个陈述相对某个语境表达同一命题,我们给出了CST的希尔伯特式公理系统.我们证明了该系统相对一个代数模型类是可靠的和完全的.该代数模型的论域由命题构成,同时附带一组命题上的全等关系,用以刻画相对于语境的命题同一性.我们运用该逻辑部分解决了分析悖论这一困扰逻辑学家多年的问题.与我们之前的基于相同动机的论文[17]相比,本文给出的形式语言更加丰富,从而能够表达不同语境之间以及不同语境的同义性之间的关系. 相似文献
6.
实数完备性定理是数学分析的理论基础.文章基于第一作者对实数完备性定理的教学经验,结合学生对定理的理论证明过程,完善地给出R~2上实数完备性定理的循环证明,探讨学生在学习此部分内容时容易遇到的问题,并就这些问题,提供一些解决思路. 相似文献
7.
有效培养和提升大学生人文素质是新时期高等教育面临的重大课题。本文以大学生现有的认知状况和思维特质为逻辑起点,通过对现实基本问题的针对性梳理、多元性审视和开放性选择,按照问题发现、问题分析、问题解决的逻辑路径,达到知识构建到认知内化的提升,从而实现对人文素质教育模式的重构。 相似文献
8.
有效培养和提升大学生人文素质是新时期高等教育面临的重大课题。本文以大学生现有的认知状况和思维特质为逻辑起点,通过对现实基本问题的针对性梳理、多元性审视和开放性选择,按照问题发现、问题分析、问题解决的逻辑路径,达到知识构建到认知内化的提升,从而实现对人文素质教育模式的重构。 相似文献
9.
文章从多主体的动态事务管理逻辑出发,给出了多主体动态管理逻辑的语言和语义,并进一步分析了质询的时态协议,给出了其模型。最后从称珍珠的例子出发,分析了一个Q生成模型的语义和模型,并得出了一些结论。 相似文献
10.
在解决NP完全问题上,DNA计算有着传统图灵机无法比拟的优势。分子信标在DNA计算和纳米技术领域起着非常重要的作用,分子信标计算模型可以解决很多NP完全问题。针对图顶点着色问题的NP完全问题,利用分子信标给出图顶点着色问题的DNA计算模型。最后,通过实例说明分子信标计算模型是可行的。 相似文献
11.
动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集．正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统．是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的．而是公式协调的。 相似文献
12.
模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体:一是关于刻画程序计算性质的逻辑公式,二是用来刻画程序的模型,模型检测的任务就是要校准这两种不同形式的信息——公式和模型——是否相一致。 相似文献
13.
在许多多主体偏好逻辑系统中,主体之间是没有联系的,因而无法描述主体间的偏好互动。借鉴＂The Logic in the Community＂一文中称为＂群体压力＂的例子对偏好的影响,本文在＂The Logic in the Community＂所提出的系统构架上,加入偏好算子和两个动态算子,通过构造归约公理说明这些算子可以被无偿添加,并借助这些规约公理证明了系统的完全性。 相似文献
14.
丁庭选 《商丘师范学院学报》2005,21(1):85-87
随着会计实践的发展，会计理论逐渐体系化。这一体系具有完整性、逻辑性和多元性等特点。现代会计理论的形成有产生它的历史必然性和其内在的逻辑结构。 相似文献
15.
蒲晓彬 《河南师范大学学报(哲学社会科学版)》2006,33(3):185-187
完整是文本内容和形式的审美追求,二者只有在审美高度上实现完整的融合,才会有佳作的诞生。作为形式诸要素中最重要元素的结构,其完整与否直接影响着内容的审美表达,因此,建构完整的结构对文章写作意义重大。完整的结构是文本各局部的完美组合,局部与整体的有机统一,真实、精细的典型细节的设置所致。 相似文献
16.
为提高服务匹配对请求多样性和服务能力描述差异性的适应能力,提出了一种基于时态逻辑模型检验的适应性服务匹配方法——ASMA.该方法基于一个抽象服务模型ASM-TL,ASM-TL包含了影响服务匹配的服务内部约束和调用约束等重要因素,以及一个描述服务行为属性的虚拟过程模型.ASMA将服务请求统一描述为一种时态约束条件,基于ASM-TL将服务转换为一种时态模型,并引入模型检验的思想进行服务匹配.因此,ASMA可提高服务匹配的准确度,并很好地适应服务请求的多样性和服务能力描述的差异性.该方法已应用到生物信息领域的问题求解环境(PSE)中.应用表明,该方法对动态环境具有良好的适应能力. 相似文献
17.
董英东 《西南师范大学学报(人文社会科学版)》2009,(5):71-75
认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。 相似文献
18.
通过引入云模型对输入信息进行模糊化处理,结合神经网络的非线性学习能力,提出一种基于云模型和神经网络的模糊分析模型CNN。在此基础上,引入遗传算法和粒子群优化算法,对连接权和阈值进行训练,构造出GA-CNN与PSO-CNN两个模型。由于神经网络具有在海量数据中提取隐藏规律的能力,而遗传算法与粒子群优化算法具有全局搜索的优点,因此可使所求问题以较大概率收敛到全局最优解或次优解。实验结果表明,该模型具有较高的检测率和较低的误检率,能够较好地实现对网络安全状态进行分析的目的。 相似文献