• Smart Media Journal
• /
• v.3 no.3
• /
• pp.36-45
• /
• 2014

Based on the perception of Maurice Merleau Ponty, This study defines that Moving is a form lively to experience meaning, pleasure as the aesthetic attribute structured to a product, expression and value are synthesized into. The purpose of study is to argue that Wearable, Ubiquitous, Interaction, Play, D, I, Y, Universal, Ecology are the forms, modalities that the moving is variously subjected to the product design. Above This is the result reasoned according to analogical form as below between the moving and all design forms. First, The moving as the aesthetic expression and value are synthesized into is the intrinsic, general proposition, maxim for the value judgement. Second, All design forms are the cases which the values based on the aesthetic expression system are subjected to Third, Thus All design forms are the modalities of the aesthetic expression based on the values. The certainty of this judgement, reasoning is the proof that the correspondence between the moving as the aesthetic expression and design form is the fact. That is to say, It is the proof that Users lively experience the aesthetic meaning, pleasure in fact as the aesthetic values are subjected to all design forms. The lived experience of each user in their daily life itself is the only method or assurance for this. The moving integrates the existence of a product and what should be of users into the aesthetic dimension and at the same time, is realized based on this. The emphasized theme in all cases of this study is not the product but the moving. So, The product design is changed into the action which structures the moving like above to a product.

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

The purpose of this paper is to analyse the essence of proportional reasoning and to analyse the contents of the textbooks according to the mathematics curriculum revised in 2007, and to seek the direction for developing the proportional reasoning in the elementary school mathematics focused the task variables. As a result of analysis, it is found out that proportional reasoning is one form of qualitative and quantitative reasoning which is related to ratio, rate, proportion and involves a sense of covariation, multiple comparison. Mathematics textbooks according to the mathematics curriculum revised in 2007 are mainly examined by the characteristics of the proportional reasoning. It is found out that some tasks related the proportional reasoning were decreased and deleted and were numerically and algorithmically approached. It should be recognized that mechanical methods, such as the cross-product algorithm, for solving proportions do not develop proportional reasoning and should be required to provide tasks in a wide range of context including visual models.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.1
• /
• pp.48-53
• /
• 2010

In this paper, we develop the intelligent remote dust chamber bag control system which is combination of the advanced IT and traditional dust chamber based on event. At first, the message format is defined for the efficient dust chamber bag information transmission using power line communication. Also, we define the data types to logically model the dust chamber and the dust chamber bag, and they are logically modeled using XML and object-oriented modeling method. In addition to, we apply the case-based reasoning for showing the dust chamber bag exchange time intelligently to user at real-time using casebase, that is collected by case or case-based reasoning result, and that is described using XML.

• Journal of Educational Research in Mathematics
• /
• v.27 no.4
• /
• pp.791-810
• /
• 2017

This study explored the possibility of using visual models in teaching proportional reasoning based on the review of previous studies. Many studies on proportional reasoning emphasize that students tend to simply apply formal procedures without understanding the meaning behind them and that using visual models may be an alternative to help students develop informal strategies and proportional reasoning. Given these, we re-constructed and implemented the unit of a textbook to teach sixth graders proportional reasoning with ratio table, double number line, and double tape diagram. The results of this study showed that such visual models helped students understand the meaning of proportion, explore the properties of proportion, and solve proportional problems. However, several difficulties that students experienced in using the visual models led us to suggest cautionary notes when to teach proportional reasoning with visual models. As such, this study is expected to provide empirical information for textbook developers and teachers who teach proportional reasoning with visual models.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.282-285
• /
• 2011

서술논리를 기반으로 하는 OWL 온톨로지는 표준화된 형식적 언어로써 실세계의 도메인 지식을 표현하는데 적합하다. 따라서 논리를 바탕으로 명시적으로 정의된 지식 속에 내재되어 있는 새로운 지식의 추론이 가능하다. 그러나 OWL이 가지는 Open World Assumption(OWA)의 특성은 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서의 추론을 제한한다. 더불어 OWL이 가지는 또 다른 특성으로 Unique Name Assumption(UNA)의 비지원은 실제적 지식표현을 지원하는 반면, 표현의 불충분으로 인해 결과 도출의 불능을 야기한다. 이러한 특징을 고려하여, 본 논문에서는 지능형 에이전트 구성을 위한 서술논리 기반 지식 표현 방법을 제안한다. 이는 논리적 정당성을 유지하고 올바른 결과를 이끌어 낼 수 있도록 하며, 항상 논리적 결론 도출이 가능한 지식모델을 구성할 수 있도록 돕는다. 이를 통해, 지식모델에 정의된 불완전한 개념에 있어서 OWL이 가지는 특징으로 인하여 발생할 수 있는 문제점에 대한 해결방안을 제시한다. 이에 있어서, 모바일 온톨로지의 예를 통하여 OWA와 UNA에 따른 추론의 제약을 보이며, 이를 해결할 수 있는 방안을 논리적으로 표현함으로써 본 제안의 정당성을 증명한다.

• School Mathematics
• /
• v.9 no.1
• /
• pp.99-117
• /
• 2007

In this paper it is discussed how children develop their logical reasoning beyond difficulties in the process of making sense of division with decimals in the classroom setting. When we consider the gap between mathematics at elementary and secondary levels, and given the logical nature of mathematics at the latter levels, it can be seen as important that the aspects of children's logical development in the upper grades in elementary school should be clarified. This study focuses on the teaching and learning of division with decimals in a 5th grade classroom, because it is well known to be difficult for children to understand the meaning of division with decimals. It is suggested that children begin to conceive division as the relationship between the equivalent expressions at the hypothetical-deductive level detached from the concrete one, and that children's explanation based on a reversibility of reciprocity are effective in overcoming the difficulties related to division with decimals. It enables children to conceive multiplication and division as a system of operations.

• Annual Conference on Human and Language Technology
• /
• 1991.10a
• /
• pp.171-177
• /
• 1991

한글 표현에 나타난 부정의 사용의 애매성에서 부터 그 속의 어떠한 종류이던간의 특성을 귀납적으로 추론하는 것은 언어학적으로 중요하나, 부정이 가지고 있는 원초적인 문제를 고찰하는 것이 또다른 측면으로 한글속의 부정을 조명하여 볼 수도 있을 것이다. 그래서 부정의 개념적 구조에서 부터 한글 표현에서의 부정의 사용을 이해하여 보려는 형식적 구조에서 시작하여서 한글 부정의 특성을 살펴 보고자 한다.

• Journal of the Korean Society for Library and Information Science
• /
• v.49 no.3
• /
• pp.81-107
• /
• 2015

This study describes the Bottom-up method for implementation of an ontology system from the RDB. The STNet, a structured terminology glossary based on RDB, was served as a test bed for converting to RDF ontology, for generating the inference rules, and for evaluating the results of the semantic search. We have used protege editor of the ontology developing tool to design ontologies with test data. We also tested the designed ontology with the Inference Engine (Pellet) of protege editor. The generated reference rules were tested by TBox and SPARQL queries through STNet ontology. The results of test show that the generated reference rules were verified as true and STNet ontology were also evaluated to be useful for searching the complex combination of semantic relation.

• Journal of KIISE
• /
• v.42 no.3
• /
• pp.307-319
• /
• 2015

Current ontology studies use the Hadoop distributed storage framework to perform map-reduce algorithm-based reasoning for scalable ontologies. In this paper, however, we propose a novel approach for scalable Web Ontology Language (OWL) Horst Lite ontology reasoning, based on distributed cluster memories. Rule-based reasoning, which is frequently used for scalable ontologies, iteratively executes triple-format ontology rules, until the inferred data no longer exists. Therefore, when the scalable ontology reasoning is performed on computer hard drives, the ontology reasoner suffers from performance limitations. In order to overcome this drawback, we propose an approach that loads the ontologies into distributed cluster memories, using Spark (a memory-based distributed computing framework), which executes the ontology reasoning. In order to implement an appropriate OWL Horst Lite ontology reasoning system on Spark, our method divides the scalable ontologies into blocks, loads each block into the cluster nodes, and subsequently handles the data in the distributed memories. We used the Lehigh University Benchmark, which is used to evaluate ontology inference and search speed, to experimentally evaluate the methods suggested in this paper, which we applied to LUBM8000 (1.1 billion triples, 155 gigabytes). When compared with WebPIE, a representative mapreduce algorithm-based scalable ontology reasoner, the proposed approach showed a throughput improvement of 320% (62k/s) over WebPIE (19k/s).