• Communications of Mathematical Education
• /
• v.30 no.3
• /
• pp.393-418
• /
• 2016

Theory and fundamentals of mathematics consist mostly of proposition form. Activities by research of the proposition which leads to determine the true or false, justify the true propositions and refute with counterexample improve logical reasoning skills of students in emphases on mathematics education. Also, utilizing of counterexamples in school mathematics combines mathematical knowledge through the process of finding a counterexample, help the concept study and increase the critical thinking. These effects have been found through previous research. But many studies say that the learners have difficulty in generating counterexamples for false propositions and materials have not been developed a lot for the counterexample utilizing that can be applied in schools. So, this study analyzed the current textbook and examined the use of counterexamples and developed educational materials for counterexamples that can be applied at schools. That materials consisted of making true & false propositions and students was divided into three groups of academic achievement level. And then this study looked at the change of the students' thinking after counterexample classes. As a study result, in all three groups was showed a positive change in the cognitive domain and affective domain. Especially, in top-level group was mainly showed a positive change in the cognitive domain, in upper-middle group was mainly showed in the cognitive and the affective domain, in the sub-group was mainly found a positive change in the affective domain. Also in this study shows that the class that makes true or false propositions in education of utilizing counterexample, made students understand a given proposition, pay attention to easily overlooked condition, carefully observe symbol sign and change thinking of cognitive domain helping concept learning regardless of academic achievement levels of learners. Also, that class gave positive affect to affective domain that increase interest in the proposition and gain confidence about proposition.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.1
• /
• pp.23-43
• /
• 2010

This study is to investigate how much highschool students, who have learned functional concepts included in the Middle school math curriculum, understand chapters of the function, to analyze the types of errors which they made in solving the mathematical problems and to look for the proper instructional program to prevent or minimize those ones. On the basis of the result of the above examination, it suggests a classification model for teaching-learning methods and teaching material development The result of this study is as follows. First, Students didn't fully understand the fundamental concept of function and they had tendency to approach the mathematical problems relying on their memory. Second, students got accustomed to conventional math problems too much, so they couldn't distinguish new types of mathematical problems from them sometimes and did faulty reasoning in the problem solving process. Finally, it was very common for students to make errors on calculation and to make technical errors in recognizing mathematical symbols in the problem solving process. When students fully understood the mathematical concepts including a definition of function and learned procedural knowledge of them by themselves, they did not repeat the same errors. Also, explaining the functional concept with a graph related to the function did facilitate their understanding,

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Journal of Educational Research in Mathematics
• /
• v.15 no.3
• /
• pp.251-272
• /
• 2005

Given that cognitive demands of mathematical tasks can be changed during instruction, this study attempts to provide a detailed description to explore how tasks are set up and implemented in the classroom and what are the classroom-based factors. As an exploratory and qualitative case study, 4 of six-grade classrooms where high-level tasks on ratio and proportion were used were videotaped and analyzed with regard to the patterns emerged during the task setup and implementation. With regard to 16 tasks, four kinds of Patterns emerged: (a) maintenance of high-level cognitive demands (7 tasks), (b) decline into the procedure without connection to the meaning (1 task), (c) decline into unsystematic exploration (2 tasks), and (d) decline into not-sufficient exploration (6 tasks), which means that the only partial meaning of a given task is addressed. The 4th pattern is particularly significant, mainly because previous studies have not identified. Contributing factors to this pattern include private-learning without reasonable explanation, well-performed model presented at the beginning of a lesson, and mathematical concepts which are not clear in the textbook. On the one hand, factors associated with the maintenance of high-level cognitive demands include Improvising a task based on students' for knowledge, scaffolding of students' thinking, encouraging students to justify and explain their reasoning, using group-activity appropriately, and rethinking the solution processes. On the other hand, factors associated with the decline of high-level cognitive demands include too much or too little time, inappropriateness of a task for given students, little interest in high-level thinking process, and emphasis on the correct answer in place of its meaning. These factors may urge teachers to be sensitive of what should be focused during their teaching practices to keep the high-level cognitive demands. To emphasize, cognitive demands are fixed neither by the task nor by the teacher. So, we need to study them in the process of teaching and learning.

• Journal of Intelligence and Information Systems
• /
• v.17 no.1
• /
• pp.37-52
• /
• 2011

Supply chain management is a strategic thinking which enhances the value of supply chain and adapts more promptly for the changing environment. For the seamless partnership and value creation in supply chains, information and knowledge sharing and proper partner selection criteria must be applied. Thus, the partner selection criteria are critical to maintain product quality and reliability. Each part of a product is supplied by an appropriate supply partner. The criteria for selecting partners are technological capability, quality, price, consistency, etc. In reality, the criteria for partner selection may change according to the characteristics of the components. When the part is a core component, quality factor is the top priority compared to the price. For a standardized component, lower price has a higher priority. Sometimes, unexpected case occurs such as emergency order in which the preference may shift on the top. Thus, SCM partner selection criteria must be determined dynamically according to the characteristics of part and its context. The purpose of this research is to develop an OWL model for the supply chain partnership depending on its context and characteristics of the parts. The uncertainty of variable is tackled through fuzzy logic. The parts with preference of numerical value and context are represented using OWL. Part preference is converted into fuzzy membership function using fuzzy logic. For the ontology reasoning, SWRL (Semantic Web Rule Language) is applied. For the implementation of proposed model, starter motor of an automobile is adopted. After the fuzzy ontology is constructed, the process of selecting preference-based supply partner for each part is presented.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.31 no.3
• /
• pp.29-50
• /
• 2020

The purpose of this study is to analyze the characteristics of the media contained in textbooks for students with disabilities based on the information processing model, and to find ways to utilize library materials for class improvement for them. To this end, the media included in the in-depth learning activities of the Korean language textbooks of the 2015 revised special education basic curriculum were analyzed. As a result of the analysis, it was found that students with disabilities received information mainly through vision, process information through understanding, and use language intelligence to produce results. Specifically, they accepts learning contents through illustrations and texts, processes the contents based on understanding such as reasoning and explanation, and then uses linguistic intelligence such as writing and speaking to produce results. Based on the results of this analysis, a practical method to utilize library materials in the Korean language class of students with disabilities was proposed as follows. Developing a variety of input mediums based on reading stages and collection mapping for students with disabilities. Providing book materials through reading and listening. Teaching appropriate methodological knowledge to self-directly solve advanced learning activities. In addition, developing types of writing and writing strategies that can help various production activities.

• The KIPS Transactions:PartD
• /
• v.12D no.4 s.100
• /
• pp.627-636
• /
• 2005

The Intelligent Web Service is proposed for the purpose of automatic discovery, invocation, composition, inter-operation, execution monitoring and recovery web service through the Semantic Web and the Agent technology. To accomplish this Intelligent Web Service, the Ontology is a necessity for reasoning and processing the knowledge by the computer. However, creating service ontology, for the intelligent web service, has two problems not only consuming a lot of time and cost depended on heuristic of service developer, but also being hard to be mapping completely between service and service ontology. Moreover, the markup language to describe the service ontology is currently hard to be learned by the service developer In a short time. This paper proposes the efficient way of designing and creating the service ontology using MDA methodology. This proposed solution reuses the creating model in terms of desiEninE and constructing Web Service Model using UML based on MDA. After converting the Platform-Independent Web Service Model to the dependent model of OWL-S which is a Service Ontology description language, it converts to OWL-S Service Ontology using XMI. This proposed solution has profits, oneis able to be easily constructed the Service Ontology by Service Developers, the other is enable to be created the both service and Service Ontology from one model. Moreover, it can be effective to reduce the time and cost as creating Service Ontology automatically from a model, and calmly dealt with a change of outer environment like as the platform change. This paper cites an instance for the validity of designing Web Service model and creating the Service Ontology, and validates whether the created Service Ontology is valid or not.

• Journal of KIISE:Software and Applications
• /
• v.32 no.3
• /
• pp.202-214
• /
• 2005

The semantic web is the web paradigm that represents not general link of documents but semantics and relation of document. In addition it enables software agents to understand semantics of documents. We propose a semantic search based on inference with ontologies, which has the following characteristics. First, our search engine enables retrieval using explicit ontologies to reason though a search keyword is different from that of documents. Second, although the concept of two ontologies does not match exactly, can be found out similar results from a rule based translator and ontological reasoning. Third, our approach enables search engine to increase accuracy and precision by using explicit ontologies to reason about meanings of documents rather than guessing meanings of documents just by keyword. Fourth, domain ontology enables users to use more detailed queries based on ontology-based automated query generator that has search area and accuracy similar to NLP. Fifth, it enables agents to do automated search not only documents with keyword but also user-preferable information and knowledge from ontologies. It can perform search more accurately than current retrieval systems which use query to databases or keyword matching. We demonstrate our system, which use ontologies and inference based on explicit ontologies, can perform better than keyword matching approach .

• Journal of Educational Research in Mathematics
• /
• v.23 no.4
• /
• pp.467-490
• /
• 2013

Correlation is a basic statistical concept which is necessary for understanding the relationship between two variables when they change values. In the middle school curriculum of Korea, only informal definition of correlation is taught with two-way data representations such as scatter plots and contingency tables. In this study, we investigated Korean high school students' understanding of correlation using a test consisting of 35 items about interpretation of scatter plot, contingency table, and text in realistic situation. 216 students from a high school in Seoul took the test for 20 minutes. From the results, we could observe the following: First, students did not have right criteria for determining the strength of correlation presented in scatter plots. Most of students could determine if there is correlation/no correlation and if the correlation is positive/negative by seeing the data presented in scatter plots. However, they did not judge by the closeness to the regression line but rather judged by the closeness between data points. Second, when statements about comparing the strength of correlation in the context of real life situation were given in text, the students had difficulty in understanding the distribution-related characteristic of the bi-variate data. Students had difficulty in figuring out the local distribution characteristic of data, which cannot be guessed merely based on the expression 'The correlation is strong' without statistical knowledge of correlation. Third, a large number of students could not judge the association between two variabels using conditional proportions when qualitative data are given in 2-by-2 tables. They made judgement by the absolute cell count and when the marginal sum of two categories are different for explanatory variable they thought the association could not be determined. From these results, we concluded that educational measures are required in order to remove such misconceptions and to improve understanding of correlation. Considering that the current mathematics curriculum does not cover the concept of correlation, we need to improve the curriculum as well.

• Smart Media Journal
• /
• v.9 no.2
• /
• pp.51-62
• /
• 2020

Starting with the "Smart Grid National Road Map" in 2010, the Smart Grid 2030 was introduced through the basic plan and implementation plan of the intelligent power grid with the goal of building the world's first national smart grid. In this paper, we intend to build a power domain ontology based on the power business platform based on the upper and lower conceptual models of the "Smart Grid Interoperability Standard Framework and Roadmap", the standard of implementation plan. Ontology is suitable for expressing and utilizing the smart grid conceptual model because it considers hierarchical structure as knowledge defines the properties of entities and relationships between entities, but there is no research related to them. Therefore, in this paper, the upper ontology was defined as a major category for smart grid-related fields, and the lower ontology was defined as detailed systems and functions for the upper ontology to construct the ontology. In addition, scenarios in various situations that could occur in the power system were constructed and significant inference results were derived through inference engines and queries.