Based on the knowledge representation and knowledge reasoning, this paper addresses the creation of the multi-attribute knowledge base on the basis of hybrid knowledge representation, with the help of object-oriented ...Based on the knowledge representation and knowledge reasoning, this paper addresses the creation of the multi-attribute knowledge base on the basis of hybrid knowledge representation, with the help of object-oriented programming language and relational database. Compared with general knowledge base, multi-attribute knowledge base can enhance the ability of knowledge processing and application; integrate the heterogeneous knowledge, such as model, symbol, case-based sample knowledge; and support the whole decision process by integrated reasoning.展开更多
The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowle...The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowledge base and inference engine were proposed while the realization technique of the C language was discussed. An intelligent decision support system (IDSS) model based on such knowledge representation and inference mechanism was developed by domain engineers. The model was verified to have a small kernel and powerful capability in list processing and data driving, which was successfully used in the design of a cooling/heating sources system for a large-sized office building.展开更多
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 intro...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.展开更多
Parallel Knowledge Base Machine PKBM95 is a kind of special computer which is designed to improve the inference capability of production systems. Its hardware architecture is a multiprocessor, consisting of one microc...Parallel Knowledge Base Machine PKBM95 is a kind of special computer which is designed to improve the inference capability of production systems. Its hardware architecture is a multiprocessor, consisting of one microcomputer and four TRANSPUTERs. We will focus our discussion on the concentration-scattered inference model and the twice-conflict resolution strategy presented in the this paper, as well as the architecture and operating language of PKBM95. According to experiments, they are effective in improving the inference capability of the system.展开更多
This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complet...This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complete procedure and an incomplete procedure for generating the maximal consistent subsets are presented, and the correctness of the procedures is also shown. Furthermore, a way to implement knowledge base revision is presented, and a prototype system is introduced. Compared with related works, the main characteristic of our approach is that the approach can be implemented by a computer program.展开更多
The recent growth of communication and sensor technology results in the enlargement of a new attractive and challenging area-wireless sensor networks (WSNs). A network comprising of several minute wireless sensor node...The recent growth of communication and sensor technology results in the enlargement of a new attractive and challenging area-wireless sensor networks (WSNs). A network comprising of several minute wireless sensor nodes which are organized in a dense manner is called as a Wireless Sensor Network (WSN). Every node estimates the state of its surroundings in this network. The estimated results are then converted into the signal form in order to determine the features related to this technique after the processing of the signals. It’s high computational environment with limited and controlled broadcast range, processing, as well as limited energy. The embedded soft computing approach in wireless sensor networks is suggested. This approach means a grouping of embedded fuzzy logic and neural networks models for information processing in complex environment with unsure, rough, fuzzy measuring data. It is generalization of soft computing concept for the embedded, distributed, adaptive systems.展开更多
This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs). LKO combines logic programming and object-oriented progra...This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs). LKO combines logic programming and object-oriented programming paradigms, where objects are viewed as abstractions with states,constraints, behaviors and inheritance. The operational semantics defined in the style of natural semantics is simple and clear. A hybrid knowledge represen-tation amalgamating rule, frame, semantic network and blackboard is available for both most structured and flat knowledge. The management of knowledge bases has been formally specified. Accordingly, LKO is well suited for the formal representation of knowledge and requirements of KBSs. Based on the framework, verification techniques are also explored to enhance the analysis of requirement specifications and the validation of KBSs. In addition, LKO pro-vides a methodology for the development of KBSs, applying the concepts of rapid prototyping and top-down design to deal with changing and incomplete requirements, and to provide multiple abstract models of the domain, where formal methods might be used at each abstract level.展开更多
This paper proposes an approach for functional knowledge representation based on problem reduction,which represents the organization of problem-solving activities in two levels:reduction and reasoning.The former makes...This paper proposes an approach for functional knowledge representation based on problem reduction,which represents the organization of problem-solving activities in two levels:reduction and reasoning.The former makes the functional plans for problem-solving while the latter constructs functional units, called handlers,for executing subproblems designated by these plans.This approach emphasizes that the representation of domain knowledge should be closely combined with(rather than separated from)its use therefore provides a set of reasoning-level primitives to construct handlers and formulate the control strate- gies for executing them.As reduction-level primitives,handlers are used to construct handler-associative networks,which become the executable representation of problem-reduction graphs,in order to realize the problem-solving methods suited to domain features.Besides,handlers and their control slots can be used to focus the attention of knowledge acquisition and reasoning control.展开更多
Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP...Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.展开更多
This paper outlines the necessity of the knowledge representation for the geometrical shapes （KRGS）. We advocate that KRGS for being powerful must contain at least three major components, namely （1） fu...This paper outlines the necessity of the knowledge representation for the geometrical shapes （KRGS）. We advocate that KRGS for being powerful must contain at least three major components, namely （1） fuzzy logic scheme; （2） the machine learning technique; and （3） an integrated algebraic and logical reasoning. After arguing the need for using fuzzy expressions in spatial reasoning, then inducing the spatial graph generalized and maximal common part of the expressions is discussed. Finally, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a fuzzy spatial expression is conducted by both logical and algebraic reasoning.展开更多
This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its importan...This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.展开更多
Enterprise diagnosis is a complex process in which various enterprise knowledge are involved. It is proved that hybrid inference mechanism is an effective solution to deal with such problems. Aimed at the issue that c...Enterprise diagnosis is a complex process in which various enterprise knowledge are involved. It is proved that hybrid inference mechanism is an effective solution to deal with such problems. Aimed at the issue that current representation of diagnosis knowledge depends excessively on the inference mechanism, the strategy that separates the enterprise model knowledge and the inference knowledge is adopted in this paper. By systematically analyzing the diagnosis knowledge of enterprise model, a general representation of diagnosis model knowledge is put forward based upon XML schema and its validity and feasibility is tested through a practical application.展开更多
Development and application of a prototype KBE system is presented, details of the development tools and platforms, system flow chart, hybrid knowledge representation, and integrated system framework are illustrated. ...Development and application of a prototype KBE system is presented, details of the development tools and platforms, system flow chart, hybrid knowledge representation, and integrated system framework are illustrated. All design tasks of a missile seeker are integrated into a single computer-aided environment with a clear guidance to design processes from the user interface.展开更多
Paleobiogeography investigates geographical distributions of fossil organisms and controlling factors that affect their distributions in geological history,to reveal the macro-evolution and coordinated development of ...Paleobiogeography investigates geographical distributions of fossil organisms and controlling factors that affect their distributions in geological history,to reveal the macro-evolution and coordinated development of life and the environment.It is a crucial window for understanding the biosphere and the geographical environment.After two centuries of development,paleobiogeographic studies have led to the accumulation of significant amounts of knowledge and data;however,the voluminous outputs present the characteristics of an“isolated island”with a scattered,limited number of authoritative definitions of terminologies and semantic heterogeneity among them.This makes data queries cumbersome,the rate of data reuse low,and data sharing more difficult.A knowledge graph(KG)has the advantage of expressing concepts and their semantic relations,which is an important tool for achieving data organization and fusion,and data mining;further,it is also a key technology for realizing the unrestricted sharing of paleobiogeographic information.Through our efforts over the past two years,a paleobiogeographic KG was developed based on the established construction procedure of the KG,which contains 273 concepts,172 properties,and 47 rules.Meanwhile,the completion of this KG and the construction of a paleobiogeographic platform for display and analysis are now being carried out.展开更多
This paper presented a new graph theoretic construct——fuzzy metagraphs and discussed their applications in constructing fuzzy knowledge base. Fuzzy metagraphs describe the relationships between sets of fuzzy element...This paper presented a new graph theoretic construct——fuzzy metagraphs and discussed their applications in constructing fuzzy knowledge base. Fuzzy metagraphs describe the relationships between sets of fuzzy elements but not single fuzzy element and offer some distinct advantages both for visualization of systems, as well as for formal analysis of system structure. In rule based system, a fuzzy metagraph is a unity of the knowledge base and the reasoning engine. Based on the closure of the adjacency matrix of fuzzy metagraphs, this paper presented an optimized inferential mechanism working mainly by an off line approach. It can greatly increase the efficiency of inference. Finally, it was applied in a daignostic expert system and satisfactory results were obtained.展开更多
The computer swine disease diagnosis is an important tool for swine farming industry, but the traditional expert system cannot meet the requirement of practical application. To improve the situation, a swine disease o...The computer swine disease diagnosis is an important tool for swine farming industry, but the traditional expert system cannot meet the requirement of practical application. To improve the situation, a swine disease ontology is constructed, which can model the knowledge of swine disease diagnosis into a concept system, and a mechanism that can save the ontology into relational database is established, further more a computer system is developed to implement ontology- based swine disease diagnosis, so make the diagnosis results extended and more precise.展开更多
Knowledge-based modeling is a trend in complex system modeling technology. To extract the process knowledge from an information system, an approach of knowledge modeling based on interval-valued fuzzy rough set is pre...Knowledge-based modeling is a trend in complex system modeling technology. To extract the process knowledge from an information system, an approach of knowledge modeling based on interval-valued fuzzy rough set is presented in this paper, in which attribute reduction is a key to obtain the simplified knowledge model. Through defining dependency and inclusion functions, algorithms for attribute reduction and rule extraction are obtained. The approximation inference plays an important role in the development of the fuzzy system. To improve the inference mechanism, we provide a method of similaritybased inference in an interval-valued fuzzy environment. Combining the conventional compositional rule of inference with similarity based approximate reasoning, an inference result is deduced via rule translation, similarity matching, relation modification, and projection operation. This approach is applied to the problem of predicting welding distortion in marine structures, and the experimental results validate the effectiveness of the proposed methods of knowledge modeling and similarity-based inference.展开更多
基金Supported by National Natural Science Foundation of China(No.70271002)
文摘Based on the knowledge representation and knowledge reasoning, this paper addresses the creation of the multi-attribute knowledge base on the basis of hybrid knowledge representation, with the help of object-oriented programming language and relational database. Compared with general knowledge base, multi-attribute knowledge base can enhance the ability of knowledge processing and application; integrate the heterogeneous knowledge, such as model, symbol, case-based sample knowledge; and support the whole decision process by integrated reasoning.
文摘The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowledge base and inference engine were proposed while the realization technique of the C language was discussed. An intelligent decision support system (IDSS) model based on such knowledge representation and inference mechanism was developed by domain engineers. The model was verified to have a small kernel and powerful capability in list processing and data driving, which was successfully used in the design of a cooling/heating sources system for a large-sized office building.
基金National College Students’Training Programs of Innovation and Entrepreneurship,Grant/Award Number:S202210022060the CACMS Innovation Fund,Grant/Award Number:CI2021A00512the National Nature Science Foundation of China under Grant,Grant/Award Number:62206021。
文摘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.
文摘Parallel Knowledge Base Machine PKBM95 is a kind of special computer which is designed to improve the inference capability of production systems. Its hardware architecture is a multiprocessor, consisting of one microcomputer and four TRANSPUTERs. We will focus our discussion on the concentration-scattered inference model and the twice-conflict resolution strategy presented in the this paper, as well as the architecture and operating language of PKBM95. According to experiments, they are effective in improving the inference capability of the system.
基金This work was supposed by the National Fundamental Research 973 Program of China(Grand No．2002CB312103)； the National Natural Science Foundation of China(Grant Nos．60033020，70371052)．
文摘This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complete procedure and an incomplete procedure for generating the maximal consistent subsets are presented, and the correctness of the procedures is also shown. Furthermore, a way to implement knowledge base revision is presented, and a prototype system is introduced. Compared with related works, the main characteristic of our approach is that the approach can be implemented by a computer program.
文摘The recent growth of communication and sensor technology results in the enlargement of a new attractive and challenging area-wireless sensor networks (WSNs). A network comprising of several minute wireless sensor nodes which are organized in a dense manner is called as a Wireless Sensor Network (WSN). Every node estimates the state of its surroundings in this network. The estimated results are then converted into the signal form in order to determine the features related to this technique after the processing of the signals. It’s high computational environment with limited and controlled broadcast range, processing, as well as limited energy. The embedded soft computing approach in wireless sensor networks is suggested. This approach means a grouping of embedded fuzzy logic and neural networks models for information processing in complex environment with unsure, rough, fuzzy measuring data. It is generalization of soft computing concept for the embedded, distributed, adaptive systems.
文摘This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs). LKO combines logic programming and object-oriented programming paradigms, where objects are viewed as abstractions with states,constraints, behaviors and inheritance. The operational semantics defined in the style of natural semantics is simple and clear. A hybrid knowledge represen-tation amalgamating rule, frame, semantic network and blackboard is available for both most structured and flat knowledge. The management of knowledge bases has been formally specified. Accordingly, LKO is well suited for the formal representation of knowledge and requirements of KBSs. Based on the framework, verification techniques are also explored to enhance the analysis of requirement specifications and the validation of KBSs. In addition, LKO pro-vides a methodology for the development of KBSs, applying the concepts of rapid prototyping and top-down design to deal with changing and incomplete requirements, and to provide multiple abstract models of the domain, where formal methods might be used at each abstract level.
基金This research was supported by National High-tech Program(863 Program)of P.R.China.
文摘This paper proposes an approach for functional knowledge representation based on problem reduction,which represents the organization of problem-solving activities in two levels:reduction and reasoning.The former makes the functional plans for problem-solving while the latter constructs functional units, called handlers,for executing subproblems designated by these plans.This approach emphasizes that the representation of domain knowledge should be closely combined with(rather than separated from)its use therefore provides a set of reasoning-level primitives to construct handlers and formulate the control strate- gies for executing them.As reduction-level primitives,handlers are used to construct handler-associative networks,which become the executable representation of problem-reduction graphs,in order to realize the problem-solving methods suited to domain features.Besides,handlers and their control slots can be used to focus the attention of knowledge acquisition and reasoning control.
文摘Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.
文摘This paper outlines the necessity of the knowledge representation for the geometrical shapes （KRGS）. We advocate that KRGS for being powerful must contain at least three major components, namely （1） fuzzy logic scheme; （2） the machine learning technique; and （3） an integrated algebraic and logical reasoning. After arguing the need for using fuzzy expressions in spatial reasoning, then inducing the spatial graph generalized and maximal common part of the expressions is discussed. Finally, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a fuzzy spatial expression is conducted by both logical and algebraic reasoning.
文摘This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.
文摘Enterprise diagnosis is a complex process in which various enterprise knowledge are involved. It is proved that hybrid inference mechanism is an effective solution to deal with such problems. Aimed at the issue that current representation of diagnosis knowledge depends excessively on the inference mechanism, the strategy that separates the enterprise model knowledge and the inference knowledge is adopted in this paper. By systematically analyzing the diagnosis knowledge of enterprise model, a general representation of diagnosis model knowledge is put forward based upon XML schema and its validity and feasibility is tested through a practical application.
基金Supported by the National High-Tech. R&D Program (863 program) for CIMS(2003AA411350)
文摘Development and application of a prototype KBE system is presented, details of the development tools and platforms, system flow chart, hybrid knowledge representation, and integrated system framework are illustrated. All design tasks of a missile seeker are integrated into a single computer-aided environment with a clear guidance to design processes from the user interface.
基金supported by the National Natural Science Foundation of China(Nos.42172174,41802017,42250104)the National Key R&D Program of China(No.2018YFE0204201)the Fundamental Research Funds for the Central Universities(No.0206-14380168)。
文摘Paleobiogeography investigates geographical distributions of fossil organisms and controlling factors that affect their distributions in geological history,to reveal the macro-evolution and coordinated development of life and the environment.It is a crucial window for understanding the biosphere and the geographical environment.After two centuries of development,paleobiogeographic studies have led to the accumulation of significant amounts of knowledge and data;however,the voluminous outputs present the characteristics of an“isolated island”with a scattered,limited number of authoritative definitions of terminologies and semantic heterogeneity among them.This makes data queries cumbersome,the rate of data reuse low,and data sharing more difficult.A knowledge graph(KG)has the advantage of expressing concepts and their semantic relations,which is an important tool for achieving data organization and fusion,and data mining;further,it is also a key technology for realizing the unrestricted sharing of paleobiogeographic information.Through our efforts over the past two years,a paleobiogeographic KG was developed based on the established construction procedure of the KG,which contains 273 concepts,172 properties,and 47 rules.Meanwhile,the completion of this KG and the construction of a paleobiogeographic platform for display and analysis are now being carried out.
文摘This paper presented a new graph theoretic construct——fuzzy metagraphs and discussed their applications in constructing fuzzy knowledge base. Fuzzy metagraphs describe the relationships between sets of fuzzy elements but not single fuzzy element and offer some distinct advantages both for visualization of systems, as well as for formal analysis of system structure. In rule based system, a fuzzy metagraph is a unity of the knowledge base and the reasoning engine. Based on the closure of the adjacency matrix of fuzzy metagraphs, this paper presented an optimized inferential mechanism working mainly by an off line approach. It can greatly increase the efficiency of inference. Finally, it was applied in a daignostic expert system and satisfactory results were obtained.
基金supported by the Special Project,Ministry of Agriculture,China (2012-J-01)
文摘The computer swine disease diagnosis is an important tool for swine farming industry, but the traditional expert system cannot meet the requirement of practical application. To improve the situation, a swine disease ontology is constructed, which can model the knowledge of swine disease diagnosis into a concept system, and a mechanism that can save the ontology into relational database is established, further more a computer system is developed to implement ontology- based swine disease diagnosis, so make the diagnosis results extended and more precise.
基金supported by 2013 Comprehensive Reform Pilot of Marine Engineering Specialty(No.ZG0434)
文摘Knowledge-based modeling is a trend in complex system modeling technology. To extract the process knowledge from an information system, an approach of knowledge modeling based on interval-valued fuzzy rough set is presented in this paper, in which attribute reduction is a key to obtain the simplified knowledge model. Through defining dependency and inclusion functions, algorithms for attribute reduction and rule extraction are obtained. The approximation inference plays an important role in the development of the fuzzy system. To improve the inference mechanism, we provide a method of similaritybased inference in an interval-valued fuzzy environment. Combining the conventional compositional rule of inference with similarity based approximate reasoning, an inference result is deduced via rule translation, similarity matching, relation modification, and projection operation. This approach is applied to the problem of predicting welding distortion in marine structures, and the experimental results validate the effectiveness of the proposed methods of knowledge modeling and similarity-based inference.
