• Journal of the Korea Society of Computer and Information
• /
• v.25 no.11
• /
• pp.277-286
• /
• 2020

In this paper, we propose a new educational approach to help learners form concepts by identifying the properties of programming concepts targeting a group of experts in programming education. Therefore, we confirmed the typical properties of concepts by programming education experts for programming learning elements through conceptual metaphor analysis, which is a qualitative research method, and confirmed the validity through the delphi method. As a result of this study, we identified 17 typical properties of programming concepts that learners should form in programming education. The conclusions of this study are that need to compose the educational content more specifically for the conceptualization of learners' programming as follows: 1)the concept of a variable is to understand how to store data, how to set a name, what an address has, how to change a value, various types of variables, and the meaning of the size of a variable, 2)the concept of operator is to understand how to operate the four rules, how to deal with it logically, how to connect according to priority, meaning of operation symbols, and how to compare, 3)the concept of the control structure is to understand how to control the execution flow, how to make a logical judgment, how to set an execution rule, meaning of sequential execution, and how to repeat executing.

• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.3
• /
• pp.141-148
• /
• 2022

Recently, reinforcement learning combined with deep neural network technology has achieved remarkable success in various fields such as board games such as Go and chess, computer games such as Atari and StartCraft, and robot object manipulation tasks. However, such deep reinforcement learning describes states, actions, and policies in vector representation. Therefore, the existing deep reinforcement learning has some limitations in generality and interpretability of the learned policy, and it is difficult to effectively incorporate domain knowledge into policy learning. On the other hand, dNL-RRL, a new relational reinforcement learning framework proposed to solve these problems, uses a kind of vector representation for sensor input data and lower-level motion control as in the existing deep reinforcement learning. However, for states, actions, and learned policies, It uses a relational representation with logic predicates and rules. In this paper, we present dNL-RRL-based policy learning for transportation mobile robots in a manufacturing environment. In particular, this study proposes a effective method to utilize the prior domain knowledge of human experts to improve the efficiency of relational reinforcement learning. Through various experiments, we demonstrate the performance improvement of the relational reinforcement learning by using domain knowledge as proposed in this paper.

• Journal of KIISE
• /
• v.45 no.2
• /
• pp.113-125
• /
• 2018

Recently, with the advent of the Big Data era, we have gained the capability of acquiring vast amounts of knowledge from various fields. The collected knowledge is expressed by well-formed formula and in particular, OWL, a standard language of ontology, is a typical form of well-formed formula. The symbolic reasoning is actively being studied using large amounts of ontology data for extracting intrinsic information. However, most studies of this reasoning support the restricted rule expression based on Description Logic and they have limited applicability to the real world. Moreover, knowledge management for inaccurate information is required, since knowledge inferred from the wrong information will also generate more incorrect information based on the dependencies between the inference rules. Therefore, this paper suggests that the SWAT, knowledge management system should be combined with the SWRL (Semantic Web Rule Language) reasoning based on ATMS (Assumption-based Truth Maintenance System). Moreover, this system was constructed by combining with SWRL reasoning and ATMS for managing large ontology data based on the distributed In-memory framework. Based on this, the ATMS monitoring system allows users to easily detect and correct wrong knowledge. We used the LUBM (Lehigh University Benchmark) dataset for evaluating the suggested method which is managing the knowledge through the retraction of the wrong SWRL inference data on large data.

• Journal of The Korean Association For Science Education
• /
• v.36 no.3
• /
• pp.485-498
• /
• 2016

In this study, the views and the meaning of nature between the Western world and East Asia were compared through literature analysis. In the West, it is recognized that nature and human beings are separate. Nature is understood as regular and rational. They, therefore, take the view of particle and mechanical theory. In East Asia, it is thought that nature and humans interact with each other, and take an attitude of compromise and tolerance. Since nature is recognized as an ever-changing being, they, therefore, take the position of wave theory. Scientific knowledge and concepts are accepted depending on the personal view of nature. In Korea, science education follows the view of modern western science without considering the personal pattern of cognition, though students can have various views of nature. The attitude is needed regarding the various viewpoints as rich resources in science and science education.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.1
• /
• pp.219-226
• /
• 2010

Recently most parking control systems provide customers with various services, but most of the services are just the extension of parking spaces, automatic parking control system and so on. It is essential to use the satisfaction degree as the extent that customer are satisfied with parking control system to improve the quality of the system services and diversify the system services. The degree of satisfaction is different from customer to customer in same condition and can be represented as linguistic variables. In this paper, we present therefore a technique that quantify how much customer are satisfied with parking control system and fuzzy inference system architecture as a solution that can help us to make a efficient decision for these parking problems. In this architecture, inference engine using fuzzy logic compares context data with the rules in the fuzzy rule-based system, gets the sub-results, aggregates them and defuzzifies the aggregated result using MATLAB application programming to obtain crisp value. Fuzzy inference system architecture presented in this paper, can be used as a efficient method to analyze the satisfaction degree which is represented as fuzzy linguistic variables by human emotion. And it can be used to improve the satisfaction degree of not only parking system but also other service systems of various domains.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.53-67
• /
• 2008

At present, for reuse of similar domains between feature model and class model. researches of transformation at the model level and of transformation using ontology between two models are being made. but consistent transformation through metamodel is not made. And the factors of modeling transformation targets are not sufficient, and especially, automatic transformation algorithm and supporting tools are not provided so reuse of domains between models is not activated. This paper proposes a method of transformation from feature model to class model using ontology on the metamodel. For this, it re-establishes the metamodel of feature model, class model, and ontology, and it defines the properties of modelling factors for each metamodel. Based on the properties, it defines the profiles of transformation rules between feature mndel and ontology, and between ontology and class model, using set theory and propositional calculus. For automation of the transformation, it creates transformation algorithm and supporting tools. Using the proposed transformation rules and tools, real application is made through Electronic Approval System. Through this, it is possible to transform from the existing constructed feature model to the class model and to use it again for a different development method. Especially, it is Possible to remove ambiguity of semantic transformation using ontology, and automation of transformation maintains consistence between models.

• Design Convergence Study
• /
• v.15 no.6
• /
• pp.73-92
• /
• 2016

As one of empirical research and developments on BIM applications to improve design quality and productivity of building, efforts have been devoted to automated compliance checking of building design for building permit. KBimLogic is a mechanism that translate Korean Buidling Act to the computational language called KBimCode. KBimCode aims to standardized and neutral language that can be applied to various design rules. This paper focuses on testing expandability of KBimCode by appling it on Chinese Building Act. We analyzed Chinese national regulation on fire protection and evacuation, based on 1) Object·property, 2) function for predicate processing, 3) relationship of sentences. As a result, Chinese Building Act were successfully translated to KBimCode with some important implications for further application. Based on the finding of the paper, KBimCode is expected to be applicable to kinds of design rules.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.20 no.1
• /
• pp.19-25
• /
• 2020

In frequent pattern mining, the uncertainty of each item is accompanied by a loss of information. AAlso, in real environment, the importance of patterns changes with time, so fuzzy logic must be applied to meet these requirements and the dynamic characteristics of the importance of patterns should be considered. In this paper, we propose a fuzzy utility mining technique for extracting frequent web page sets from web log databases through fuzzy utility-based web page set mining. Here, the downward closure characteristic of the fuzzy set is applied to remove a large space by the minimum fuzzy utility threshold (MFUT)and the user-defined percentile(UDP). Extensive performance analyses show that our algorithm is very efficient and scalable for Fuzzy Utility Mining using dynamic weights.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.6
• /
• pp.1203-1208
• /
• 2016

For young children who are not spontaneous or not accurate in verbal communication of their emotions and experiences, drawing is a good means of expressing their status in mind and thus drawing analysis with chromatics is a traditional tool for art therapy. Recently, children enjoy digital drawing via painting tools thus there is a growing needs to develop an automatic digital drawing analysis tool based on chromatics and art therapy theory. In this paper, we propose such an analyzing tool based on dominant color analysis. Technically, we use ART2 clustering and fuzzy logic to understand the fuzziness of subjects' status of mind expressed in their digital drawings. The frequency of color usage is fuzzified with respect to the membership functions. After applying fuzzy logic to this fuzzified central vector, we determine the dominant color and supporting colors from the digital drawings and children's status of mind is then analyzed according to the color-personality relationships based on Alschuler and Hattwick's historical researches.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.2
• /
• pp.152-160
• /
• 2000

This paper addresses the analysis and design of fuzzy-model-based controller for nonlinear systems using extended PDC and optimal pole-placement schemes. In the design procedure, we represent the nonlinear system using a Takagi-Sugeno fkzy model and formulate the controller rules by using the extended parallel distributed compensator (EPDC) and construct an overall fuzzy logic controller by blending all local state feedback controllers with an optimal pole-placement scheme. Unlike the commonly used parallel distributed compensation technique, by blending a newly extended parallel distributed compensator and the optimal poleplacement schemes, we can design not only a local stable k z y controller but also an overall stable fuzzy controller to perform the tacking control objective. Furthermore, a stability analysis is carried out not only for the fuzzy model but also for a real nonlinear system. Finally. the effectiveness and feasibility of the proposed fizzy model-based controller design method has been shown through a simulation example.