This paper compared the difference between the traditional Petri nets and reasoning Petri nets(RPN),and presented a fuzzy reasoning Petri net(FRPN) model to represent the fuzzy production rules of a rule based system....This paper compared the difference between the traditional Petri nets and reasoning Petri nets(RPN),and presented a fuzzy reasoning Petri net(FRPN) model to represent the fuzzy production rules of a rule based system.Based on the FRPN model,a formal reasoning algorithm using the operators in max algebra was proposed to perform fuzzy reasoning automatically.The algorithm is consistent with the matrix equation expression method in the traditional Petri net.Its legitimacy and feasibility were testified through an example.展开更多
Algorithm of fuzzy reasoning has been successful applied in fuzzy control,but its theoretical foundation of algorithms has not been thoroughly investigated. In this paper,structure of basic algorithms of fuzzy reasoni...Algorithm of fuzzy reasoning has been successful applied in fuzzy control,but its theoretical foundation of algorithms has not been thoroughly investigated. In this paper,structure of basic algorithms of fuzzy reasoning was studied, its rationality was discussed from the viewpoint of logic and mathematics, and three theorems were proved. These theorems shows that there always exists a mathe-~matical relation (that is, a bounded real function) between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function. Thus these results show that algorithms of fuzzy reasoning are theoretically reliable.展开更多
Based on a presented inference algorithm of fuzzy reasoning, a fuzzy reasoning system is made up. A method of modeling the fuzzy reasoning system, and the setting up of the reasoning knowledge based and reasoning rule...Based on a presented inference algorithm of fuzzy reasoning, a fuzzy reasoning system is made up. A method of modeling the fuzzy reasoning system, and the setting up of the reasoning knowledge based and reasoning rules are studied in this paper. Then a heuristic inference algorithm is presented according to the system.展开更多
The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reas...The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reasoning algorithm is given. This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques： recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete.展开更多
With the rapid development of the semantic web and the ever-growing size of uncertain data,representing and reasoning uncertain information has become a great challenge for the semantic web application developers.In t...With the rapid development of the semantic web and the ever-growing size of uncertain data,representing and reasoning uncertain information has become a great challenge for the semantic web application developers.In this paper,we present a novel reasoning framework based on the representation of fuzzy PR-OWL.Firstly,the paper gives an overview of the previous research work on uncertainty knowledge representation and reasoning,incorporates Ontology into the fuzzy Multi Entity Bayesian Networks theory,and introduces fuzzy PR-OWL,an Ontology language based on OWL2.Fuzzy PROWL describes fuzzy semantics and uncertain relations and gives grammatical definition and semantic interpretation.Secondly,the paper explains the integration of the Fuzzy Probability theory and the Belief Propagation algorithm.The influencing factors of fuzzy rules are added to the belief that is propagated between the nodes to create a reasoning framework based on fuzzy PR-OWL.After that,the reasoning process,including the SSFBN structure algorithm,data fuzzification,reasoning of fuzzy rules,and fuzzy belief propagation,is scheduled.Finally,compared with the classical algorithm from the aspect of accuracy and time complexity,our uncertain data representation and reasoning method has higher accuracy without significantly increasing time complexity,which proves the feasibility and validity of our solution to represent and reason uncertain information.展开更多
By the similarity between the syllogism in logic and a path proposition in graph theory,a new concept,fuzzy reasoning graph G has been given in this paper. Transitive closure has been studied and used to do reasoning ...By the similarity between the syllogism in logic and a path proposition in graph theory,a new concept,fuzzy reasoning graph G has been given in this paper. Transitive closure has been studied and used to do reasoning related to self-loop in G,and an algorithm has been designed to cope with reasoning in other cycles in G. Both approaches are applicable and efficient.展开更多
鱼病诊断过程中存在大量的Fuzzy性问题,通过对三I算法的分析,提出一个基于RM蕴涵算子的三I算法,并就FMP(fuzzy modus pronens)问题,运用该算法,研究基于多维,多重以及多维多重规则时的解。该算法在研究鱼病诊断系统的过程中结合鱼病专...鱼病诊断过程中存在大量的Fuzzy性问题,通过对三I算法的分析,提出一个基于RM蕴涵算子的三I算法,并就FMP(fuzzy modus pronens)问题,运用该算法,研究基于多维,多重以及多维多重规则时的解。该算法在研究鱼病诊断系统的过程中结合鱼病专家知识库,提取出鱼病诊断规则,抽象出鱼病诊断Fuzzy推理的一般性模型,并给出了基于该模型的算法,在该算法中,应用的Fuzzy推理是基于RM算子的三I算法。展开更多
In this paper, a wavelet-based fuzzy neural network with its structure and a learningalgorithm is proposed and the simulation results are given to prove its feasibility.
In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzz...In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzzy logical Petri net is given. It is simpler than the conventional algorithm of forward reasoning from initial propositions. An application to the partial fault model of a car engine in paper Portinale's(1993) is used as an illustrative example of FLPN.展开更多
This paper analyzes the optimization problem of mutation probability in genetic algorithms by applying the definition of i-bit improved sub-space. Then fuzzy reasoning technique is adopted to determine the optimal mut...This paper analyzes the optimization problem of mutation probability in genetic algorithms by applying the definition of i-bit improved sub-space. Then fuzzy reasoning technique is adopted to determine the optimal mutation probability in different conditions. The superior convergence property of the new method is evaluated by applying it to two simulation examples.展开更多
文摘This paper compared the difference between the traditional Petri nets and reasoning Petri nets(RPN),and presented a fuzzy reasoning Petri net(FRPN) model to represent the fuzzy production rules of a rule based system.Based on the FRPN model,a formal reasoning algorithm using the operators in max algebra was proposed to perform fuzzy reasoning automatically.The algorithm is consistent with the matrix equation expression method in the traditional Petri net.Its legitimacy and feasibility were testified through an example.
文摘Algorithm of fuzzy reasoning has been successful applied in fuzzy control,but its theoretical foundation of algorithms has not been thoroughly investigated. In this paper,structure of basic algorithms of fuzzy reasoning was studied, its rationality was discussed from the viewpoint of logic and mathematics, and three theorems were proved. These theorems shows that there always exists a mathe-~matical relation (that is, a bounded real function) between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function. Thus these results show that algorithms of fuzzy reasoning are theoretically reliable.
文摘Based on a presented inference algorithm of fuzzy reasoning, a fuzzy reasoning system is made up. A method of modeling the fuzzy reasoning system, and the setting up of the reasoning knowledge based and reasoning rules are studied in this paper. Then a heuristic inference algorithm is presented according to the system.
基金The National Natural Science Foundation of China(No60403016),the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reasoning algorithm is given. This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques： recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete.
基金The authors are grateful to the editors and reviewers for their suggestions and comments.This work was supported by National Key Research and Development Project(2018YFC0824400)National Social Science Foundation project(17BXW065)+1 种基金Science and Technology Research project of Henan(1521023110285)Higher Education Teaching Reform Research and Practice Projects of Henan(32180189).
文摘With the rapid development of the semantic web and the ever-growing size of uncertain data,representing and reasoning uncertain information has become a great challenge for the semantic web application developers.In this paper,we present a novel reasoning framework based on the representation of fuzzy PR-OWL.Firstly,the paper gives an overview of the previous research work on uncertainty knowledge representation and reasoning,incorporates Ontology into the fuzzy Multi Entity Bayesian Networks theory,and introduces fuzzy PR-OWL,an Ontology language based on OWL2.Fuzzy PROWL describes fuzzy semantics and uncertain relations and gives grammatical definition and semantic interpretation.Secondly,the paper explains the integration of the Fuzzy Probability theory and the Belief Propagation algorithm.The influencing factors of fuzzy rules are added to the belief that is propagated between the nodes to create a reasoning framework based on fuzzy PR-OWL.After that,the reasoning process,including the SSFBN structure algorithm,data fuzzification,reasoning of fuzzy rules,and fuzzy belief propagation,is scheduled.Finally,compared with the classical algorithm from the aspect of accuracy and time complexity,our uncertain data representation and reasoning method has higher accuracy without significantly increasing time complexity,which proves the feasibility and validity of our solution to represent and reason uncertain information.
文摘By the similarity between the syllogism in logic and a path proposition in graph theory,a new concept,fuzzy reasoning graph G has been given in this paper. Transitive closure has been studied and used to do reasoning related to self-loop in G,and an algorithm has been designed to cope with reasoning in other cycles in G. Both approaches are applicable and efficient.
文摘鱼病诊断过程中存在大量的Fuzzy性问题,通过对三I算法的分析,提出一个基于RM蕴涵算子的三I算法,并就FMP(fuzzy modus pronens)问题,运用该算法,研究基于多维,多重以及多维多重规则时的解。该算法在研究鱼病诊断系统的过程中结合鱼病专家知识库,提取出鱼病诊断规则,抽象出鱼病诊断Fuzzy推理的一般性模型,并给出了基于该模型的算法,在该算法中,应用的Fuzzy推理是基于RM算子的三I算法。
文摘In this paper, a wavelet-based fuzzy neural network with its structure and a learningalgorithm is proposed and the simulation results are given to prove its feasibility.
基金Supported by the National Natural Science Foundation of China, Excellent Ph.D Paper Author Foundation of China, Dawn Plan Foundation of Shanghai and Excellent Young Scientist Foundation of Shandong Province
文摘In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzzy logical Petri net is given. It is simpler than the conventional algorithm of forward reasoning from initial propositions. An application to the partial fault model of a car engine in paper Portinale's(1993) is used as an illustrative example of FLPN.
基金Supported by the Climbing PrOgram-National Key Project for Fundamental Research in China, Grant NSC92097
文摘This paper analyzes the optimization problem of mutation probability in genetic algorithms by applying the definition of i-bit improved sub-space. Then fuzzy reasoning technique is adopted to determine the optimal mutation probability in different conditions. The superior convergence property of the new method is evaluated by applying it to two simulation examples.
