• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1999년도 춘계공동학술대회: 지식경영과 지식공학
• /
• pp.353-359
• /
• 1999

We present a matrix-based inference algorithm 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 matrix 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 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.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 1999년도 춘계공동학술대회-지식경영과 지식공학
• /
• 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.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 1999년도 추계학술대회-지능형 정보기술과 미래조직 Information Technology and Future Organization
• /
• pp.121-130
• /
• 1999

The objective of this paper is to apply Extended AND-OR Graph (EAOG)-related techniques to extract knowledge from a specific problem-domain and perform analysis in complicated decision making area. Expert systems use expertise about a specific domain as their primary source of solving problems belonging to that domain. However, such expertise is complicated as well as uncertain, because most knowledge is expressed in causal relationships between concepts or variables. Therefore, if expert systems can be used effectively to provide more intelligent support for decision making in complicated specific problems, it should be equipped with real-time inference mechanism. We develop two kinds of EAOG-driven inference mechanisms(1) EAOG-based forward chaining and (2) EAOG-based backward chaining. and The EAOG method processes 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 matrix 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 computational efficiency. However, the proposed EAOG inference mechanism is generically bi-directional without loss of both speed and efficiency.

• Asia pacific journal of information systems
• /
• 제11권1호
• /
• pp.1-24
• /
• 2001

This paper is aimed at proposing a new inference mechanism for B-to-B electronic commerce decision-makings, named IMITAO(Integer Matrix-driven Inference based on Transformed And-Or graph) which is based on integer matrix operation to speed up the inference. During the B-to-B electronic commerce, many kinds of negotiations are needed for mutually satisfactory decision-makings. During such negotiations, several factors including subjective and objective constraints should be considered so as to reach satisfactory decisions. In this respect, we suggest first a Transformed AND-OR Graph(TAOG) which each firm's conditions or judgement are incorporated into, and then we propose a high-speedy inference mechanism named IMITAO which basically depends on TAOG. Firms engaged in B-to-B negotiations on the Internet can get an appropriate decision support from using IMITAO for their negotiation simulations. The proposed IMITAO inference mechanism is characterized by its fast inference because its main inference procedures are based on integer matrix operation. A real-world example for B-to-B negotiations was used to prove the validity of our proposed TAOG and IMITAO approach. Experimental results showed that our approach was very useful in performing the B-to-B electronic commerce decision-makings considering a wide variety of either subjective or objective constraints.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
• /
• pp.242-250
• /
• 1999

The objective of this paper is to propose an Extended AND-OR Graph (EAOG)-driven inferential simulation mechanism with which decision makers engaged in electronic commerce (EC) can effectively deal with complicated decision making problem. In the field of traditional expect systems research, AND-OR Graph approach cannot be effectively used in the EC problems in which real-time problem-solving property should be highly required. In this sense, we propose the EAOG inference mechanism for EC problem-solving in which heurisric knowledge necessary for intelligent EC problem-solving can be represented in a form of matrix. The EAOG method possesses the following three characteristics. 1. Realtime inference: The EAOG inference mechanism is suitable for the real-time inference because its computational mechanism is based on matrix 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 based on either 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.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.952-955
• /
• 1996

It is difficult to determine the feeding rate of coagulant in water treatment process, due to nonlinearity, multivariables and slow response characteristics etc. To deal with this difficulty, the fusion of genetic algorithms and fuzzy inference system was used in determining of feeding rate of coagulant. The genetic algorithms are excellently robust in complex operation problems, since it uses randomized operators and searches for the best chromosome without auxiliary information from a population consists of codings of parameter set. To apply this algorithms, we made the look up table and membership function from the actual operation data of water treatment process. We determined optimum dosages of coagulant (PAC, LAS etc.) by the fuzzy operation, and compared it with the feeding rate of the actual operation data.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
• /
• pp.141-142
• /
• 2006

In this paper, DSPOCS(Digital Switchgear Panel Operation and Control Solution) is designed, which is the intelligent inference operation and control solution of substation based on IED. DSPOCS is designed as a scheduled monitoring and control task and a real-time alarm inference task, and is interlinked with BRES in the required case. The intelligent alarm inference task consists of the alarm knowledge generation part and the real-time pattern matching part The alarm knowledge generation part generates automatically alarm knowledge from DB and saves it in alarm KB. On the other hand, the pattern matching part inferences the real-time event by comparing the real-time event information furnished from IEDs of substation with the patterns of the saved alarm knowledge base.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.417-422
• /
• 1998

This paper presents a method of object classification from dynamic image based on fuzzy inference algorithm which is suitable for low speed such as, conveyor, uninhabited transportation. At first, by using feature parameters of moving object, fuzzy if - then rule that can be able to adapt the wide variety of surroundings is developed. Secondly, implication function for fuzzy inference are compared with respect the proposed algorithm. Simulation results are presented to testify the performance and applicability of the proposed system.

• 대한전기학회논문지:전력기술부문A
• /
• 제55권9호
• /
• pp.351-358
• /
• 2006

In this paper, DSPOCS(Digital Switchgear-Panel Operation and Control Solution) is designed, which is the intelligent inference based operation and control solution to obtain the safety and reliability of electric power supply in substation based on IED. DSPOCS is designed as a scheduled monitoring and control task and a real-time alarm inference task, and is interlinked with BRES(Bus Reconfiguration Expert System) in the required case. The intelligent alarm inference task consists of the alarm knowledge generation part and the real-time pattern matching part. The alarm knowledge generation part generates automatically alarm knowledge from DB saves it in alarm knowledge base. On the other hand, the pattern matching part inferences the real-time event by comparing the real-time event information furnished from IEDs of substation with the patterns of the saved alarm knowledge base.; Especially, alarm knowledge base includes the knowledge patterns related with fault alarm, the overload alarm and the diagnosis alarm. In order to design the database independently in substation structure, busbar is represented as a connectivity node which makes the more generalized graph theory possible. Finally, DSPOCS is implemented in MS Visual $C^{++}$, MFC, the effectiveness and accuracy of the design is verified by simulation study to the typical distribution substation.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제34권1호
• /
• pp.17-63
• /
• 1995

The exploration of Mathematics-learningmodel on the basis of Cognitive development The purpose of this paper is to sequenctialize Mathematics-learning contents, and to explore teaching-learning model for mathematics, with on the basis of the theory of cognitive development and the period of condservation formation for children. The Specific topics are as follows: (1) Systemizing those theories of cognitive development which are related to Mathematics - learning for children. (2) Organizing a sequence of Mathematics - learning, on the basis of experimental research for the period of conservation formation for children. (3) Comparing the effects of 4 types of teaching - learning model, on the basis of inference activity and operational learning principle. $\circled1$ Induction-operation(IO) $\circled2$ Induction-explanation(IE) $\circled3$ Deduction-operation(DO) $\circled4$ Deduction-explanation(DE) The results of the subjects are as follows: (1) Cognitive development theory and Mathe-matics education. $\circled1$ Congnitive development can be achieved by constant space and Mathematics know-ledge is obtained by the interaction of experience and reason. $\circled2$ The stages of congnitive development for children form a hierarchical system, its function has a continuity and acts orderly. Therefore we need to apply cognitive development for children to teach mathematics systematically and orderly. (2) Sequence of mathematical concepts. $\circled1$ The learning effect of mathematical concepts occurs when this coincides with the period of conservation formation for children. $\circled2$ Mathematics Curriculum of Elementary Schools in Korea matches with the experimental research about the period of Piaget's conservation formation. (3) Exploration of a teaching-learning model for mathematics. $\circled1$ Mathematics learning is to be centered on learning by experience such as observation, operation, experiment and actual measurement. $\circled2$ Mathematical learning has better results in from inductional inference rather than deductional inference, and from operational inference rather than explanatory inference.