Multi-modal knowledge graph inference via media convergence and logic rule

Media convergence works by processing information from different modalities and applying them to different domains.It is difficult for the conventional knowledge graph to utilise multi-media features because the introduction of a large amount of information from other modalities reduces the effectiveness of representation learning and makes knowledge graph inference less effective.To address the issue,an inference method based on Media Convergence and Rule-guided Joint Inference model(MCRJI)has been pro-posed.The authors not only converge multi-media features of entities but also introduce logic rules to improve the accuracy and interpretability of link prediction.First,a multi-headed self-attention approach is used to obtain the attention of different media features of entities during semantic synthesis.Second,logic rules of different lengths are mined from knowledge graph to learn new entity representations.Finally,knowledge graph inference is performed based on representing entities that converge multi-media features.Numerous experimental results show that MCRJI outperforms other advanced baselines in using multi-media features and knowledge graph inference,demonstrating that MCRJI provides an excellent approach for knowledge graph inference with converged multi-media features.

10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System

This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.

Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System

Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.

An Application Expert System for Evaluating Effective Factors on Trust in B2C WebsitesTrust, Security, ANFIS, Fuzzy Logic, Rule Based Systems, Electronic Commerce

In new environments of trading, customer's trust is vital for the extended progress and development of electronic commerce. This paper proposes that in addition to known factors of electronic commerce B2C websites such a design of websites, security of websites and familiarity of website influence customers trust in online transactions. This paper presents an application of expert system on trust in electronic commerce. Based on experts’ judgment, a frame of work was proposed. The proposed model applies ANFIS and Mamdani inference fuzzy system to get the desired results and then results of two methods were compared. Two questionnaires were used in this study. The first questionnaire was developed for e-commerce experts, and the second one was designed for the customers of electronic websites. Based on AHP method, Expert Choice software was used to determine the priority of factors in the first questionnaire, and MATLAB and Excel were used for developing the fuzzy rules. Finally, the fuzzy logical kit was used to analyze the generated factors in the model. Our study findings show that trust in EC transactions is strongly mediated by perceived security.

A Study of the European Union’s Path for Constructing Digital Governance Rules and the Logical Implications of the Path

The European Union(EU)seeks to build a Europe fit for the digital age.For this purpose,the EU has accelerated the process of catching up with digital technology and issued a number of legal and regulatory documents to establish a digital governance rule regime with EU characteristics.This paper analyzes the EU’s path towards the construction of digital governance rules.This path is composed of three aspects,i.e.,strict digital supervision,differentiation of the free market,and multi-stakeholder governance.This three-step path has intrinsic logical implications.That is,strict digital supervision is applied to defend the EU’s unified market and values;differentiation of the free market takes the principle of adequate protection as the core to make the EU an exporter of rules;multi-stakeholder governance brings multiple stakeholders together in the governance to deal with the ethical anomie that arises during the use of big data.By setting up a series of digital governance rules,the EU seeks to achieve rule dominance to gain regulatory power for global digital governance.However,due to multiple constraints,there is a long way to go,and there are obstacles in the way.

Deduction Theorem and Hypothetical Syllogism Rule on Fuzzy Logic System

Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*.

加强涉外法治体系建设的顶层擘画——论学习贯彻习近平总书记重要讲话精神

习近平总书记在中央政治局第十次集体学习时就加强涉外法治建设所作系列重要论述,是马克思主义法治理论中国化的最新成果。“长远所需”和“当务之急”,凸显了新形势下加强涉外法治建设的重要性和紧迫性。中国涉外法治建设成就巨大、来之不易,但仍存在不少短板弱项,亟待弥补。我国海外利益全方位多层次高速度拓展,外部法律风险与挑战前所未有,干涉与反干涉、制裁与反制裁外交斗争激烈,客观上要求强化法治思维,善用法治方式,“以法斗法”“以法制法”,丰富外交斗争法律“工具箱”,一体推进涉外立法、执法、司法、守法和法律服务,形成涉外法治工作大协同格局。必须坚持统筹推进国内法治和涉外法治,不断完善涉外法治体系和能力建设,为中国式现代化行稳致远营造有利法治条件和外部环境。

重大职务犯罪案件审判的内在结构与法治逻辑

重大职务犯罪案件审判是当今中国反腐败工作的重要组成部分。相较于普通刑事案件审判,重大职务犯罪案件审判在办案衔接、审判权归属、审判组织综合管理和最高人民法院具体指导等方面具有独特的运行特征,由此决定这类案件内部审判结构有着以下基本特性:内部审判组织架构的综合性,审判程序规范的适度灵活性,审判运行方式的安全有效性,审判形式上的严格性。在尊重重大职务犯罪案件审判内在固有结构的基础上,仍需从审判权力结构的调整、被告人基本诉讼权利的有效保障、庭前会议和庭审要素的把握和审判方式的灵活运用等方面,建构案件审判的法治逻辑,以体现审判应有的司法属性和程序价值。

地方人大及其常委会监督地方监察机关的法治逻辑及展开路径

地方人大及其常委会监督地方监察机关具有严密的法治逻辑,既是人民代表大会制度的内在逻辑要求,也是强化对权力运行制约和监督的必然要求,还是对监督者再监督的题中之义。但由于监察权在我国新“四权”权力配置模式中处于优越地位,地方人大及其常委会监督地方监察机关还面临一些挑战和障碍。这就需要在正确认识和处理地方人大及其常委会监督与地方监察机关监察两者“异中有同”“相得益彰”关系的基础上,由地方人大及其常委会对地方监察机关开展“正确监督、有效监督、依法监督”,以实现地方人大及其常委会对地方监察机关监督的目的。

一阶逻辑定理证明器中的无效子句删除策略

在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器CSE1.5(Contradiction Separation Extension 1.5)中,以2019—2022的CADE(Conference on Automated DEduction)自动定理证明(ATP)系统竞赛中一阶逻辑问题组为测试对象。在300 s内,应用所提算法的CSE1.5_IC比原始CSE1.5总共多证明了27个问题。在两个版本证明器共同证明的所有FNE(FOF theorems without Equality)测试例中,CSE1.5_IC比CSE1.5平均每个问题多约简了28个子句,平均求解时间减少了7.07 s。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。

语义Web规则标记语言OWLRule+的设计与实现

语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL语言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机

“中国之治”的制度创新逻辑及其效能转化

“中国之治”取得举世瞩目的两大奇迹,彰显了中国特色社会主义制度的巨大制度优势,“中国之制”成就“中国之治”。本文从六个方面诠释了“中国之治”的制度创新逻辑,即:“中国之治”制度创新的领导力量是中国共产党;制度创新的理论源泉是马克思主义基本原理,制度创新的现实基础是中国革命、建设与改革实践;制度创新的终极主体是人民群众;制度创新的效率标准是人民满意不满意;制度创新的奋斗目标是民族复兴。这一制度创新逻辑是“中国之治”制度创新的成功“密钥”。其治理效能转化的路径为:厘定中国式现代化治理目标,推进中华民族伟大复兴;发挥中国特色社会主义制度优势,提升治理效率;加强治理评价,凸显“人民至上”的治理价值追求。

海上编队协同防空作战规则反演方法

为解决海上编队协同防空作战中多任务多平台的协同决策问题,提出基于遗传模糊逻辑树的协同防空作战规则反演方法。设计面向威胁判断、目标分配、火力控制等指控决策的级联式模糊推理系统,采用演化学习从博弈对抗中学习和反演协同作战规则。作战仿真测试表明,该方法能够适应战场的动态变化且决策时延低于1 s。基于遗传模糊逻辑树的作战规则反演缓解了深度强化学习等面临的可解释性问题和作战仿真中的奖励稀疏问题,同时反演生成的作战规则也为剖析战场规律提供了新的知识来源。

新兴市场跨国企业国际市场机会识别规则及其演变机制——基于乐歌的纵向案例研究

以乐歌作为案例分析对象,基于规则推理逻辑,深入剖析新兴市场跨国企业国际市场机会识别背后的规则及其演变机制。研究发现:①在国际化初期,新兴市场跨国企业主要基于感性、经验和行动等简单规则,识别国际市场机会;随着国际化程度的加深,开始基于内部经营、外部情境和主动试错,修订机会识别规则,并逐渐转变为基于分析、计算和预测等复杂规则,识别国际市场机会。②国际化情境的动态变化,驱动机会识别主体从管理者个体逐渐转变为企业组织,促使新兴市场跨国企业不断调整、修订国际市场机会识别规则,呈现出从简单规则到复杂规则的演变趋势。

基于BL-Apriori的民航机务风险关联规则分析

为了解决机务维修领域风险分析过程中文本数据挖掘不充分问题,提出1种基于二进制逻辑“与”运算改进的Apriori关联规则挖掘方法,采集到飞机维修企业2012—2021年机务维修领域不安全事件报告,最终成功挖掘出民航机务维修领域具有耦合性、关联性的风险要素,并对风险要素之间的关联规则进行分析。研究结果表明:改进后的算法运行时间从0.153 s降低至0.034 s,挖掘到机务风险中飞机检查不全面、人员遗忘/疏漏等为主要因素,与工程实际相符。研究结果可为机务安全管理提供决策支持。

基于姿态与力测量的手功能自动康复评估方法

脑卒中后约70%的患者存在手部功能障碍,需要长期进行康复治疗。康复评估是制定康复治疗方案的科学依据。现有手功能评定方法需要有经验的医生指导患者完成目标任务,其评分机制具有一定的主观性,而且持续时间较长,整个评估过程不仅费力、复杂,还降低了患者的舒适度。目前仍缺乏准确的手功能自动评估系统,开发客观、定量、可靠的测量设备,实现手功能自动评估在康复医学中具有重要意义。因此,提出一种基于柔性阵列式薄膜压力传感器(Flexible Array Pressure Sensor,FAPS)和RGBD相机的自动Fugl-Meyer手功能评估系统。该系统采用Leap Motion双目视觉传感器跟踪手部/手腕的运动姿态,将FAPS分别附着在5种抓握工具上,记录5种抓握方式下手部的力信息。设计包含教学视频的上位机平台,指导患者康复评估动作。分别提取运动姿态和力信息的特征值,设计基于不同条件的逻辑规则分类方法进行每个动作的评定。进行了初步实验,结果证明该系统可用于手部运动功能的康复评估。

基于改进概率软逻辑模型的高校学生状态推理方法

随着高等教育的普及,各类管理决策需求增加,基于数据驱动和知识驱动的决策方法成为新的发展趋势。基于此,提出了一种通过改进概率软逻辑模型挖掘知识规律和推理学生状态的方法,该方法通过引入规则挖掘算法,赋予概率软逻辑模型自动挖掘规则的能力。在真实学生状态数据上的实验结果表明,该方法在多项目标关系的推理上,准确率能达到80%以上,并且多层次推理结构的实验效果优于非层次推理结构的实验效果。对于学生状态类非完整知识库数据的挖掘和推理,该方法减少了人工工作量,降低了因人为认知偏差带来的不确定性。

结构互嵌与规则互嵌:出版平台的逻辑考察

厘清出版平台的发生与运作逻辑,是完善网络时代出版业管理体系的基本前提之一。“出版+平台”与“平台+出版”两种运作逻辑互构了出版平台这一具体的产品形态,在应激—调适过程中激发、建构出新型运作逻辑。出版平台的逻辑可从平台与出版的结构互嵌和规则互嵌两个层面加以考察。基于传统出版视角,出版平台具有范式转换作用,其学术意义和社会价值将不断凸显。

规划与规则的协同——国土空间详细规划制度建构方略

城市规划起源于城市秩序失控问题,规划一直试图利用科学方法协调土地利用冲突、规范城市发展。通过分割还原来控制复杂性的经典科学方法已难以适应日益复杂的人居环境需求与全域用途管制的制度需求。为回归科学领域探讨规划与秩序的关系,本文以复杂系统科学为视角,梳理规划思想的转变趋势,通过分析两种秩序的形成及空间使用行为的复杂性,深入比较规划与规则的治理逻辑差异,提出规划与规则的协同治理逻辑:基于关系原则将已存在的一般规律规则化,作为维持秩序的底线性工具,协调行为与行为的关系;基于群体互动的详细规划过程将行为类型规则空间化,协调行为类型与空间类型的关系。通过详细规划的规则化转型,促进以人民为中心的自发秩序形成。

数学方法在计算机算法中的应用实践

在现代社会不断发展的过程中,信息技术和计算机技术也在不断发展,计算机算法也被广泛应用在现实生活中。人们在使用计算机编程时,要求设计计算机算法,是将数学方法作为基础实现的。在社会不断发展的过程中,数学方法中也添加了逻辑推算思想和方法。所以,针对数学方法应用在计算机算法中的实践进行分析,从而为计算机算法的发展提供借鉴。