共查询到19条相似文献，搜索用时 312 毫秒
1.
Prolog语言是基于一阶谓词逻辑的Horn子句,其丰富的表达能力极大地促进了知识处理、专家系统等应用领域的进一步发展。对Prolog语言的语法及数据结构进行了简单介绍,归纳出Prolog语言的主要特征,并以具体实例说明了它的程序结构。 相似文献
2.
描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。 相似文献
3.
4.
本文系统地介绍了数学归纳法的逻辑原理以及表现形式.模型论是一门理论性很强的学科,模型论中的很多命题和定理的证明很繁琐、复杂,而数学归纳法为这些证明提供了一个合理、思路清晰并且利于理解的证明过程. 相似文献
5.
海红 《廊坊师范学院学报(自然科学版)》2015,15(2):9-10,13
对于具有无限时滞的积分微分方程,以(Ch,|·|h)为相空间,利用Horn不动点定理研究方程周期解的存在性,证明方程解的一致最终有界性蕴含周期解的存在性。 相似文献
6.
几种逻辑方程的解集关系研究 总被引：1，自引：0，他引：1
丁殿坤 《咸阳师范学院学报》2005,20(6):11-12
给出了逻辑方程F=GF、 G=1、FG=1的解集关系定理和相应的推论及证明。得到了若逻辑方程F G=1和FG=1的解集分别为S1、S2,则逻辑方程F=G的解集为S1-S2的结论。从而可应用结论解非0型、非1型和某些有关的逻辑方程。 相似文献
7.
逻辑与非逻辑的划界标准 总被引：1，自引：0，他引：1
林邦瑾 《贵阳学院学报(社会科学版)》2001,(1)
逻辑与非逻辑的划界标准是元逻辑的根本问题之一。流行的四种标准全都认定逻辑基础是逻辑。在展开正统的两个演算时所采用的能从已知定理去得出新定理的真正的逻辑事实上并不符合正统数量逻辑。鉴于正统的两个演算只以真值函数、个体 -真值函数为研究对象 ,故而属于离散数学。因此需提出能鉴别这种真正的逻辑的第五种标准———逻辑是人类在认识宇宙时从已知进入新知 (从已有客观事件必然过渡到新客观事件的认识 )的普遍有效的工具。 相似文献
8.
Prolog语言问世以来,特别是日本宣布了一个宏伟的设计和生产第五代计算机的国家工程计划以后,由于计划中选用了Prolog作为基本系统语言。它戏剧性地日益受到人们的青睐。随着计算机应用的不断发展,把人工智能程序与传统的程序融合在一起使用的需求稳步增长。人们对开发Prolog应用程序的要求与日俱增。Turbo Prolog作为一种高级的基于编译的人工智能语言,尤其适合于开发专家系统、建立动态数据库等。于是我们想利用 相似文献
9.
苏丽 《科学技术哲学研究》2014,(1)
关于人类推理机制的说明主要有两种理论,分别是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则(PSYCOP)系统,来描述依据命题联结词和量词变量进行的推导过程,并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化,但同时也面临着一些可能的缺陷。 相似文献
11.
冯契建立了科学的辩证逻辑方法论体系,其理论来源是我们探索冯契辩证逻辑方法论原理的钥匙。冯契辩证逻辑方法论原理产生的直接理论来源有：中国古代和近代方法论成果、毛泽东方法论思想和金岳霖＂经验之所得还治经验＂思想。 相似文献
12.
可编程序控制器(Programmable Logic Controller简称PLC),在工业生产过程自动控制领域得到广泛的应用,而可编程序控制器的实际应用,需要符号要求的系统设计。探讨系统采用PLC控制的一般本条件和系统设计的基本原则,能很好地寻求PLC最适合的控制对象。基于系统设计内容与步骤的分析,有助于结合实际问题进行PLC控制系统的设计。 相似文献
13.
历史比较初论:比较研究的一般逻辑 总被引：1，自引：1，他引：0
当代西方分析哲学与科学哲学思想中有关“不可公度性”的讨论,为我们深入探究历史比较的理论根基提供了参照。历史比较必须遵循一般比较研究的逻辑:比较是不可公度性与可公度性的统一;比较研究中,不能由比较对象之间局部要素的可公度性推导出整体的可公度性;比较对象的可公度性与不可公度性随着比较者设定的比较范围或概念层次而变化;没有比较就没有认识;事物的本质并非完全外在于比较者的客观存在,它同时也有赖于比较者的理论构想;比较研究意在形成新的认同,而在比较研究中保持差异是比较研究成为一种创造性活动的源泉。 相似文献
14.
Making the students understand the theoretical concepts of digital logic design concepts is one of the major issues faced by the academics, therefore the teachers have tried different techniques to link the theoretical information to the practical knowledge. Use of software simulations is a technique for learning and practice that can be applied to many different disciplines. Experimentation of different computer hardware components/integrated circuits with the use of the simulators enhances the student learning. The simulators can be rather simplistic or quite complex. This paper reports our evaluation of different simulators available for use in the higher education institutions. We also provide the experience of incorporating some selected tools in teaching introductory courses in computer systems. We justified the effectiveness of incorporating the simulators into the computer system courses by use of student survey and final grade results. 相似文献
15.
左乐平 《廊坊师范学院学报》2012,(6):79-83
中国特色社会主义理论体系的内容逻辑是由逻辑原则、逻辑对象即＂第二次相结合＂、逻辑立场即＂人的自由而全面发展＂以及逻辑内容等相互联系、相互贯通、相互依存的一个科学理论体系。 相似文献
16.
lIntroductionTheflexiblemanulhcturingtechnology(FMT)originatedinUSAinthemid1960s',sincethenithasspreadtomanyothercountries.Duringthelastfewyears,theflexiblemanufacturingsystem(FMS)hasdemonstratednotonlypopularintheindustrializedcountries,butalsofindsitsap… 相似文献
17.
周玉 《西南师范大学学报(人文社会科学版)》2009,(4):123-127
《国家与革命》具有逻辑和历史相统一的时代特色,其中每一个原理和观点都是从已有的历史事实和发展过程中得出的确切结论,因而它能够从历史的逻辑中揭示历史的规律并预见历史的未来,在历史的发展中发挥着不可抗拒的逻辑力量：它不仅为20世纪社会主义国家的创建发挥了巨大的先导作用,而且为当前批判各种恶毒攻击暴力革命的错误思潮提供了强大理论武器,同时对我国在构建和谐社会的过程中长期坚持人民民主专政具有现实的指导意义。 相似文献
18.
19.
本文从逻辑学的发展历程考察了逻辑学发展的认知转向。逻辑学和认知心理学的结合为信息科学尤其是计算机科学的理论与应用提供了方法，形成了一个以计算机为带头学科、以逻辑为基础、以认知为对象的研究方向，从而导致认知逻辑这一研究新课题的产生。认知逻辑的研究内容主要包括认识逻辑和心理逻辑，其研究方法涉及哲学思辨、心理实验、逻辑推理、计算机模拟和数学方法等。我们从认识逻辑、心理逻辑、人工智能三方面的研究成果可了解认知逻辑的研究现状。当前对认知逻辑的研究尚存在一些问题，但未来将会在若干领域有所突破。 相似文献