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.

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.

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

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

Shifting Rule Modification Strategy of Automatic Transmission Based on Driver-vehicle-road Environment

Accidental or frequent shift often occurs when the shifting rule is built based on traditional two parameters （i.e., velocity and throttle）, because the speed of engine varies slower than change of throttle opening. Currently, modifying shift point velocity value or throttle by throttle change rate is one of common methods, but the results are not so satisfactory in some working condition such as uphill. The reason is that these methods merely consider throttle change rate which is not enough for a car driving in driver-vehicle-road environment system. So a novel fuzzy control modification strategy is proposed to avoid or reduce those abnormal shift actions. It can adjust shifting rule by the change rate of throttle, current gear position and road environment information, while different gear position and driving environment get corresponding modification value. In order to compare the results of shifting actions, fuel consumption and braking distance, emergent braking in level road and extra-urban driving cycle（EUDC） working conditions with fuzzy shifting schedule modification strategy are simulated digitally. Furthermore, a hardware-in-the-loop simulation platform is introduced to verify its effect in slope road condition according to the ON/OFF numbers of solenoid valve in hydraulic system. The simulation results show that the problem of unexpected shift in those working conditions may be resolved by fuzzy modification strategy. At last, it is concluded that although there is some slight decline in power performance in uphill situation, this fuzzy modification strategy could correctly identify slope of road, decrease braking distance, improve vehicle comfort and fuel economy effectively and prolong the life of clutch system. So, this fuzzy logic shifting strategy provides important references for vehicle intelligent shifting schedule.

Extraction Fuzzy Linguistic Rules from Neural Networks for Maximizing Tool Life in High-speed Milling Process

In metal cutting industry it is a common practice to search for optimal combination of cutting parameters in order to maximize the tool life for a fixed minimum value of material removal rate（MRR）. After the advent of high-speed milling（HSM） pro cess, lots of experimental and theoretical researches have been done for this purpose which mainly emphasized on the optimization of the cutting parameters. It is highly beneficial to convert raw data into a comprehensive knowledge-based expert system using fuzzy logic as the reasoning mechanism. In this paper an attempt has been presented for the extraction of the rules from fuzzy neural network（FNN） so as to have the most effective knowledge-base for given set of data. Experiments were conducted to determine the best values of cutting speeds that can maximize tool life for different combinations of input parameters. A fuzzy neural network was constructed based on the fuzzification of input parameters and the cutting speed. After training process, raw rule sets were extracted and a rule pruning approach was proposed to obtain concise linguistic rules. The estimation process with fuzzy inference showed that the optimized combination of fuzzy rules provided the estimation error of only 6.34 m/min as compared to 314 m/min of that of randomized combination of rule s.

Association Rules Applied to Intrusion Detection

We discuss the basic intrusion detection techniques, and focus on how to apply association rules to intrusion detection. Begin with analyzing some close relations between user’s behaviors, we discuss the mining algorithm of association rules and apply to detect anomaly in IDS. Moreover, according to the characteristic of intrusion detection, we optimize the mining algorithm of association rules, and use fuzzy logic to improve the system performance.

Mediative Sugeno’s-TSK Fuzzy Logic Based Screening Analysis to Diagnosis of Heart Disease

Fuzzy logic is an approach which deals with the incomplete information to handle the imperfect knowledge. In the present research paper we have proposed a new approach that can handle the imperfect knowledge, in a broader way that we will consider the unfavourable case also as the intuitionistic fuzzy logic does. The mediative fuzzy logic is an extensive approach of intuitionistic fuzzy logic, which provides a solution, when there is a contradiction in the expert knowledge for favourable as well as unfavourable cases. The purpose of the present paper is to design a mediative fuzzy inference system based Sugeno-TSK model for the diagnosis of heart disease. Our proposed method is the extension of Sugeno-TSK fuzzy logic controller in the form of Sugeno-TSK mediative fuzzy logic controller.

汽车生产制造过程中离散事件的虚拟仿真建模

仅使用IDEF3过程建模方法对离散事件进行虚拟仿真建模时,需要通过复杂的行为单元描述顺序生产过程,使建模时间过长。因此,结合IDEF3过程建模方法和模糊逻辑规则,基于孪生数据进行数据映射,构建汽车生产制造的虚拟场景,对汽车生产制造过程中的离散事件进行虚拟仿真建模。首先,引入场景树和人机交互理论,以几何变换为核心实现虚拟场景的漫游,并通过分析生产加工工序之间的资源连接关系,明确离散事件的发生原理;其次,设计包含仿真全局时钟、离散事件仿真局部时钟及连续系统仿真局部时钟的完整仿真时钟,并基于完整仿真时钟定义离散事件推进机制;最后,根据仿真语言,生成离散事件虚拟仿真模型。实验结果表明,运用该方法的虚拟仿真建模时间仅为60 s。

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

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

Causal association rule mining methods based on fuzzy state description

Aiming at the research that using more new knowledge to develope knowledge system with dynamic accordance, and under the background of using Fuzzy language field and Fuzzy language values structure as description framework, the generalized cell Automation that can synthetically process fuzzy indeterminacy and random indeterminacy and generalized inductive logic causal model is brought forward. On this basis, a kind of the new method that can discover causal association rules is provded. According to the causal information of standard sample space and commonly sample space, through constructing its state （abnormality） relation matrix, causal association rules can be gained by using inductive reasoning mechanism. The estimate of this algorithm complexity is given,and its validiw is proved through case.

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

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

形式背景上近似推理生成决策蕴涵研究

基于形式背景获取决策蕴涵、概念规则等知识是数据分析、机器学习的重要研究内容之一.首先,利用属性逻辑语义对决策蕴涵的特性进行刻画.其次,在经典二值逻辑框架下分析决策蕴涵、概念规则的基于全蕴涵三I推理思想及分离规则(Modus ponens,MP)和逆分离规则(Modus tonens,MT)的近似推理模式的特征,证明决策蕴涵的MP、MT近似推理结论是决策蕴涵,概念规则的MP、MT近似推理结论是概念规则等结论.引进属性逻辑公式的伪距离,在属性逻辑伪距离空间中分析推理对象范围参数变化对决策蕴涵MP、MT近似推理结论的影响.最后,提出若干通过MP、MT近似推理生成决策蕴涵、概念规则及拟决策蕴涵的模式和方法,数值实验验证了所提方法的有效性.

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

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

基于逻辑规则的图谱推理在烟草生产工艺防差错中的应用

文章研究了基于逻辑规则的图谱推理在烟草生产工艺防差错中的应用。通过挖掘烟草生产工艺中用户的操作习惯、设备的控制逻辑特性、生产设备的属性、产品工艺风险点的属性以及生产设备控制逻辑和工艺事故之间的关系等已有信息,进行调查并建立逻辑规则。结合实际案例分析,验证了该方法的有效性和实用性,其支持提高工艺防差错识别的速度和精度。研究结果对于提高烟草生产工艺的稳定性和可靠性具有重要意义,并为其他类似行业的防差错提供了有益的参考。

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

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

A t-Norm Fuzzy Logic for Approximate Reasoning

A t-norm fuzzy logic is presented, in which a triangular norm (t-norm) plays the role of a graduated conjunction operator. Based on this fuzzy logic we develop methods for fuzzy reasoning in which antecedents and consequents involve fuzzy conditional propositions of the form “If x is A then y is B”, with A and B being fuzzy concepts (fuzzy sets). In this study, we present a systemic approach toward fuzzy logic formalization for approximate reasoning. We examine statistical characteristics of the proposed fuzzy logic. As the matter of practical interest, we construct a set of fuzzy conditional inference rules on the basis of the proposed fuzzy logic. Important features of these rules are investigated.

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

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

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

在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器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。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。

法治小院:农业院校法学专业实践教育新模式探索

借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,而且能在服务乡村法治建设中塑造学生的精神品格;同时能够满足村民法治需求,为法治乡村建设做出贡献。西北农林科技大学法学专业在法治小院教学实践探索中,逐渐形成了“校内外联合,理论与实践融合,学习与服务耦合,专业技能与精神品格综合,线上与线下结合”的“五合”实践运行模式。

三值逻辑运算命名方案的设计原理

分析了用真值表描述逻辑运算给学术交流和突显逻辑运算特征带来的困难,引出对多值逻辑运算规则进行科学命名的必要性;然后,详细阐述了给三值逻辑运算进行命名的一套完整方案,介绍了这套命名方案的设计原理与使用规范,该方案通过组合“取值特征名”和“运算规则名”可得到各种三值逻辑运算的标准名称;最后,将该命名方案应用到几种典型的三值逻辑运算中,验证了该方案在设计上的科学性、使用上的便捷性、对每种运算规则的唯一性和迅速判断逻辑运算特征的实用性.