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.

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^*.

语义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.

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.

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.

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.

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.

A Fuzzy Logic Based Resolution Principal for Approximate Reasoning

In this article, we present a systemic approach toward a fuzzy logic based formalization of an approximate reasoning methodology in a fuzzy resolution, where we derive a truth value of A from both values of B → A and B by some mechanism. For this purpose, we utilize a t-norm fuzzy logic, in which an implication operator is a root of both graduated conjunction and disjunction operators. Furthermore by using an inverse approximate reasoning, we conclude the truth value of A from both values of B → A and B, applying an altogether different mechanism. A current research is utilizing an approximate reasoning methodology, which is based on a similarity relation for a fuzzification, while similarity measure is utilized in fuzzy inference mechanism. This approach is applied to both generalized modus-ponens/modus-tollens syllogisms and is well-illustrated with artificial examples.

Fuzzy Logic Inference Applications in Road Traffic and Parking Space Management

In modern motoring, many factors are considered to realize driving convenience and achieving safety at a reasonable cost. A drive towards effective management of traffic and parking space allocation in urban centres using intelligent software applications is currently being developed and deployed as GPS enabled service to consumers in automobiles or smartphone applications for convenience, safety and economic benefits. Building a fuzzy logic inference for such applications may have numerous approaches such as algorithms in Pascal or C-languages and of course using an effective fuzzy logic toolbox. Referring to a case report based on IrisNet project analysis, in this paper Matlab fuzzy logic toolbox is used in developing an inference for managing traffic flow and parking allocation with generalized feature that is open for modification. Being that modifications can be done within any or all among the tool’s universe of discourse, increment in the number of membership functions and changing input and output variables etc, the work here is limited within changes at input and output variables and bases of universe of discourse. The process implications is shown as plotted by the toolbox in surface and rule views, implying that the inference is flexibly open for modifications to suit area of application within reasonable time frame no matter how complex. The travel time to the parking space being an output variable in the current inference is recommended to be substituted with distance to parking space as the former is believed to affect driving habits among motorist, whom may require the inference to as well cover other important locations such as nearest or cheapest gas station, hotels, hospitals etc.

Discussion on the Logical Coordination between Legal Theory and Legal Practice——from the Perspective of the Legal Basis of NPC5s Discussion and Decisiomaking Power on Major Issues

The decision of local people's congresses to discuss major issues is a basic right granted to local people's congresses by the Chinese Constitution and laws.However,in practice,the implementation of the power of deliberation of major issues by local people's congresses is worrying.By applying the theory of Chinese traditionalism and unity in the theory of law,the theory of"sovereignty in the people"in the social contract theory of Western natural law school,Austin's"legal command theory55 in Western positivist law and Hart's"recognition""Rules theory"to argue that the integrity of rights necessarily involves the dual factors of decision-making and execution.At the same time,the existence and operation of the law always reflects the development of the political system.The realistic political situation requires us to make more precise and meticulous refinement of the external form and specific technical links of the legal system,and to coordinate the rules to make up the legal theory and Conflicts and conflicts in legal practice help to reform social institutions.

History and Logical Progression of China's Public Health System——From the Perspective of the Protection of the Right to Health

A public health system generally refers to public utilities oriented toward protecting and improving health. It is intended to protect the health of the general public. Since the founding of the People’s Republic of China, China has constructed the largest healthcare system in the world. The 20th National Congress of the Communist Party of China(CPC), stressed that China will improve its public health system. Looking back at the history of China’s public health system from its inception to the reform and development and then improvement, it can be found that its development has always revolved around the theoretical logic of unifying rights and obligations and the practical logic of balancing the protection of the right to health and the regulation of state power. The fundamental goal is to protect the right to health of the people. The increasing health risks in modern society have changed require that efforts be made to construct a crisscrossing legal framework for public health, improve early-warning and emergency response mechanisms for public health emergencies,and integrate the health concept into all policies to further improve the public health system.

The Logical Construction of International Its Realization Path——Taking the Marrakesh Treaty as an Example

The Marrakesh Treaty is an excellent subject for China to disseminate its concept of the rule of law around the globe.With the changes of the times,the content and way of international communication regarding the rule of law are changing constantly.In the era of globalization,countries have strengthened rational communication and dialogue mainly by concluding international treaties to convey the concept of the rule of law.For the international communication of the rule of law,it is necessary to take into account three elements:Subject,content,and audience.Targeted strategies are adopted to present the characteristics of diversified subjects,rich content,and stratified audience.The agenda-setting,spiral of silence,and cultivation theories provide positive guidance for international communication.The audience survey and content analysis methods can achieve good effects in spreading the rule of law.It is necessary to integrate multiple subjects,create rich content,carry out targeted strategies to different audience,underscore the evaluation of effects,and train talents to strengthen the international communication of the rule of law.

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

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

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

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

矛盾体分离单元结果演绎方法及应用

一阶逻辑自动定理证明是人工智能领域重要的研究内容。为提高单元结果归结演绎效率,提出了一种新的基于多元、动态、协同的单元结果演绎方法,称为矛盾体分离单元结果演绎方法,并详细地给出了其演绎定义、演绎方法、演绎的优势分析及算法实现;提出的演绎方法允许多个子句同时参与演绎,且允许多个非单元子句参与1次单元结果演绎,能较好地处理长子句;提出的演绎算法能使用策略选定较优的子句和动态设定变元合一的复杂度,并通过回溯机制优化搜索的演绎路径。以近2年国际一阶逻辑自动定理证明器竞赛例(分别为500个)和TPTP问题库中难度系数为1的问题作为测试对象,加入了矛盾体分离单元结果演绎算法的Eprover和原始Eprover相比分别多证明了10个定理,分别能证明Eprover无法证明的17个定理和13个定理,能证明出9个其他所有证明器都无法证明难度系数为1的定理。实验结果表明,提出的矛盾体分离单元结果演绎方法能有效提高一阶逻辑自动定理证明的效率。

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

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