• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.40-41
• /
• 2003

A new method, the Triple I method is proposed for solving the problem of fuzzy reasoning. The Triple I method for solving fuzzy modus ponens is compared with the CRI method i.e., Compositional Rule of Inference and reasonableness of the Triple I method is clarified. Moreover the Triple I method can be generalized to provide a theory of sustentation degrees. Lastly, the Triple I method can be bring into the framework of classic logics.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.719-724
• /
• 1998

This paper presents a systematic developement of a formal approach to inference in approximate reasoning. We introduce some measures of similarity and discuss their properties. Using the concept of similarity index we formulate two methods for inferring from vague knowledge. In order to illustrate the effectiveness of the proposed technique we use it to develop a vowel recognition system.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.1
• /
• pp.143-159
• /
• 1998

This paper proposes a new type of fuzzy approximate reasoning method that combines a self organizing feature map and a fuzzy logic. Previous methods considered only input part to determine the number of fuzzy rules, while this paper considers both input and output parts simultaneously. Our approach proved to improve the inference performance. We also developed a new index for avoiding overlearning which guarantees more accurate results. Experimental results showed that our approach surpasses the performance of Takagi & Hayashi (1991) approach.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.228-231
• /
• 1998

Artificial Intelligence literatures have recognized that stock market is a highly unstructured and complex domain so that it is difficult to find knowledge that belongs to that domain. This paper demonstrates that the proposed QCOM can derive global knowledge about stock market on the basis of a set of local knowledge and express it as a digraph representation. In addition, inference mechanism using quantitative causal reasoning can describe the qualitative and quantitative effects of exogenous variables on stock market.

• Education of Primary School Mathematics
• /
• v.7 no.2
• /
• pp.101-116
• /
• 2003

In recent days, it is stressed that problem solving ability and inference ability to get a higer accomplishment are very important. The purpose of this research is to explore the affective factors related the problem solving ability and reasoning ability. Also, we explored the difference between the two affective factors focusing on 6th graders in primary school.

• Journal of Intelligence and Information Systems
• /
• v.12 no.2
• /
• pp.67-81
• /
• 2006

While the existing Web focuses on the interface with human users based on HTML, the next generation Web will focus on the interaction among software agents by using XML and XML-based standards and technologies. The inference engine, which will serve as brains of software agents in the next generation Web, should thoroughly understand the Semantic Web, the standard language of the next generation Web. As abasis for the service, the W3C (World Wide Web Consortium) has recommended SWRL (Semantic Web Rule Language) which had been made by compounding OWL (Web Ontology Language) and RuleML (Rule Markup Language). In this research, we develop a backward chaining inference engine SMART-B (SeMantic web Agent Reasoning Tools -Backward chaining inference engine), which uses SWRL and OWL to represent rules and facts respectively. We analyze the requirements for the SWRL-based backward chaining inference and design analgorithm for the backward chaining inference which reflects the traditional backward chaining inference algorithm and the requirements of the next generation Semantic Web. We also implement the backward chaining inference engine and the administrative tools for fact and rule bases into Java components to insure the independence and portability among different platforms under the environment of Ubiquitous Computing.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1331-1336
• /
• 2008

This paper suggests a method using Bayesian inference to estimate the parameters of Weibull distribution and acceleration parameters under the condition that the stresses are time-dependent functions. A Bayesian model based on the discrete time approximation is formulated to infer the parameters of interest from the failure data of the virtual tests and a statistical analysis is considered to decide the most probable mean values of the parameters for reasoning of the failure data.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1330-1333
• /
• 1993

In this paper, first, the fuzzy Petri net inference mechanism with learning function is proposed by using the extended fuzzy Petri nets. Secondly, a control system with this new inference engine is proposed. This system can do automatically and easily the knowledge acquisition from the operator's empirical data and can also be controller adaptively under the big parameter change.

• Journal of Internet Computing and Services
• /
• v.4 no.2
• /
• pp.61-67
• /
• 2003

It has recently become known that the social issue of obesity, caused by increased caloric intake and lack of exercise, is a risk factor in the cause of various adult diseases. Above all, to prevent or cure obesity, we must accurately evaluate the degree of obesity, and we have used BML, WHR, and waist measurements for this purpose. In this paper, we propose an obesity evaluation system based on fuzzy inference using BML and waist measurement. For this purpose, we decided reasoning rule and membership function about BML and waist measurements. The inference result is presented in a descriptive sentence.

• Proceedings of the KIEE Conference
• /
• 1989.07a
• /
• pp.241-245
• /
• 1989

A knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. This paper presents an expert system to diagnose the various faults in power system. The developed expert system is represented considering two points; the possibility of solution and the fast processing speed. As uncertainties exist in the facts and rules which comprise the knowledge base of the expert system, Certainty Factor, which is based on the confirmation theory is used for the inexact reasoning. Also, as the diagnosis problem requires the inductive reasoning process in nature, the solution is imperfect and not unique in general. So the expert system is designed to generate all the possible hypothesis in order of the possibility and also it can explain the propagation procedure of the faults for each solution using the built in backtracking mechanism. In realization of the expert system, the processing speed is greatly dependent upon the problem representation, reasoning scheme and search strategy. So, in this paper the fault diagnosis problem itself is analysed from the view point of Artificial Intelligence and as a result, the expert system has the following basic features. 1) The certainty factor is adopted in the inference engine for inexact reasoning. 2) Problem apace is represented using the problem reduction technique. 3) Bidirectional reasoning scheme is used. 4) Best first search strategy is adopted for rapid processing. The expert system was developed us ing PROLOG language.