• Journal of Korean Philosophical Society
• /
• v.139
• /
• pp.1-21
• /
• 2016

To quickly and accurately grasp the consistency and the true/false of sentence description, we may require the help of a computer. It is thus necessary to research and quickly and accurately grasp the consistency and the true/false of sentence description by computer processing techniques. This requires research and planning for the whole study, namely a plan for the necessary tables and those of processing, and development of the table of the five logic rules. In future research, it will be necessary to create and develop the table of ten basic inference rules and the eleven kinds of derived inference rules, and it will be necessary to build a DB of those tables and the computer processing of sentence logic using server programming JSP and client programming JAVA over its foundation. In this paper we present the overall research plan in referring to the logic operation table, dividing the logic and inference rules, and preparing the listed process sequentially by dividing the combination of their use. These jobs are shown as a variable table and a symbol table, and in subsequent studies, will input a processing table and will perform the utilization of server programming JSP, client programming JAVA in the construction of subject/predicate part activated DB, and will prove the true/false of a sentence. In considering the table prepared in chapter 2 as a guide, chapter 3 shows the creation and development of the table of the five logic rules, i.e, The Rule of Double Negation, De Morgan's Rule, The Commutative Rule, The Associative Rule, and The Distributive Rule. These five logic rules are used in Propositional Calculus, Sentential Logic Calculus, and Statement Logic Calculus for sentence logic.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.520-523
• /
• 1997

This paper presents FPGA implementation of fuzzy controller using Product-Sum inference method. Product-Sum inference method has much better performance than other inference methods. This fuzzy controller is composed of several digital modules, e.g. fuzzifier, rule base, adder, multiplier, select center and divider, and is operated by error and error variation. We synthesized the fuzzy controller and performed wave simulation using Xilinx VHDL tool(ViewLogic, ViewSim).

• Journal of Digital Contents Society
• /
• v.5 no.2
• /
• pp.128-132
• /
• 2004

In this paper, a Fuzzy Inference System(FIS) based watermarking algorithm in Discrete Wavelet Transform(DWT) domain is proposed. A 2D fuzzy inference values, in which the inputs are parameters of the coefficients of the DWT block of the original image and the output is strength of watermark embedded, is devised. The fuzzy inference algorithm guarantees that the watermark to be embedded into the original image adaptively. The experimental results shows that proposed approach is robust to the digital image processing schemes.

• Proceedings of the KIEE Conference
• /
• 1999.07g
• /
• pp.2856-2858
• /
• 1999

In this paper, the FPNN(Fuzzy Polynomial Neural Networks) algorithm with multi-layer fuzzy inference structure is proposed for the model identification of a complex nonlinear system. The FPNN structure is generated from the mutual combination of PNN (Polynomial Neural Network) structure and fuzzy inference method. The PNN extended from the GMDH(Group Method of Data Handling) uses several types of polynomials such as linear, quadratic and modifled quadratic besides the biquadratic polynomial used in the GMDH. In the fuzzy inference method, simplified and regression polynomial inference method which is based on the consequence of fuzzy rule expressed with a polynomial such as linear, quadratic and modified quadratic equation are used Each node of the FPNN is defined as a fuzzy rule and its structure is a kind of fuzzy-neural networks. Gas furnace data used to evaluate the performance of our proposed model.

• Journal of the Korean School Mathematics Society
• /
• v.26 no.1
• /
• pp.21-47
• /
• 2023

This study examines the activity system of teaching and learning about informal statistical inference using sampling simulation, based on cultural-historical activity theory. The research explores what contradictions arise in the activity system and how the system changes as a result of these contradictions. The participants were 20 elementary school students in the 5th to 6th grades who received classes on informal statistical inference using sampling simulations. Thematic analysis was used to analyze the data. The findings show that a contradiction emerged between the rule and the object, as well as between the mediating artifact and the object. It was confirmed that visualization of empirical sampling distribution was introduced as a new artifact while resolving these contradictions. In addition, contradictions arose between the subject and the rule and between the rule and the mediating artifact. It was confirmed that an algorithm to calculate the mean of the sample means was introduced as a new rule while resolving these contradictions.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.5
• /
• pp.482-494
• /
• 1992

In this paper, the neuro-fuzzy inferene system for the effective object recognition is studied. The proposed neuro-fuzzy inference system combines learning capability of neural network with inference process of fuzzy theory, and the system executes the fuzzy inference by neural network automatically. The proposed system consists of the antecedence neural network, the consequent neural network, and the fuzzy operational part, For dissolving the ambiguity of recognition due to input variance in the neuro-fuzzy inference system, the antecedence’s fuzzy proposition of the inference rules are automatically produced by error back propagation learining rule. Therefore, when the fuzzy inference is made, the shape of membership functions os adaptively modified according to the variation. The antecedence neural netwerk constructs a separated MNN(Model Classification Neural Network)and LNN(Line segment Classification Neural Networks)for dissolving the degradation of recognition rate. The antecedence neural network can overcome the limitation of boundary decisoion characteristics of nrural network due to the similarity of extracted features. The increased recognition rate is gained by the consequent neural network which is designed to learn inference rules for the effective system output.

• Journal of the Korean Data and Information Science Society
• /
• v.18 no.4
• /
• pp.1157-1170
• /
• 2007

LBS must manage various context data and make the best use of this data for application service in ubiquitous environment. Conventional mobile object data management architecture did not consider process of context data. Therefore a new mobile data management framework is needed to process location context data. In this paper, we design a new context management framework for a location based application service. A suggestion framework is consisted of context collector, context manager, rule base, inference engine, and mobile object context database. It describes a form of rule base and a movement process of inference engine that are based on location based application scenario. It also presents an embodiment instance of interface which suggested framework is applied to location context interference of mobile object.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1434-1445
• /
• 2000

An expert system executes the inference, based on the knowledge of specific domain. the reliability on the results of inference depends upon both the consistency and accuracy of knowledge. This is the reason why expert system requires the facilities which can practice an access to the various kinds of knowledge and maintain the consistency and accuracy of knowledge an maintain the consistency and accuracy of knowledge. This paper is to implement an expert system permitting an access of declarative and procedural knowledge in the knowledge base and in the data base. This paper is also to implement a knowledge acquisition system which adds the knowledge a only if its accuracy and consistency are maintained, after verifying the potential errors such as contradiction, redundancy, circulation, non-reachable rule and non-lined rule. In consequence, the expert system realizes a good access to the various sorts of knowledge and increases the reliability on the results of inference. The knowledge acquisition system contributes tro strengthening man-machine interface that enables users to add the knowledge easily to the knowledge base.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.54 no.2
• /
• pp.67-72
• /
• 2005

This paper presents a method to select contingency ranking considering voltage security problems in power systems. Direct method which needs not the detailed knowledge of the post contingency voltage at each bus is used. Based on system operator's experience and knowledge, the membership functions for the MVAR mismatch and allowable voltage violation are justified describing linguistic representation with heuristic rules. Rule base is used for the computation of severity index for each contingency by fuzzy inference. Contingency ranking harmful to the system is formed by the index for security evaluation. Compared with 1P-1Q iteration, this algorithm using direct method and fuzzy inference shows higher computation speed and almost the same accuracy. The proposed method is applied to model system and KEPCO pratical system which consists of 311 buses and 609 lines to show its effectiveness.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1329-1332
• /
• 1987

This paper describes a design of the expert system for diagnosis of abnormal gait patients. This system makes the rule-based representation that can easily extend the knowledge-base and naturally represent the uncertainty, and the inference engine that uses forward chaining which covers the reasoning from the first condition to the goal. The results of inferring various maladies using this system are as follows: 1) In cases of progressive muscular dystrophy, cerebral vascular accident, peripheral neuropathic lesion and peroneal nerve injury, the result of inference is the same as that of medical specialists' with 100% accuracy. 2) In cases of Neuritis, Paralysis agitan and Brain tumor, the accuracy of inference is less than 50% compared to that of medical specialists. With above results, we decide that the rule-based representations of some maladies ard accurate relatively, but that the correction and the extention of some rules and some methods of problem solving are required in order to construct the complete expert system for diagnosis of abnormal gait patients.