形式系统相关论文
美国奇幻小说《冰与火之歌》具有波澜起伏的虚构故事情节和优美独特的文学语言。本文借助刘宓庆的翻译美学理论，探析该小说第一卷《......
中国和日本是唇齿相依的两国,文化交流源远流长。《日本と日本人》广泛地涉及中国和日本文化史及政治,为促进中日两国的学术交流及......
童话是儿童文学一种重要的体裁。这种作品通过丰富的想象、夸张和象征来塑造形象,反映生活。王尔德一生只创作了九篇童话,却展现了......
国家社会科学“八五”规划项目《现代汉语方言大词典》分地点方言词典《苏州方言词典》已正式出版。1993年12月23日,苏州市民主促......
童话是儿童文学一种重要的体裁。这种作品通过丰富的想象、夸张和象征来塑造形象,反映生活。王尔德一生只创作了九篇童话,却展现了......
哥德尔的不完全性定理、埃舍尔的诡异版画、巴赫的天籁之曲……如果有一本书可以与之相提并论的话，那就是道格拉斯·霍夫斯塔特教授......
机器会思维。这并不是一个可简单证实或证伪的命题。在一九九六年第七期《电脑有无意识》一文中，尽管原文有“电脑有无意识的问题…......
以合肥市滨湖新区核心区作为中美低碳生态示范区为背景,介绍了市政热源、冰蓄冷、天然气分布式能源、地源热泵以及再生水源热泵等......
该文首先简要介绍了逻辑学家哥德尔的生平、不完全性定理的梗概以及国内对此定理的研究情况,继而给出了不完全性定理的一个简单的......
形式系统是现代数理逻辑的一个重要内容。形式系统从大的方面通常分为两大类:公理系统和自然演绎系统。除了这两种主要的形式系统......
同济大学中法中心位于校园东南角,西临校园内现存最老的建筑物一二·九大楼和一二·九纪念园.基地内另有9棵散落的雪松、梧桐、槐......
关于语言的本质,文献中有许多各不相同的哲学家观点。本文评述三种语言哲学观点,包括:(1)语词的一切意义乃是私人的思想;(2)语言是......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
讲授法是以语言传递信息为主的教学方法，是通过教师的口头语言表达、讲解、讲演等形式系统地向学生传授知识、发展学生智力的方法，亦......
NO.1rn西藏1300余年的藏传佛教绘画史,在中国美术史和世界美术史上独树一帜.经过无数代大师集体智慧的积淀,凝聚成的精炼成熟的形......
模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为“必然和可能的逻辑”而被人所知.但是,把模态逻辑视为关于......
Zadeh在文[1]中引入Fuzzy集概念之后,这一概念被Goguen[2]推广,真值域由单位闭区间被更一般的格所代替.Rosenfeld[3]将Zadeh的思想......
期刊
提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen{......
【正】 一、理论是知识组织形式通过实践,在人同自然界的不断相互作用中,人们对于现实的事物加以认识和理解,便获得关于现实的知识......
针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出......
企业安全文化建设是一项综合性的创建活动，也是一项复杂的系统工程。通过分析研究企业安全文化建设中存在的主要问题，结合企业安全文......
1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提出[2].尽管模糊推理在模糊控制中有直接的应用,也受到......
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的"乐观方法"和博弈思......
本文首次对泛逻辑的广义重言式理论进行研究.给出了泛逻辑的基本形式系统中的广义重言式的一系列性质.主要结果有:在泛逻辑的基本......
中介逻辑ML（Medium Logic）是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全（完备）性。本文研究了ML的语法完全......
形式系统超前于语义解释的逻辑关系使形式释义成为必要.形式释义是科学解释中对定律解释具有决定作用的部分,其逻辑过程在宏观上显......
材料12008基多建筑双年展时,我们举行了技术和建筑研讨会,会上Mauricio Rocha详细叙述了他对一种简单材料应用可能性的探索,并对施......
LPM与Lp相比：由于□的引入，导致了初始符号与形成规则的扩张；从而引起了LPM的合式公式、原子公式、元语言变项和常项的取值范围，比Lp中......
模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异，导致它们之间的定理有一定的差异，推理能力的大小也有所不同。由于定......
一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全......
《数学课程标准》倡导“动手实践、自主探索、合作交流”的数学学习方式。“商的变化规律”是小学数学中的重要基础知识,尤其是“......
在<前分析篇>[1]中,亚里士多德用大量篇幅讨论了模态三段论问题.亚氏模态三段论自成系统,可以尝试从现代逻辑的联合演算观[2-3]出......
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统.在此基础上给出一机器能行算......
研究基于可信度的模糊一阶模态逻辑，给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述．为有效进行模糊断言间的推理，考虑了......
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能......
普通权限用户通过查询并结合数据库的其他知识,绕过安全机制,进行间接推理获取非授权信息,从而造成安全数据库敏感信息的推理泄漏.......
形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系.通过强完全性概念研究两种......
《罗拉快跑》是一部经典的德国电影。通过文本细读,本文认为理解这部影片的关键是片中曾经出现的＂多米诺骨牌＂迅速倒下的镜头。＂多米......
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的.将全......
对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便.现在中介命题系统MP推理规则集S的简化等价集S1已经建立,......
相干逻辑的形式系统组成一个逻辑家族，这些逻辑系统的共同点是：坚持演绎推理的相干性，拒斥“结论的推导未实际使用前提”的推理方式。......
MOOC视频具有影视媒体相同的形式系统,参考影视媒体形式系统分析MOOC视频的形式系统。MOOC视频形式系统包括形式的原则与形式的作......
逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用.形式化方法包括构造形式系统(语法的)和对......
非直谓现象普遍存在于许多领域中。在数学中，对集合的最小元的定义是非直谓的。在逻辑中，罗素悖论的产生是由于允许非直谓地定义一个......
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;......
“2017中国安全小公民计划”陆续在西安、成都、广州、北京的幼儿园、小学和城市商业中心展开活动，面向广大学龄前后儿童及其家庭，以......
