逻辑规则

摘要： 构建地方政府举债行为体系对于地方政府举债法制建设以及规范地方政府举债行为具有急迫性、根本性、基础性的理论和现实意义。构建地方政府举债行为体系、深化政府举债法治理论研究和实现政府举债法定需要体系性思维。通过类型化的研究方法提炼出地方政府法定举债行为、转贷行为、新增举债行为、应急举债行为四种地方政府举债行为类型,由此构建起我国地方政府举债行为体系,这是我国地方政府举债法制建设和规范地方政府举债行为的理论基础和基本依据。

摘要： 研究生成艺术介入视觉识别的应用现状、优势及策略。本文通过分析生成艺术介入视觉识别的逻辑及特征,结合相关案例,阐述生成艺术在视觉识别设计中的应用场景及模式。总结有效构建相应的设计输出的策略方法。将生成艺术引入到视觉识别中,不仅可以有效地提升吸引力,以发展的眼光赋予了视觉的可持续性,并且丰富了用户的感受,一定程度上提升了交互性和体验感。

摘要： 批判性思维是一种反思性的思维,也是一种评估、比较、分析、批判和综合信息的能力。它能够帮助人们批判性地思考、分析问题,并寻找解决问题的策略。随着语文核心素养的提出,在语文教学中贯彻学生思维品质的发展与提升越来越受到我国语文教育工作者的重视。尤其是在教学改革的大趋势下,帮助学生在语文学习过程中运用基本的语言规律和逻辑规则分析、判别语言,准确、清晰、生动、有逻辑性地表达自己的认识;运用批判性思维审视言语作品,探究和发现语言现象和文学现象,形成自己对语言和文学的认识。

摘要： 随着无人系统技术的不断发展,多无人系统的协同控制技术受到了广泛的关注。设计合理的协同模型是多无人系统中的重要研究内容,而已有协同模型在开放的网络环境中存在一定的安全性问题。在分析已有模型的不足的基础上,提出了一种具有安全特性的多无人系统协同模型RCC(Rules Combined Coordination)。RCC模型在协同过程中引入了逻辑规则,提供了终端的合法性认证及通信双方的权限控制,保障了多无人系统的安全性。最后,基于开源机器人系统ROS及RCC模型,搭建了多无人车的协同仿真平台,并在其中设计了导航、避障等实验场景,仿真实验的相关结果验证了RCC模型具有可用性和安全性。

摘要： 知识图谱因为其链接结构和强大的互联能力,成为大数据时代最有效的表达方式之一,但大规模的信息时刻都在更新,从而导致知识图谱的真实、准确、时效的特质很难维持,有些信息随着时间的推移会变得过时。现有大部分研究主要停留在对已有的知识图谱的补全中,但这种补全方法并未考虑到数据源的准确性和时效性问题,从而导致以知识图谱为基础的后续研究的准确性降低。还有部分研究仅仅通过匹配已知的过时三元组,在知识库中找出并加以替换,这种方法只能覆盖一小部分信息,对于大型的知识图谱并不适用。为了解决以上问题,论文提出了一种基于知识嵌入的关系检错和知识补全方法。该方法分为关系检错和知识补全两个阶段。经证明,论文提出的方法可以有效检测出过时关系并加以知识补全,在一定程度上减少了手动检错的人力与时间,并且提高了知识图谱的知识完备性。

摘要： 高中语文核心素养在思维发展与提升中指出“能有依据、有条理地表达自己的观点和发现;能运用基本的语言规律和逻辑规则分析、判别语言;能有逻辑性地表达自己的认识。”可见培养学生逻辑思维的重要性。逻辑思维,是以概念、判断、推理作为思维的基本形式,以分析、综合、比较、抽象、概括为思维的基本过程,揭示事物的本质特征,理清规律性联系。借助概念,经由判断、推理而形成的一种抽象思维,议论文是高中生写作的主体,运用逻辑学上的概念审题,理清关键词或词组的本义、引申义;逻辑中判断表达句子,逻辑中推理来组段组篇。议论文写作融入逻辑思维有着特别重要的作用。它不仅能够帮助学生更好地表达自我情感以及思想,而且能学会定义概念,找出最佳立意,推理升华主题,逻辑严密说理。本文对2022年全国I卷作文巧渗逻辑思维进行探索。

摘要： 通过开发耙吸挖泥船疏浚设备操控智能化系统,使繁琐的控制过程简单化;智能化诊断及故障情况判定,便于操控人员快速识别及排除故障.

摘要： 提出了基于逻辑规则的交通感应控制改进算法,改进设计交叉口车辆排队联动控制逻辑规则,以及非机动车与行人过街自动检测控制逻辑规则,采用VAP(Vehicle Actuated Programming)模块完成逻辑规则编程设计。通过锦绣大道与始信路交叉口仿真分析,结果表明,相比传统感应控制,在车辆延误变化不大的前提下,本算法更有效降低交叉口车辆平均排队长度和缩短行人过街平均行程时间。

摘要： 提出了基于逻辑规则的交通感应控制改进算法,改进设计交叉口车辆排队联动控制逻辑规则,以及非机动车与行人过街自动检测控制逻辑规则,采用VAP(Vehicle Actuated Programming)模块完成逻辑规则编程设计.通过锦绣大道与始信路交叉口仿真分析,结果表明,相比传统感应控制,在车辆延误变化不大的前提下,本算法更有效降低交叉口车辆平均排队长度和缩短行人过街平均行程时间.

摘要： 逻辑推理是数学学科核心素养的重要内涵之一.关于逻辑推理,义务教育数学课程标准中明确指出:“证明命题时,应要求证明过程及其表述符合逻辑,清晰而有条理.”这里的“逻辑”是指数学中的定义、公理、定理、性质等数学规则及形式逻辑中的逻辑规则,“条理”就是指推理时要遵循从已知到未知、从条件到结论的思维顺序.

摘要： 导弹技术准备是复杂的操作与测试过程。为提高部队基层人才技能水平,以虚拟现实技术为基础,研制开发了导弹技术准备交互式虚拟训练系统.重点对人机交互与逻辑规则进行了深入研究.阐明了鼠标三维空间机械部件拾取模块的分析、构建与实现.提出了具有可移植性和通用性的基于数据库的逻辑规则库设计思路,具体实现了逻辑数据库的结构,并考虑设计可视化自动逻辑生成器以提高逻辑输入效率.辅助以其他功能模块,系统初步具有了实际训练功能.

摘要： 法律推理过程包含着权力与利益、应然与实然、确定性与妥当性、客观解释与主观解释、逻辑与价值、语言与事件、思维与表达、认知与行动等诸多矛盾.在司法能动主义与司法克制主义、自然法学与分析法学、实证主义与现实主义、分析哲学与经验哲学的碰撞中,法律已经由文本所体现的规范层面转向法律施行的实践层面,法律推理已经由"逻辑独白"到"实践理性"进行位移.

摘要： 法律推理过程包含着权力与利益、应然与实然、确定性与妥当性、客观解释与主观解释、逻辑与价值、语言与事件、思维与表达、认知与行动等诸多矛盾.在司法能动主义与司法克制主义、自然法学与分析法学、实证主义与现实主义、分析哲学与经验哲学的碰撞中,法律已经由文本所体现的规范层面转向法律施行的实践层面,法律推理已经由"逻辑独白"到"实践理性"进行位移.

摘要： 法律推理过程包含着权力与利益、应然与实然、确定性与妥当性、客观解释与主观解释、逻辑与价值、语言与事件、思维与表达、认知与行动等诸多矛盾.在司法能动主义与司法克制主义、自然法学与分析法学、实证主义与现实主义、分析哲学与经验哲学的碰撞中,法律已经由文本所体现的规范层面转向法律施行的实践层面,法律推理已经由"逻辑独白"到"实践理性"进行位移.

摘要： 系统结构层次转换原理是由笔者提出的阐明系统结构层次如何从低层次向高层次转换的理论.本文首先阐明了系统层次关系理论的学术地位及其与系统结构层次转换原理的关系．其次，简要地介绍了系统结构层次转换原理理论所提出的全新的系统结构和进化理论．最后，通过对“机械的单向因果关系”、“相互性关系”、“对立统一关系”或“辩证关系”、“相互作用关系”或“决定作用与反作用关系”等，现有的处理事物之问．概念之间相互影响关系的逻辑模型的分析，把这些思维模式的混乱呈现出来，并根据系统结构层次转换原理提出一套新的逻辑模型．

摘要： 系统结构层次转换原理是由笔者提出的阐明系统结构层次如何从低层次向高层次转换的理论.本文首先阐明了系统层次关系理论的学术地位及其与系统结构层次转换原理的关系．其次，简要地介绍了系统结构层次转换原理理论所提出的全新的系统结构和进化理论．最后，通过对“机械的单向因果关系”、“相互性关系”、“对立统一关系”或“辩证关系”、“相互作用关系”或“决定作用与反作用关系”等，现有的处理事物之问．概念之间相互影响关系的逻辑模型的分析，把这些思维模式的混乱呈现出来，并根据系统结构层次转换原理提出一套新的逻辑模型．

摘要： 系统结构层次转换原理是由笔者提出的阐明系统结构层次如何从低层次向高层次转换的理论.本文首先阐明了系统层次关系理论的学术地位及其与系统结构层次转换原理的关系．其次，简要地介绍了系统结构层次转换原理理论所提出的全新的系统结构和进化理论．最后，通过对“机械的单向因果关系”、“相互性关系”、“对立统一关系”或“辩证关系”、“相互作用关系”或“决定作用与反作用关系”等，现有的处理事物之问．概念之间相互影响关系的逻辑模型的分析，把这些思维模式的混乱呈现出来，并根据系统结构层次转换原理提出一套新的逻辑模型．

摘要： 结合在烟草专卖行政执法中产生了一定影响的有争议的案例，揭示“定性”与“量罚”的正确的思维形式及其逻辑基础，论述国际法律界断案通用的必然性推理形式是准确地“定性”和“量罚”的逻辑保证，我国烟草专卖行政执法人员必须掌握。

摘要： 结合在烟草专卖行政执法中产生了一定影响的有争议的案例，揭示“定性”与“量罚”的正确的思维形式及其逻辑基础，论述国际法律界断案通用的必然性推理形式是准确地“定性”和“量罚”的逻辑保证，我国烟草专卖行政执法人员必须掌握。

摘要： 结合在烟草专卖行政执法中产生了一定影响的有争议的案例，揭示“定性”与“量罚”的正确的思维形式及其逻辑基础，论述国际法律界断案通用的必然性推理形式是准确地“定性”和“量罚”的逻辑保证，我国烟草专卖行政执法人员必须掌握。

摘要： 一种基于规则的软件架构，它为终端用户规则逻辑的定义和执行提供了基础结构。这使得使用简单的IF-THEN规则，在统一的存储平台内的数据能够终端用户自动化操作。这种架构包括跟踪与该数据相关联的项的监视组件，以及与监视组件接口使用与被跟踪的项相关的元数据以提供这些项的子集的自动化处理的规则组件。该系统进一步提供使用基于内容的逻辑定义系统内的虚拟集合和项。该系统进一步包括一个或多个触发器组件，按照触发器逻辑动态地将项和项集合设置为活动的。额外的组件可包括用于向项施加约束的约束组件，以及支持在判定点启动应用程序客户化的判定组件。

摘要： 一种基于规则的软件架构，它为终端用户规则逻辑的定义和执行提供了基础结构。这使得使用简单的IF－THEN规则，在统一的存储平台内的数据能够终端用户自动化操作。这种架构包括跟踪与该数据相关联的项的监视组件，以及与监视组件接口使用与被跟踪的项相关的元数据以提供这些项的子集的自动化处理的规则组件。该系统进一步提供使用基于内容的逻辑定义系统内的虚拟集合和项。该系统进一步包括一个或多个触发器组件，按照触发器逻辑动态地将项和项集合设置为活动的。额外的组件可包括用于向项施加约束的约束组件，以及支持在判定点启动应用程序客户化的判定组件。

摘要： 本说明书一个或多个实施例提供一种基于逻辑回归和规则的评分模型构建方法，包括：筛选得到规则评分指标；利用除规则评分指标外的其他评分指标，构建逻辑回归评分卡模型；获取规则评分指标的得分规则；根据得分规则，得到规则评分指标的规则得分；根据规则得分，计算所有规则评分指标的AR值，并根据AR值对规则评分指标进行排序；根据逻辑回归评分卡模型和规则得分，按照排序对规则评分指标进行训练，得到评分模型。本公开将规则模型集成到逻辑回归评分卡模型中，提高了发生频率低但是一旦触发有较强风险的评分指标对于评分模型的评分结果的影响，提高了评分模型的评分结果的准确性。

摘要： 本发明涉及一种基于概率软逻辑的规则置信度计算方法和装置，方法包括：将目标规则拆分为条件部分和执行部分，并确定条件部分和执行部分各自对应的特征信息；基于所述特征信息以及置信度计算模型，确定目标规则的置信度；其中，所述特征信息包括：实体及其对应的属性信息；所述置信度计算模型，是基于各历史规则的特征信息以及各历史规则的置信度评分训练得到的；所述目标规则/历史规则，是从智能博弈网络当前/历史的博弈对抗数据中抽取得到的。本发明实现了对规则置信度的自动化计算，无需对规则置信度进行手工验证，在规则验证上更为高效。

摘要： 本发明涉及一种运用于支持医保审核规则的知识库建设与运算逻辑方法，建立层次结构模型；导入待审核医保单据，执行审核逻辑；将审核结果回传进行人工审核。系统：分布式缓存服务器用以提供访问服务，并构建有层次结构模型；访问端用以访问分布式缓存服务器，以及向分布式缓存服务器导入待审核医保单据；人工审核端用以获取分布式缓存服务器所计算出的审核结果。效果为：建立准确的规则定义，通过对医保单据的全面实时审核，准确地发现违规行为、扣除违规款项并实时反馈各医疗机构的审核结果，为强化医保经办机构对医疗服务的监控作用，实现总额预付、按项目、按病种、按DRG付费等付费制度的改革提供有效的工具。

摘要： 用于指定逻辑规则的方法、系统以及包括编码在计算机存储介质上的计算机程序的设备，所述方法其中之一包括定义基于术语来应用操作的逻辑规则。所述方法包括定义字段和术语之间的映射，该映射包括字段和所述术语之间的映射。所述方法包括与术语相关联地存储逻辑规则。所述方法还包括将逻辑规则应用于第一字段所标识的数据，其中，各字段被分配至各术语。

摘要： 本发明涉及一种结合逻辑规则和碎片化知识的关系预测方法。首先对事实三元组和逻辑规则进行统一的建模，将隐藏的语义信息嵌入到基于知识表示的关系推理模型中；其次，结合碎片化知识，不断迭代更新，使得知识库变得越加完备。本发明对事实三元组和逻辑规则进行统一的建模，将隐藏的语义信息嵌入到基于知识表示的关系推理模型中，实现更精准地预测。

摘要： 用于指定逻辑规则的方法、系统以及包括编码在计算机存储介质上的计算机程序的设备，所述方法其中之一包括定义基于术语来应用操作的逻辑规则。所述方法包括定义字段和术语之间的映射，该映射包括字段和所述术语之间的映射。所述方法包括与术语相关联地存储逻辑规则。所述方法还包括将逻辑规则应用于第一字段所标识的数据，其中，各字段被分配至各术语。

摘要： 本发明公开了一种业务逻辑规则图谱的生成方法及装置，涉及大数据技术领域，其中该方法包括：获取数据仓库中第一数据表的第一数据表标识、第一数据表涉及的业务功能、存储第一数据表的关联规则的关联规则表；根据关联规则表确定与第一数据表关联的第二数据表的第二数据表标识、以及第二数据表与第一数据表的生成顺序；根据第二数据表与第一数据表的生成顺序、第一数据表标识、第二数据表标识、第一数据表涉及的业务功能生成知识图谱；根据知识图谱中包含的第一数据表标识、第二数据表标识生成数据表标识名单，将数据表标识名单提供给用户；根据用户要查询的数据表标识、以及知识图谱生成展示图谱。本发明可以提高数据仓库的业务逻辑规则梳理效率。

摘要： 本发明涉及一种联锁逻辑规则配置文件的自动更新系统及方法，该系统包括输入接口模块、参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块和输出接口模块；所述的输入接口模块用于将更新版本联锁逻辑规则配置文件模板及配置方法文件、前一版本联锁逻辑规则配置文件模板及配置方法文件、前一版本完成配置的联锁逻辑规则配置文件分别发送给参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块。与现有技术相比，本发明具有极大地降低工作量，提升联锁逻辑规则配置文件设计效率等优点。