• Journal of KIISE
• /
• v.45 no.1
• /
• pp.22-29
• /
• 2018

Over the decades, neural networks have been successfully used in numerous applications from speech recognition to image classification. However, these neural networks cannot explain their results and one needs to know how and why a specific conclusion was drawn. Most studies focus on extracting binary rules from neural networks, which is often impractical to do, since data sets used for machine learning applications contain continuous values. To fill the gap, this paper presents an algorithm to extract logic rules from a trained neural network for data with continuous attributes. It uses hyperplane-based linear classifiers to extract rules with numeric values from trained weights between input and hidden layers and then combines these classifiers with binary rules learned from hidden and output layers to form non-linear classification rules. Experiments with different datasets show that the proposed approach can accurately extract logical rules for data with nonlinear continuous attributes.

• Journal of Gifted/Talented Education
• /
• v.18 no.1
• /
• pp.111-137
• /
• 2008

The purpose of this study is to develop learning materials and teaching model for the gifted, and to examine the improvement of creativity of them in middle schools. Subjects were 126 gifted students, who were the 7th or 8th graders and have been taught in gifted classes of the adjacent Education Institute for the gifted of Boryeong Education Districts, Chungnam Province Office Of Education. Divisions of gifted Classes were logical reasoning, mathematics, foreign language, science. After the instruction of project-based task, gifted students had improved creativity. Especially, instruction using project-based task was more effective on scientifically gifted students. Most gifted students were satisfied with the instruction using project-based task, and attractive in it. Finally, it was suggested that the instruction using project-based task should be actively used for the gifted students.

• Journal of Digital Contents Society
• /
• v.18 no.3
• /
• pp.535-542
• /
• 2017

The ubiquitous computing made it happen to easily take cognizance of context, which includes user's location, status, behavior patterns and surrounding places. And it allows providing the catered service, designed to improve the quality and the interaction between the provider and its customers. The personalized recommendation service needs to obtain logical reasoning to interpret the context information based on user's interests. We researched a model that connects to the practical value to users for their daily life; information about restaurants, based on several mobile contexts that conveys the weather, time, day and location information. We also have made various approaches including the accurate rating data review, the equation of Naïve Bayes to infer user's behavior-patterns, and the recommendable places pre-selected by preference predictive algorithm. This paper joins a vibrant conversation to demonstrate the excellence of this approach that may prevail other previous rating method systems.

• Journal of Science and Technology Studies
• /
• v.1 no.2 s.2
• /
• pp.399-422
• /
• 2001

Models for human cognition currently discussed in cognitive science cannot be appropriate ones. The symbolic model of the traditional artificial intelligence works for reasoning and problem-solving tasks, but doesn't fit for pattern recognition such as letter/sound cognition. Connectionism shows the contrary phenomena to those of the traditional artificial intelligence. Connectionist systems has been shown to be very strong in the tasks of pattern recognition but weak in most of logical tasks. Brooks' situated action theory denies the. notion of representation which is presupposed in both the traditional artificial intelligence and connectionism and suggests a subsumption model which is based on perceptions coming from real world. However, situated action theory hasn't also been well applied to human cognition so far. In emphasizing those characteristics of models I refer those models 'left-brain model', 'right-brain model', and 'robot model' respectively. After I examine those models in terms of substantial items of cognitions- mental state, mental procedure, basic element of cognition, rule of cognition, appropriate level of analysis, architecture of cognition, I draw three arguments of embodiment. I suggest a way of unifying those existing models by examining their theoretical compatability which is found in those arguments.

• Journal of The Korean Association For Science Education
• /
• v.4 no.2
• /
• pp.64-73
• /
• 1984

This study aimed at identifying the characteristics of current science curriculum in several countries in terms of its format, aims and objectives, contents and guidelines and discussed about therm. The curricula were collected from 9 countries- The United States of America(5 states), Canada(4 Provinces), England, West Germany, France, Australia, Newzealand, Japan and the republic of China. Each country had her own characteristics of science curriculum, but there also common characteristics among several countries. First, the format of science curricula in eastern countries were very different from those of western countries. The western countries had the curriculum format which included characteristics and needs of science education, philosophy and background, aims and objectives, contents, characteristics of learners, teaching and learning strategy, teaching materials, guide of experiments, evaluation methods, and other concrete informations while eastern countries had the curriculum format which included only objectives, contents and guidelines. I think that the format of science curriculum in western countries is more recommendable than that of eastern countries. Second, the aims and objectives of science curricula in eastern countries focused on scientific knowledges and concepts, while those of countries emphasized scientific methods and attitudes. Third, the contents of science curricula were very similar regardless of eastern countries or western countries. In other words, all the countries in this study emphasized life science and earth science at lower grade level and physical science at upper grade level. Especially the observation and concrete learning activities were suggested at lower grade level and logical reasoning was emphasized at upper grade level. I think that the integrated (topic-centered) science curriculum is more recommendable than our current non-integrated science curriculum in lower grade levels. Finally, the guidelines of science curriculum in eastern countries did not suggest specific information about teaching contents, experimental methods, teaching-learning activities, evaluation methods, teaching and learning meterals, while those of western countries provided more specific information which teachers could utilize very effectively.

• Journal of Information Technology and Architecture
• /
• v.10 no.4
• /
• pp.467-478
• /
• 2013

The necessity of research for EA service and performance is surfacing while nation-level and individual agency level performances utilizing Government-wide EA information. In this study, performance model for EA service has been developed categorizing characteristic elements of EA as service. And weight differences between quality items that constitute performance model have been calculated using AHP analysis method. To achieve the stated, SERVQUAL applied performance model for EA service has been developed working through logical reasoning and a broad range of theoretical studies concerning EA service. Moreover, relative weight differences between quality items that constitute the model have been calculated. The results of weight analysis find that importance differences between quality items in order of significance are as follows: EA administrator > EA information > EA education > EA policy > EA operating system. This study, as the nation's first research to graft the public-sector EA service onto SERVQUAL Model that is capturing remarkable attention, has considerable practical and theoretical implications.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.120-133
• /
• 2000

Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in an abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence of software, difficulty and complexity in using them can cause another hazard. In order to overcome this obstruction, we propose a framework for qualitative requirements engineering of the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the requirements based on a causality information, called CRSA (Causal Requirements Safety Analysis). QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the cognitive burden of designers when specifying and validating the software requirements of hybrid safety systems. CRSA can evaluate the logical contribution of the software elements to the physical hazard of systems by utilizing the causality information that is kept during specification by QFM. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, we demonstrate the effectiveness of our approach.

• Journal of Korea Trade
• /
• v.27 no.3
• /
• pp.43-64
• /
• 2023

Purpose - This paper studies whether CISG can be a suitable governing law for pure service contracts. When CISG was first drafted, there was little disagreement on the fact that contracts for the sale of goods and those for the provision of services were two different types of contract. Based on this understanding, CISG explicitly provides that the Convention will apply to contracts where the preponderant part of the contractual obligation is on the sale of goods, not services. However, as more sales transactions have come to include more elements of services, mainly due to the advancement of the IoT industry, the distinction between goods and services became more blurred. Based on the observation of recent changes, some scholars even argue that such a change supports the applicability and suitability of CISG to even pure service contracts. The purpose of this paper is to critically analyze and evaluate their argument. Design/methodology - This paper focuses on two separate but related issues: CISG's 'applicability' and 'suitability' to service contracts. For the first issue, this paper will examine the rules of interpretation of international treaties under the Vienna Convention on the Law of Treaties of 1969, and will apply its rules to find the proper answer. For the second issue, this paper will perform logical and empirical analyses on the reasoning employed by scholars claiming the suitability of CISG to service contracts. Findings - This paper concludes that CISG does not, and should not, apply to pure service contracts. The argument that CISG applies to pure service contracts directly contravenes Article 3(2) of the Convention, which expressly states that it does not apply to a contract wherein the preponderant part of its obligation is about services rather than sales. Similarly, CISG is not a suitable governing law for pure service contracts because it aims provide rules specifically tailored to the needs of transactions of sales of goods, not services. Servitization of sales of goods transaction does not change this conclusion. Originality/value - This paper presents different views from those offered by some eminent scholars on the issue of applicability and suitability of CISG to service contracts. By doing so, it is hoped that the confusion caused in discussions so far are clarified. Hopefully, this paper can also provide practical guidance to practitioners engaged in the fields of international sales, services, and IoT industries.

• Journal of Korea Entertainment Industry Association
• /
• v.13 no.8
• /
• pp.335-343
• /
• 2019

Healthy living is an essential element of human happiness. Quality eating provides the basis for life, and the health of livestock, which provides meat and dairy products, has a direct impact on human health. In the case of calves, diarrhea is the cause of all diseases.In this paper, we use a sensor to measure calf 's biometric data to diagnose calf diarrhea. The collected biometric data is subjected to a preprocessing process for use as meaningful information. We measure calf birth history and calf biometrics. The ontology is constructed by inputting environmental information of housing and biochemistry, immunity, and measurement information of human body for disease management. We will build a knowledge base for predicting calf diarrhea by predicting calf diarrhea through logical reasoning. Predict diarrhea with the knowledge base on the name of the disease, cause, timing and symptoms of livestock diseases. These knowledge bases can be expressed as domain ontologies for parent ontology and prediction, and as a result, treatment and prevention methods can be suggested.

• Journal of Navigation and Port Research
• /
• v.48 no.1
• /
• pp.7-16
• /
• 2024

Although the number of ocean-going merchant ships is increasing, the number of Korean marine officers is decreasing. This manpower shortage problem is becoming more serious. This study objectively measured factors determining the demand and supply of ocean-going merchant ship officers and forecasted the exact manpower demand and supply. Demand was predicted by applying the number of ship officers required for each ship size to the number of ships forecasted. The supply was predicted by segmenting by position and age using the Markov model, reflecting increase/decrease factors such as promotion, turnover, retirement, and new entry by year. The demand for ocean-going merchant ship officers will increase from 11,638 in 2023 to 13,879 in 2030 while the supply will decrease from7,006 in 2023 to 6,426 in 2030, with the shortage expected to exceed 10,000 in 2040. This study can be used as a reference to solve the problem of manpower shortage for ocean-going merchant ship officers by improving the accuracy of predictions through objective data, scientific analysis methods, and logical reasoning.