• Korean Journal of Logic
• /
• v.18 no.2
• /
• pp.167-195
• /
• 2015

This paper aims to respond to Weisberg's claim that the standard Bayesian epistemology cannot model an agent's belief updating that is triggered by some undermining evidence. Our epistemological intuition seems to require that the undermining evidence decreases some particular relevant credences. According to Weisberg, however, such a belief change cannot result from the standard Bayesian belief updating rules-i.e., (Jeffrey) Conditionalization. This is because probabilistic independence between some propositions is preserved under (Jeffrey) Conditionalization on the relevant evidence. Yet I will show in this paper that this conclusion is somewhat hasty. In particular, I will show that there is another version of Conditionalization and that when one updates her credences by means of such a version, the belief updating originated in undermining evidence can be well modeled in the Bayesian framework. Some authors often call the version Higher Order Conditionalization.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.4
• /
• pp.390-395
• /
• 2004

A semiconductor manufacturing process is the complicate and dynamic process, and consists of many sub-processes. An etching process is the most important process in the semiconductor fabrication. In this paper, the decision support system based upon data mining and knowledge discovery is an important factor to improve the productivity and yield. The proposed decision support system consists of a neural network model and an inference system based on fuzzy logic Firstly, the product results are predicted by the neural network model constructed by the product patterns that represent the quality of the etching process. And the product patters are classified by expert's knowledge. Finally, the product conditions are estimated by the fuzzy inference system using the rules extracted from the classified patterns. Prediction of product qualities can be linked to each input and process variables. We employ data mining and intelligent techniques to find the best condition of the etching process. The proposed decision support system is efficient and easy to be implemented for the process management based upon expert's knowledge.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2528-2535
• /
• 2000

Technology mapping is a part of VLSI CAD system, where circuits in logical level are mapped into circuits in physical level. The performance of technology mapping system is evaluatecJ by the delay and area of the resulting circuits. In the sequential circuits, the delay of the circuit is decided by the maximal delay between registers. In this work, we introduce an FPGA mapping algorithm improved by retiming technique used in constructive level and iterative level, and by fuzzy logic technique. Initial circuit is mapped into an FPGA circuit by constructive manner and improved by iterative retiming. Criteria given to the initial circuit are structured hierarchically by decision-making functions of fuzzy logic. The proposed system shows better results than previous systems by the experiments with MCNC benchmarkers.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.271-280
• /
• 2002

In this paper, the input-output interconnection method of the multiple-valued signal processing circuit using Perfect Shuffle technique and Kronecker product is discussed. Using this method, the circuit design method of the multiple-valued Reed-Muller Expansions (MRME) which can process the multiple-valued signal easily on finite fields GF$(p^m)$ is presented. The proposed input-output interconnection methods show that the matrix transform is an efficient and the structures are modular. The circuits of multiple-valued signal processing of MRME on GF$(p^m)$ design the basic cells to implement the transform and inverse transform matrix of MRME by using two basic gates on GF(3) and interconnect these cells by the input-output interconnection technique of the multiple-valued signal processing circuits. The proposed multiple-valued signal processing circuits that are simple and regular for wire routing and possess the properties of concurrency and modularity are suitable for VLSI.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.5
• /
• pp.977-984
• /
• 2001

In this paper, Genetic-Fuzzy Algorithm for Inverted Pendulum is presented. This Algorithms is combine Fuzzy logic with the Genetic Algorithm. The Fuzzy Logic Controller is only designed to two inputs and one output. After Fuzzy control rules are determined, Genetic Algorithm is applied to tune the membership functions of these rules. To measure of performance of the designed Genetic-Fuzzy controller, Computer simulation is applied to Inverted Pendulum system. In the simulation, In the case of f[0.3, 0.3] Fuzzy controller is measured that maximum undershoot is $-5.0 \times 10^{-2}[rad]$, maximum undershoot is $3.92\times10^{-2}[rad]$ individually however, Designed algorithm is zero. The Steady state time is approximated that Fuzzy controller is 2.12[sec] and designed algorithm is 1.32[sec]. The result of simulation, Resigned algorithm is showed it's efficient and effectiveness for Inverted Pendulum system.

• Journal of Digital Contents Society
• /
• v.9 no.2
• /
• pp.245-250
• /
• 2008

Psychology of color is a research field of psychology for studying human's behavior connected with color. Color carries symbolism and image while sharing psychological consensus with human. Each color has a respective image such as hope, passion, love, life, death, and so on. Peculiar stimuli by colors on these images have great influence on human's emotion and psychology. We therefore proposed a method for understanding human's state of emotion based on colors in this paper. In order to understand human's state of emotion, we analyzed color information used to model a room by a user and then described frequencies of each color as percent using fuzzy inference rules by membership values of fuzzy membership functions for colors used for modeling the room. When we applied the proposed color-based emotion analysis method to emotional state based on colors of Alschuler and Hattwick, we could see the proposed method is efficient.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.347-357
• /
• 2003

The web is an important source of information and most of Web applications are based on form documents in HTML-based form documents only play a role as user interfaces, and they do not involve the procedures or rules if business process which form document designers assume. However, from documents imply methods for treating documents, and these embedded procedural knowledge can be utilized.actively in automation of business process. In this respect, we Investigate the activeness of documents with cognitive science to automate business processes based on from documents. Through this, we have a new concept and applicability of active documents. Our active documents include business rules and declarative knowledge to support the automation of document processing. Also, we propose a processing framework for the active documents. The framework has two phases: build-time and run-time. in order to demonstrate the usefulness of the proposed framework, a prototype called ActiveForm is designed and implemented for requisition processing them in an inference engine can enhance the intelligence of Internet applications.

• Journal of Educational Research in Mathematics
• /
• v.22 no.4
• /
• pp.477-494
• /
• 2012

This study is to review the content organization and developmental ways of the unit on the mixed calculations and explore the alternatives on the basis of students' responsive examples and error patterns with relation to the mixed calculations, mnemonics of PEMDAS and historical context with relation to the order of operations. Then I analyzed the textbook and manual for teachers of the unit of mixed calculations of fourth grade and improvement about teaching the mixed calculations. First, I pointed out illogical connection between practical problem and rules of order of operations. Second, I suggested constructing a textbook by considering conventional character of order of operations. Third, I pointed out the importance of structural understanding of an expression of mixed calculations and various strategies with relation to teaching and learning. This study is suggestive for textbook development of the mixed calculations.

• Journal of Internet Computing and Services
• /
• v.11 no.4
• /
• pp.107-117
• /
• 2010

The feature models representing the common and variable concepts among the software products and the feature configurations generated by selecting the features to be included in the target product are the essential components in the software product lines methodology. Although the researches on the formal semantics and reasoning of the feature models and feature configurations are in progress, the researches on feature model ontologies and feature configuration validation using the semantic web technologies are yet insufficient. This paper defines the formal semantics of the feature models and proposes a feature configuration validation technique based on ontology and semantic web technologies. OWL(Web Ontology Language), a semantic web standard language, is used to represent the knowledge in the feature models and the feature configurations. SWRL(Semantic Web Rule Language), a semantic web rule languages, is used to define the rules to validate the feature configurations. The approach in this paper provides the formal semantic of the feature models, automates the validation of feature configurations, and enables the application of various semantic web technologies, such as SQWRL.

• Journal of KIISE
• /
• v.43 no.4
• /
• pp.470-479
• /
• 2016

As the number of various types of media data such as UCC (User Created Contents) increases, research is actively being carried out in many different fields so as to provide meaningful media services. Amidst these studies, a semantic web-based media classification approach has been proposed; however, it encounters some limitations in video classification because of its underlying ontology derived from meta-information such as video tag and title. In this paper, we define recognized objects in a video and activity that is composed of video objects in a shot, and introduce a reasoning approach based on description logic. We define sequential rules for a sequence of shots in a video and describe how to classify it. For processing the large amount of increasing media data, we utilize Spark streaming, and a distributed in-memory big data processing framework, and describe how to classify media data in parallel. To evaluate the efficiency of the proposed approach, we conducted an experiment using a large amount of media ontology extracted from Youtube videos.