逻辑系统

摘要： 科学的本体论问题随着科学技术的发展而逐渐成为研究的对象,它在信息科学和人工智能领域被赋予新的内涵。本体论承诺为逻辑视阈下开展人工智能道德的研究提供了本体论预设。在运用具有可解释优势的逻辑工具开展人工智能道德研究的技术实现和现实应用中,通过对所要构建的逻辑模型所涵盖的特定领域世界的概念和关系做出本体上的承诺,回应人工智能道德的本体诉求。

摘要： 经过责任编辑推荐和评审专家投票,七篇论文被评为《中国当代文学研究》2021年度优秀论文,现予以公布:吴俊:《批评史:国家文学和制度规范的视域——关于〈中国当代文学批评史〉的若干思考》文章揭示了国家文学制度的运行规范与权力机制,试图发掘出中国当代文学发展的根本历史逻辑,也为当代文学史的重释重构作出了进一步的理论上的界定与铺垫。宏大历史理论视野的前沿瞻望与精密的经验逻辑系统的整合构建,奠定了文章在推动整个文学批评史学术体系发展中的基础性作用。有鉴于此,评委会决定授予其2021年度优秀论文奖。

摘要： 科学界有个共识,认为运用数学的程度是衡量一门学科成熟与否的重要标志。还有科学家直言":在抽象的意义下,一切科学都是数学。"(C.R.劳)在笔者看来,公文不仅是"文"的艺术,也是"数"的艺术,数学不仅是打开科学大门的钥匙,也蕴含着写作的基本原理。公文的写作方法中带有"数学基因",数学语言让表达简洁精确,数学思维让逻辑系统严谨,数学方法让论证张弛有度,数学知识让说明井然有序。

摘要： 中国"推类"逻辑的归纳特性剖析表明,中国古代有归纳逻辑,作为一种非形式逻辑,其推理类型具有不同于西方归纳逻辑的特殊性,具体体现在推类的价值相关性上。从逻辑系统看,伦理推理是中国古代归纳逻辑的基本推理系统。伦理推理具有三个特征:大前提有较强的语境敏感性;推导一般不具演绎有效性,更具概率性;类比是推论的主要方式。

摘要： 皮连生教授在《现代教学设计》中主张,要"为学生的学习创设最优环境"。《中学语文教学参考》中旬刊连载的张悦群教授的"语文课理十五论"专栏,便是这种创设"最优环境"的实践。它上承20世纪美国科学教育理论,倡导科学高效的语文课堂教学。"十五论"论论衔接,顶针回环,层递推进,逻辑系统,对纠正当今中学语文教学乱象,回归语文教学本真,可谓恰逢其时,功德高远。本文以小说《台阶》为例,尝试从"支点、支撑、支架"三个维度,谈谈笔者学习"语文课理十五论"的心得及设计实践。一、定支点——精准的教学目标定位张教授的"课理十五论"脱胎于他的"目标十问",核心是"目标论"。教学目标是学生学习结果的预期,有导学、导教、导测评的功能。

摘要： 在"智媒体"时代"虚拟"与"现实"共生的环境下,"设计何为"的语境中,面对现代设计向"大设计"的转变,基础性的设计教学需要构建出主观意识与造型逻辑相互融合的新型系统性课程体系,逐渐培养起艺术思维与科技方法相结合的"设计物态",为未来设计提供多维"模态性"的推导方案。

摘要： 在"智媒体"时代"虚拟"与"现实"共生的环境下,"设计何为"的语境中,面对现代设计向"大设计"的转变,基础性的设计教学需要构建出主观意识与造型逻辑相互融合的新型系统性课程体系,逐渐培养起艺术思维与科技方法相结合的"设计物态",为未来设计提供多维"模态性"的推导方案.

摘要： 济南市市中区育秀小学秉承“做最优秀的自己”的办学理念,构建了以“人在中央”为核心、以“五自教育”(生活自理、安全自护、学习自主、做事自信、人格自尊)为目标,以“嵌入式环境建设”、“体验式德育课程建构”、“交互式课堂教学研究”为三大支架的新思维办学理念及其逻辑系统,最终形成以“慢、全、深、互、隐、恒”为特质的浸润教育办学体系。

摘要： 信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙集逻辑,利用信息系统的粗糙集理论形式化开放世界模型,从而建立开放世界信息更新的逻辑系统.

摘要： 金岳霖先生的逻辑学思想是自洽而一脉相承的.文章通过梳理金岳霖对“自然”的有关论述,从文本分析的角度提出金岳霖逻辑学思想中的“自然”有两个层次,即“事实自然”和“天道自然”.两个层次的“自然”各有处理原则,但也并非水火不容,“势归于理”正揭示了“自然”二层次之间的运动方向.

摘要： 介绍了汉语连动结构已有研究成果并指出其中存在的问题；给出刻画连动结构的多体谓词逻辑系统SVC；在给出系统的基础上进一步细化甚至修正了已有的工作.

摘要： 本文分析了现行各种容纳矛盾逻辑系统的不足，提出正域、反域、不动域的概念，进而发现悖论是逻辑思维领域的不动点，建立了一个容纳矛盾的逻辑系统S。在系统S中，可以证明悖论是一个定理，以此逻辑系统为基础，可以建立一个容纳矛盾的数学基础。

摘要： 本文分析古希腊和中国对于个人和社会团体的不同理解，因此造成对于逻辑系统认识的差异。主要通过亚里士多德和墨家学派的逻辑系统的比较进行分析。亚里士多德的理论系统是一个从各种标准上来衡量都是地地道道的的逻辑系统，然而墨家学派的理论体系，从严格的意义上来看，并不能说它属于逻辑学这个学科。墨家学派的理论体系更侧重于语言、名词以及和名词意义之间的关系，还有说服听众以及在辩论中取胜。

摘要： 基于左连续t-模,Esteva and Godo 建立了模糊命题逻辑系统MTL.本文在应明生教授建立的语言量词积分语义框架下,扩展了逻辑系统MTL，通过添加一般语言量词构建了新的逻辑系统MTLQ.文中讨论了逻辑系统MTLQ及其语义,并研究了MTLQ的一些逻辑性质.

摘要： 《伤寒杂病论》是中医学的重要典籍,逻辑学是研究人类思维的学科,从中国古代名学、墨家思想以及现代西方逻辑的角度对张仲景方证理论体系进行研究回顾,对于发掘《伤寒论》、《金匮要略》的科学内涵,对于建立证、法、方之间的逻辑关系,提高中医学由理(法)到方的逻辑联系,发现更适合中医的逻辑系统具有重要意义.

摘要： 本文试图从逻辑的视角分析判断聚合与偏好聚合之间的关系，论证判断聚合模型相对偏好聚合模型在群体理性聚合研究中的理论优势，将首先梳理偏好聚合与判断聚合的一些基本概念及理论，然后重点分析一个判断聚合的模态逻辑JAL，利用一阶逻辑的语言基于JAL可以构建一个偏好聚合的逻辑系统JAL(LK)，从而可将偏好聚合转化为判断聚合来处理，进而突显判断聚合模型的一般性。

摘要： 文章讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理.我们首先指出Datta等人的计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷.随后,扩展谓词演算系统形成基本协议逻辑并为其添加计算语义以便用于描述安全协议.最后,从信任关系的本质含义出发,在基本协议逻辑系统中严格定义信任谓词的计算语义,并通过讨论若干公理反映信任谓词的基本性质.

摘要： “Communitv”中的逻辑探究了在由社会关系产生的一个“communitv”中，主体知识的更新。中构造了一个称作“The facebook logic of social network”的逻辑系统。在这篇文章里，我们把“偏好”引入这个逻辑系统。我们首先给出几个例子，这些例子将体现“communitv”中有关偏好的问题。

摘要： 本文提出一个新的逻辑系统——自由模态的摹状词理论Lk，指出了该逻辑的理论背景，给出了它的语法系统及相应的语义解释。不仅证明了Lk的可靠性，还采取力迫法，通过构造力迫模型，给出了Lk的完全性证明。

摘要： 本文研究了地理设计及其相关概念,论述了Cart Steinitz的设计决策模型中发展历程,并对Carl Steinitz地理设计模型展开了分析,最后对地理设计模式进行了总结.

摘要： 本发明涉及车库门控制技术领域，特别是一种用于控制车库门的逻辑系统及逻辑方法，该逻辑系统包括，模式设定电路，输出设定信号，外接开关信号处理电路，产生外部信号，逻辑控制器IC3，耦接上述模式设定电路和外接开关信号处理电路，并输出控制信号，该控制信号包括开门信号、关门信号、停止信号，自定义时长开关门接口，耦接上述逻辑控制器IC3，设定开关门时长，单路继电器控制电路，耦接上述逻辑控制器IC3，输出单路逻辑开门电信号或单路逻辑关门电信号。本发明实现了对现有车库门的适配，实现了对车库门的智能化控制，具有良好经济效应和应用前景。

摘要： 本发明公开了一种用于神经推理系统的可嵌入级连逻辑系统及其推理方法，其中，该系统包括：输入模块，用于将待推理任务转换为逻辑输入符号，作为逻辑分组模块的输入；逻辑分组模块，用于根据预设规则对逻辑输入符号进行分组，将分组后的逻辑输入符号单独进行逻辑运算，并将运算后的结果合并；深度旁路逻辑模块，用于保留第一个逻辑输入符号直接作为输出；利用多个单层逻辑模块级联构成级联逻辑系统，当前级别的输出作为下一级的输入，通过级联逻辑系统对逻辑输入符号进行逻辑运算；输出模块，根据待推理任务的特性选择对应的输出策略，在逻辑运算结果中得到推理结果。该可嵌入级连逻辑系统可以嵌入到神经网络中，使得神经网络具有推理能力。

摘要： 本发明提供一种提高DCS系统温度质量判断可靠性的逻辑系统，包括：监视继电器的输出端与置位优先触发器的S输入端连接，第一比较运算模块的输出端与或运算模块的一个输入端连接，无扰保持模块的输出端依次与第一减法模块、绝对值模块、第二比较运算模块、非运算模块连接，非运算模块的输出端与置位优先触发器的R输入端连接，置位优先触发器的输出端与或运算模块的另一个输入端、无扰保持模块的控制端连接，或运算模块的输出端与温度质量判断接口连接。本发明的优点在于：只有当温度数据恢复到接近温度突变前的数值时，表示温度恢复到原来水平，才进行置位优先触发器的复位输出，从逻辑上提高了温度质量判断的可靠性。

摘要： 本发明公开了一种安全逻辑系统。安全逻辑系统包括物理不可克隆函数装置、物理不可克隆函数缓存器及加密电路。物理不可克隆函数装置根据物理不可克隆函数装置的至少一部分随机物理特征建立加密字符串。物理不可克隆函数缓存器耦接于物理不可克隆函数装置，并自物理不可克隆函数装置载出加密字符串。加密电路耦接于物理不可克隆函数缓存器，并利用加密字符串来操作系统字符串以产生加密数据。

摘要： 本发明公开了一种整机逻辑系统升级方法，包括：独立逻辑装置检测整机逻辑系统是否升级失败；若失败，则向管理模块发送重新升级指令，以使管理模块重新对整机逻辑系统进行升级；其中，独立逻辑装置由供电模块单独供电，且控制整机逻辑系统和管理模块的上电使能。可见，在本方案中，独立逻辑装置独立于整机逻辑系统外供电，不受整机逻辑系统程序失效的影响，因此，如果整机逻辑系统升级失败，则可通过独立逻辑装置控制管理模块对整机逻辑系统进行重新升级，从而保证了对整机逻辑系统的正常升级、管理模块的正常运行，提高整机系统的可靠性。本发明还公开了一种整机逻辑系统升级系统及独立逻辑装置，同样能实现上述技术效果。

摘要： 本发明涉及车库门控制技术领域，特别是一种用于控制车库门的逻辑系统及逻辑方法，该逻辑系统包括，模式设定电路，输出设定信号，外接开关信号处理电路，产生外部信号，逻辑控制器IC3，耦接上述模式设定电路和外接开关信号处理电路，并输出控制信号，该控制信号包括开门信号、关门信号、停止信号，自定义时长开关门接口，耦接上述逻辑控制器IC3，设定开关门时长，单路继电器控制电路，耦接上述逻辑控制器IC3，输出单路逻辑开门电信号或单路逻辑关门电信号。本发明实现了对现有车库门的适配，实现了对车库门的智能化控制，具有良好经济效应和应用前景。

摘要： 本公开涉及一种在边缘系统验证逻辑系统设计的方法、边缘系统。所述方法包括：接收云服务器发送的所述逻辑系统设计的验证任务；经由所述云服务器接收与所述验证任务对应的计算容器镜像；获取所述逻辑系统设计的描述信息，将所述描述信息载入所述计算容器镜像；运行所述计算容器镜像，通过资源映射器连接所述计算容器镜像和硬件仿真工具，利用所述计算容器镜像和硬件仿真工具执行所述验证任务。采用本方法能够对级联的硬件仿真工具或设备进行管理，在网络出现问题时仍可以继续执行验证任务，提高了用户的使用体验。

摘要： 本发明提供一种提高DCS系统温度质量判断可靠性的逻辑系统，包括：监视继电器的输出端与置位优先触发器的S输入端连接，第一比较运算模块的输出端与或运算模块的一个输入端连接，无扰保持模块的输出端依次与第一减法模块、绝对值模块、第二比较运算模块、非运算模块连接，非运算模块的输出端与置位优先触发器的R输入端连接，置位优先触发器的输出端与或运算模块的另一个输入端、无扰保持模块的控制端连接，或运算模块的输出端与温度质量判断接口连接。本发明的优点在于：只有当温度数据恢复到接近温度突变前的数值时，表示温度恢复到原来水平，才进行置位优先触发器的复位输出，从逻辑上提高了温度质量判断的可靠性。

摘要： 本公开提供一种用于验证逻辑系统设计的原型验证系统及仿真平台，所述原型验证系统包括：第一原型验证模块和第二原型验证模块；以及第一同步组件，经由第一线路和第二线路与所述第一原型验证模块和所述第二原型验证模块分别连接，其中，第一同步组件被配置为：响应于来自所述第一原型验证模块的同步请求信号，向所述第一原型验证模块和所述第二原型验证模块同时发送触发信号。

摘要： 本发明公开了一种用于神经推理系统的可嵌入级连逻辑系统及其推理方法，其中，该系统包括：输入模块，用于将待推理任务转换为逻辑输入符号，作为逻辑分组模块的输入；逻辑分组模块，用于根据预设规则对逻辑输入符号进行分组，将分组后的逻辑输入符号单独进行逻辑运算，并将运算后的结果合并；深度旁路逻辑模块，用于保留第一个逻辑输入符号直接作为输出；利用多个单层逻辑模块级联构成级联逻辑系统，当前级别的输出作为下一级的输入，通过级联逻辑系统对逻辑输入符号进行逻辑运算；输出模块，根据待推理任务的特性选择对应的输出策略，在逻辑运算结果中得到推理结果。该可嵌入级连逻辑系统可以嵌入到神经网络中，使得神经网络具有推理能力。