• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.03a
• /
• pp.353-359
• /
• 1999

We present a matrix-based inference alorithm suitable for electronic commerce applications. For this purpose, an Extended AND-OR Graph (EAOG) was developed with the intention that fast inference process is enabled within the electronic commerce situations. The proposed EAOG inference mechanism has the following three characteristics. 1. Real-time inference: The EAOG inference mechanism is suitable for the real-time inference because its computational mechanism is based on matric computation.2. Matrix operation: All the subjective knowledge is delineated in a matrix form, so that inference process can proceed based on the matrix operation which is computationally efficient.3. Bi-directional inference: Traditional inference method of expert systems is based on either forward chaining or backward chaining which is mutually exclusive in terms of logical process and exclusive in terms of logical process and computational efficiency. However, the proposed EAOG inference mechanism is generically bi-directional without loss of both speed and efficiency. We have proved the validity of our approach with several propositions and an illustrative EC example.

• Proceedings of the KIEE Conference
• /
• 2001.07b
• /
• pp.699-701
• /
• 2001

The expert system monitoring and diagnosing 765kV power apparatus was described in this paper. To develop this expert system, we studied the knowledge bases and data bases for 765kV transformer and GIS. In order to make the reliable inference of knowledge base and the good MMI(Man Machine Interface), the data bases were consisted of the tables of power apparatus information, limit level value, measured input data, inference result and diagnosis result. The knowledge base had various rules to infer the conditions of transformer and GIS. We applied both the forward chaining and backward chaining methods to these rules of system for good inferences. This paper describes the applied methods for expert system. Also, this developed system was tested with dissolved gas analyzing result and the result was shown.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.39 no.1
• /
• pp.16-21
• /
• 1990

A Knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. Expert system has the potential to solve a wide range of problems which require knowledge about the problem rather than a purely analytical approach. This papaer presents the application of knowledge based expert system to power system fault diagnosis. The contents of expert system develpped in this paper is judgement of fault section from a given alarm sets and production of all possible hypothesis for the single fault. Both relay failures and circuit breaker failures are considered simultaneously. Although many types of relay are used in actual system, experts recognize ones as several typical signals corresponding to the fault types. Therefore relays are classified into several types. The expert system is written in an artificial intelligence language "PROLOG" . Best-first search method is used for problem solving. Both forward chaining and backward chaining schemes are used in reasoning process. The application to a part of actual power system proves the availability of the developed expert system.

• Journal of the Korean Society of Safety
• /
• v.11 no.3
• /
• pp.143-153
• /
• 1996

Shutdown of boiler plants is a dynamic, complicated, and hazardous operation. Operational error is a major contributor to danserous situations during boiler plant shutdowns. It is important to develop an automatic system which synthesizes operating procedures to safely go from normal operation to complete shutdown. Knowledge representation for automatic shutdown of boiler plants makes use of the hierarchical, rule-based framework for heuristic knowledge, the semantic network, frame for process topology, and AI techniques such as rule matching, forward chaining, backward chaining, and searching. This knowledge representation and modeling account for the operational states, primitive operation devices, effects of their application, and planning methodology. Also, this is designed to automatically formulate subgoals, search for positive operation devices, formulate constraints, and synthesize shutdown procedures in boiler plants.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09b
• /
• pp.49-52
• /
• 2003

In this research, we propose a mechanism to develop an inference engine and expert systems based on relational database and SQL (structured query language). Generally, former researchers had tried to develop an expert systems based on text-oriented knowledge base and backward/forward (chaining) inference engine. In these researches, however, the speed of inference was remained as a tackling point in the development of agile expert systems. Especially, the forward inference needs more times than backward inference. In addition, the size of knowledge base, complicate knowledge expression method, expansibility of knowledge base, and hierarchies among rules are the critical limitations to develop an expert systems. To overcome the limitations in speed of inference and expansibility of knowledge base, we proposed a relational database-oriented knowledge base and forward inference engine. Therefore, our proposed mechanism could manipulate the huge size of knowledge base efficiently, and inference with the large scaled knowledge base in a short time. To this purpose, we designed and developed an SQL-based forward inference engine using relational database. In the implementation process, we also developed a prototype expert system and presented a real-world validation data set collected from medical diagnosis field.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.6
• /
• pp.743-748
• /
• 2003

In this research, we propose a mechanism to develop an inference engine and expert systems based on relational database (RDB) and SQL (structured query language). Generally, former researchers had tried to develop an expert systems based on text-oriented knowledge base and backward/forward (chaining) inference engine. In these researches, however, the speed of inference was remained as a tackling point in the development of agile expert systems. Especially, the forward inference needs more times than backward inference. In addition, the size of knowledge base, complicate knowledge expression method, expansibility of knowledge base, and hierarchies among rules are the critical limitations to develop an expert system. To overcome the limitations in speed of inference and expansibility of knowledge base, we proposed a relational database-oriented knowledge base and forward inference engine. Therefore, our proposed mechanism could manipulate the huge size of knowledge base efficiently. and inference with the large scaled knowledge base in a short time. To this purpose, we designed and developed an SQL-based forward inference engine using relational database. In the implementation process, we also developed a prototype expert system and presented a real-world validation data set collected from medical diagnosis field.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.290-295
• /
• 1989

This paper proposes a Expert CAPP System for integrating CAD/CAM of rotational work-part by rule based approach. The CAD/CAPP integration is performed by the recognition of machined features from the 2-D CAD data (IGES) file. Selecting functions of the process planning are performed in modularized rule base by forward chaining inference, and operation sequences are determined by means of heuristic search algorithm. For CAPP/CAM integration, post-processor generates NC code from route sheet file. This system coded in OPS5 and C language on PC/AT, and EMCO CNC lathe interfaced with PC through DNC and RS-232C.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1989.10a
• /
• pp.7-14
• /
• 1989

This paper presents an expert system approach to solve preliminary bridge design problems. The system employs a forward chaining inference strategy to 1) choose the appropriate superstructure types and construction methods and 2) use the solutions chosen in 1) to determine a list of ranked alternatives. The basic information used in the selection is collected from various sources. Due to the uncertainties presented in the information collected, Fuzzy sets are used to handle these uncertainties in the system. Finally to approve this system some applications are made to select superstructure types and construction methods of them.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.12
• /
• pp.3010-3022
• /
• 1997

Expert system is one of AI area which was came out at the end of 19705s. It simulates the human's way of thinking to give solutions of Problem in many applications. Most expert system consists of many components such as inference engine, knowledge base, and so on. Especially the performance of expert system depends on the control of enfficiency of inference engine. Inference engine has to get features; tirst, if possible to minimize restrictions when the knowledge base is constructed second, it has to serve various kinds of inferencing methods. In this paper, we design and implement the inference engine which is able to support the general functions to knowledge domain and inferencing method. For the purpose, forward chaining, backward chaining, and direct chaining was employed as an inferencing method in order to be able to be used by user request selectively. Also we not on1y selected production system which makes one ease staradization and modulation to obtain knowledges in target domain, but also constructed knowledge base by means of Extended Clause Bit Metrics (ECBM). Finally, the performance evaluation of inference engine between Rete pattern matching and ECBM has been done.

• Journal of KIISE:Databases
• /
• v.37 no.4
• /
• pp.197-202
• /
• 2010

Recent studies on change detection for RDF data are focused on not only the structural difference but also the semantic-aware difference by computing the closure of RDF models. However, since these techniques which take into account the semantics of RDF model require both RDF models to be memory resident, or they use a forward-chaining strategy which computes the entire closure in advance, it is not efficient to apply them directly to detect changes in large RDF data. In this paper, we propose a scalable change detection technique for RDF data, which uses a backward-chaining inference based on relational database. Proposed method uses a new approach for RDF reasoning that computes only the relevant part of the closure for change detection in a relational database. We show that our method clearly outperforms the previous works through experiment using the real RDF from the bioinformatics domain.