• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.1
• /
• pp.57-65
• /
• 2016

Threat evaluation is a process to estimate the threat score which enemy aerial threat poses to defended assets. The objective of threat evaluation is concerned with making an engagement priority list for optimal weapon allocation. Traditionally, the threat evaluation of massive air threats has been carried out by air defence experts, but the human decision making is less effective in real aerial attack situations with massive enemy fighters. Therefore, automation to enhance the speed and efficiency of the human operation is required. The automatic threat evaluation by air defense experts who will perform multi-variable judgment needs formal models to accurately quantify their linguistic evaluation of threat level. In this paper we propose a threat evaluation model by using a fuzzy rule-based inference method. Fuzzy inference is an appropriate method for quantifying threat level and integrating various threat attribute information. The performance of the model has been tested with a simulation that reflected real air threat situation and it has been verified that the proposed model was better than two conventional threat evaluation models.

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.105-121
• /
• 2011

The late professor Young-Jung Kim advanced a view that Existential Specification Rule (ES Rule) can be understood as a kind of polylemma. In arguing for this view, he also claimed that all propositions containing free variables are universal propositions. In this paper, I argue that his view on free variables incur numerous problems. Moreover, I introduce a new rule of inference called 'Universalized Conditionalization Rule' (UC Rule), so that I can show that his insight about ES Rule can be substantialized without an appeal to his problematic view on free variables. Finally, I show that ES Rule can be directly derived from UC Rule.

• KIPS Transactions on Software and Data Engineering
• /
• v.1 no.1
• /
• pp.19-30
• /
• 2012

The context aware service is the service to provide useful information to the users by recognizing surroundings around people who receive the service via computer based on computing and communication, and by conducting self-decision. But CAS(Context Awareness System) shows the weak point of small-scale context awareness processing capacity due to restricted mobile function under the current mobile environment, memory space, and inference cost increment. In this paper, we propose a mobile cloud context system with using Google App Engine based on PaaS(Platform as a Service) in order to get context service in various mobile devices without any subordination to any specific platform. Inference design method of the proposed system makes use of knowledge-based framework with semantic inference that is presented by SWRL rule and OWL ontology and Jess with rule-based inference engine. As well as, it is intended to shorten the context service reasoning time with mapping the regular reasoning of SWRL to Jess reasoning engine by connecting the values such as Class, Property and Individual which are regular information in the form of SWRL to Jess reasoning engine via JessTab plug-in in order to overcome the demerit of queries reasoning method of SparQL in semantic search which is a previous reasoning method.

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

The Rough Set theory suggested by Pawlak in 1982 has been useful in AI, machine learning, knowledge acquisition, knowledge discovery from databases, expert system, inductive reasoning. etc. The main advantages of rough set are that it does not need any preliminary or additional information about data and reduce the superfluous informations. but it is a significant disadvantage in the real application that the inference result form is not the real control value but the divided disjoint interval attribute. In order to overcome this difficulty, we will propose approach in which Rough set theory and Neuro-fuzzy fusion are combined to obtain the optimal rule base from lots of input/output datum. These results are applied to the rule construction for infering the temperatures of refrigerator's specified points.

• Journal of Korea Society of Industrial Information Systems
• /
• v.6 no.3
• /
• pp.35-43
• /
• 2001

This thesis proposes a diagnostic formula for student's responses based on linguistic variable concept of fuzzy that makes domain expert to input the kernel elementeasily that constructs domain independent student module. And the domain expert can construct the rule with linguistic variable that is used to inference student's recognition state. This study designs a student module that can inference student's recognition state using this rule represented by linguistic variable.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.5
• /
• pp.149-161
• /
• 1994

The Max-Min CRI method , a traditional inference method , has three problems: subjective formulation of membership functions, error-prone weighting strategy, and inefficient compositional rule of inference. Because of these problems, there is an insurmountable error region between desired output and inferred output. To overcome these problems, we propose an Intelligent Neuro-Fuzzy System (INFS) based on fuzzy thoery and self-organizing functions of neural networks. INFS makes use of neural networks(Error Back Propagation) to solve the first problem, and NCRI(New Max-Min CRI) method for the second. With a proposed similarity measure, NCRI method is an improved method compared to the traditional Max-Min CRI method. For the last problem, we propose a new defuzzification method which combines only the appropriate rules produced by the rule selection level. Applying INFS to a D.C. series motor, we can conclude that the error region is reduced and NCRI method performs better than Max-Min CRI method.

• Journal of the Korean Data and Information Science Society
• /
• v.8 no.1
• /
• pp.1-7
• /
• 1997

The inference process for medical expert system is mostly formed by diagnostic knowledge on the if-then rule base. Oriental medicine diagnostic knowledge, however, may involve uncertain knowledge caused by ambiguous concept. In this paper, we analyze an oriental medicine diagnostic process by a rule-based inference system, and propose a method for representing and processing uncertain oriental medicine diagnostic knowledge using CLP( R ) which is a kind of constraint satisfaction program.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.3
• /
• pp.231-240
• /
• 2001

Conventional expert systems has been criticized due to its lack of capability to adapt to the changing decision-making environments. In literature, many methods have been proposed to make expert systems more environment-adaptive by incorporating fuzzy logic and neural networks. The objective of this paper is to propose a new approach to building a self-evolving expert system inference mechanism by integrating fuzzy neural network and fuzzy rule extraction technique. The main recipe of our proposed approach is to fuzzify the training data, train them by a fuzzy neural network, extract a set of fuzzy rules from the trained network, organize a knowledge base, and refine the fuzzy rules by applying a pruning algorithm when the decision-making environments are detected to be changed significantly. To prove the validity, we tested our proposed self-evolving expert systems inference mechanism by using the bankruptcy data, and compared its results with the conventional neural network. Non-parametric statistical analysis of the experimental results showed that our proposed approach is valid significantly.

• ETRI Journal
• /
• v.41 no.4
• /
• pp.515-527
• /
• 2019

This paper discusses the design, implementation, and potential use of an ontology-based mobile pediatric consultation and monitoring system, which is a smart healthcare expert system for pediatric patients. The proposed system provides remote consultation and monitoring of pediatric patients during their illness at places distant from medical service areas. The system not only shares instant medical data with a pediatrician but also examines the data as a smart medical assistant to detect any emergency situation. In addition, it uses an inference engine to infer instant suggestions for performing certain initial medical treatment steps when necessary. The applied methodologies and main technical contributions have three aspects: (a) pediatric consultation and monitoring ontology, (b) semantic Web rule knowledge base, and (c) inference engine. Two case studies with real pediatric patients are provided and discussed. The reported results of the applied case studies are promising, and they demonstrate the applicability, effectiveness, and efficiency of the proposed approach.

• 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.