逻辑系统相关论文
针对现有电力隧道巡检机器人自动化程度不足、视野和观测角度有限的问题，设计了一款子母式自动巡检机器人。其中：具有移动功能的巡检......
伴随社会的快速发展，人类思维发展的不断深入和认知科学水平地不断提高，越来越多的学者关注和重视道义逻辑的研究。虽然道义逻辑属于......
顾维桢先生在《捕风捉影说思维》中把深奥的数理逻辑问题用浅显的日常用语表达出来，很了不起。只是在国内专业工作者看来，有些译名不......
经济全球化已成为世界经济发展的总趋势,国际贸易中的关税壁垒日趋降低,技术法规、行业标准、评测程序已经产生了举足轻重的作用和......
沙漠是一个可分空间，所以它包含一个可数的稠密点集，可以以此构造一个以狮子为极限的子序列． 接着我们沿着这个子序列悄悄地接近它，然......
为了实现二进制加法符号替换规律,本文提出了一种简单的光逻辑系统,它仅包括一片二维列阵光学双稳器件.本实验采用同时具有NXOR和O......
本文对让步句的语意重心进行分析,主要从让步句的语义背景特征入手来对让步句的逻辑系统构建进行一个前准备。在构建让步句的逻辑......
一辞书之作为工具书 辞书有一个特点，即它是供查考用的，它是工具书。 比如说，我们学习语文，教科书是我们的学习材料，遇到生字......
近年来,随着史学和文学领域的变革和发展,美国文学史也不断变迁,成为学者们研究的新热点。“在60年代末70年代初,西方出现了一系列......
数学是由概念、方法和命题组成的逻辑系统，而概念是客观世界的空间形式和数量关系及其本质属性在思维的反映.人们以数学概念为思维......
Zadeh于1973年首先提出了模糊分离规则(简称FMP规则),并被Mamdani等人所发展,形成了如今被广泛使用的CRI算法,从此起,以模糊推理为......
近几年来，模糊控制技术取得了很大的成功，但作为模糊控制技术核心的模糊推理在数学理论上却缺乏严格的逻辑基础，由此引起了世界上许多......
弗雷格是德国著名的数学家、逻辑学家、哲学家。他是数理逻辑的创始人，也是分析哲学的创始人。弗雷格的思想在哲学史和逻辑学史上具......
本文主要论述科恩的归纳支持理论。首先科恩的归纳支持理论是对休谟问题的一种回答和解决，科恩自己认为他的理论来源于培根，穆勒和凯......
１问题的提出焦作矿务局九里山矿副井，深度３１８ｍ，专门用于人员和物料的提升，并于１９７９年安装了一台ＪＫＤ１．８５Ｘ４多绳摩擦轮式提升机，由互为备用的两套Ｆ－Ｄ机组驱动。......
1 电磁流量指示不准的危害rn由于水煤浆特殊的物理特性,使其测量难度很大.经多年煤化工装置运行经验证明,采用水煤浆电磁流量计测......
本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
因明作为一个逻辑系统,笔者认为其逻辑真理观是“某命题、句子是真的,当且仅当它表述确实性的知识”.古代著名因明学者陈那把确实......
波兰尼认为19世纪以来在西欧出现的市场经济是人类史上的“大转型”。此前，市场嵌入在社会之中，是社会有机组成的一部分，受到社会的控......
进化逻辑是在人工智能心理学派研究的推动下诞生的一种科学进步和发展的动态模式。计算机科学家和哲学家勃克斯 (Ａ .Ｗ .Ｂｕｒｋｓ )在这方面做......
小学科学课的部分知识从内容上来说是初中物理的基础,科学课程开设得如何关系到学生升入初中后对物理学科的兴趣.做好小学科学和初......
在高三的复习课中，繁重的任务使学生感到累，老师也累。师生在深入复习的同时往往忽略了第一手资料——教材。对教材中的概念进行深刻......
钢琴演奏是一项复杂的思维和实践活动，它是脑力与体力、技巧与艺术、逻辑思维与形象思维相结合的综合性活动，具有极强的技艺性，有其本......
一、问题提出(一)系统性原则.系统性原则是指教学要按学科的逻辑系统和学生认识发展的顺序进行.使学生系统地掌握基础知识,基本技......
一直以来,我们使用逻辑系统来描述数学的证明、结构的计算以及语言的意义.近年来,逻辑系统却越来越多地被用来研究理性行动者的很......
语力逻辑系统既包括本体层面,与真及成真条件有关,也包括认知层面,与以言行事的语力和行为有关.语力逻辑系统可以通过往标准的逻辑......
道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑.但受人工智能理论的启发,西方研究人工智......
在人类的艺术造型活动中,有一种活动是面对着既存物体而展开的,这种活动不同于从主体意图开始直接指向目的结果的逻辑系统,通常我......
分别研究了GOdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论.......
金岳霖先生是我国逻辑学界泰斗.系统研究他对逻辑学的认识,对于展示逻辑学三重学科性质特别是人文性质,促进我国逻辑学的发展和普......
期刊
"怪论"即所谓的"蕴涵怪论".最早提出它的是美国著名的哲学家兼逻辑学家皮尔士(C·S·peirce)和德国著名的逻辑学家弗雷格(G·Frege......
在分析逻辑函数手工化简的基础上，给出了在计算机中逻辑函数通常采用的多维体表示方法和便于用计算机编程实现的代数化简方法一多维......
数学是由概念、命题组成的逻辑系统，而概念是客观世界．的空间形式和数量关系及其本质属性在思维中的反映。数学概念是数学知识的基石......
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件；并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言......
证明了非线性序集逻辑系统中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立该系统中的近似推理理论奠定了基础。......
讨论了五值非线性序集逻辑系统L25,将四值逻辑系统扩充到五值逻辑系统,在五值逻辑系统中,建立了相应的重言式理论、准重言式理论。......
基于非线性序集逻辑系统L24中的真度概念,给出了公式的相似度概念,并给出了一些基本性质,为进一步建立该系统中的近似推理理论奠定......
基于非线性序集逻辑系统中的真度概念，给出了公式的相似度概念，并给出了一些基本性质，为进一步建立该系统中的近似推理理论奠定了基础......
针对知识工程与知识发现的逻辑基础理论问题，从逻辑学发展出发，论述并构思了与计算机相关的逻辑系统结构，阐述了现代逻辑对于计算机科......
