• Journal of The Korean Association For Science Education
• /
• v.24 no.3
• /
• pp.556-564
• /
• 2004

Two biology modules were developed previously for the purpose of improving creativity and scientific thinking of secondary school students. A hypothetical-deductive experimental procedure was reflected in the module when students themselves can perform a series of activities of making hypothesis and designing an experiment to solve the questions. They followed a series of scientific processes to determine some characteristics regarding plant pigments and the transport process of materials in living organisms. Four classes of 9th graders in'S' Science High School were divided into the experimental and the control group. The same contents of the modules were taught to the control group by the traditional experimental way. The students' creativity, scientific thinking, scientific inquiry skill and knowledge achievement were examined before and after the interventions. As results, the experimental groups showed more significant improvement on the areas of the students' creativity, scientific thinking, scientific inquiry skill and achievement than the control groups. Results indicated that the specially designed modules in terms of hypothetical-deductive experimental procedure were effective to improve science high school students' creativity and scientific thinking abilities.

• The KIPS Transactions:PartD
• /
• v.9D no.2
• /
• pp.227-234
• /
• 2002

When processing a query in a conventional database systems, a set of facts or tuples are usually returned as an answer. This also applies to object -oriented database where a set of objects is returned. Deductive database systems, however, provide the opportunity to obtain the answer of a query as a set of formulas, thereby reduce the costs to process the query, and represent its "intensional answers" in a more compact way independently of the database state. In this paper, by introducing rules info the object-oriented database systems and integrating the intensional query processing of deductive database systems into talc object-oriented database systems, we make it possible not only to answer incomplete queries which are not able to be answered in conventional object-oriented database systems, but also to express the answer-set abstractly as the names of classes, which provides us better understanding of the answer.

• Journal of Elementary Mathematics Education in Korea
• /
• v.17 no.1
• /
• pp.165-184
• /
• 2013

In order to utilize Sphinx Puzzle in shape education or deductive reasoning, a lesson employing Dienes' six-stage theory of learning mathematics was structured to be applied to students of 6th grade of elementary school. 4 students of 6th grade of elementary school, the researcher's current workplace, were selected as subjects. The academic achievement level of 4 subjects range across top to medium, who are generally enthusiastic and hardworking in learning activities. During the 3 lessons, the researcher played role as the guide and observer, recorded observation, collected activity sheet written by subjects, presentation materials, essays on the experience, interview data, and analyzed them to the detail. A task of finding every possible triangle out of pieces of Sphinx Puzzle was given, and until 6 steps of formalization was set, students' attitude to find a better way of mathematical deduction, especially that of operational thinking and deductive thinking, was carefully observed and analyzed.

• Journal of Gifted/Talented Education
• /
• v.21 no.2
• /
• pp.309-335
• /
• 2011

Writings of gifted students were classified by the writing analysis protocol built on the scientific inquiry process and writings of scientific journals. These writings were classified 7 types based on the existence of tentative explanations and types of conclusion. In addition the writings were classified by linear form, double linear form, supporting-conclusion form based on the number and position of writings. The characteristics of writings show that, first, the tentative explanation is located at the beginning and the drawing conclusion at the end of articles. Secondly, students prefer the linear form writing to explain their logics. Finally, supporting-conclusion writings are shown when answers of question is written only in the drawing conclusion without estimation.

• Journal of Educational Research in Mathematics
• /
• v.20 no.4
• /
• pp.511-528
• /
• 2010

Students' intuition in formal proof should be expressed as symbols according to the deductive process. The symbol will play a role of the mediation between the intuition and the formal proof. This study examined the evolution process of intuition mediated by the symbol in geometry proof. According to the results first, symbol took the great roles when students had the non-formed intuition for the proposition. The signification of symbols could explain even the proof process of the proposition with the non-expectable intuition. And when students proved it by symbols, not by figure nor words, they could evolute the conclusive intuition about the proposition.

• Journal of the Korean Home Economics Association
• /
• v.44 no.11
• /
• pp.35-42
• /
• 2006

A criticism model for dress was developed to offer a methodological insight into research on aesthetics of dress. Concepts from Edmund B. Feldman's art criticism model, James D. Carney's style-relative model of art criticism, and Sung Bok Kim's fashion criticism model were borrowed and integrated to create a criticism model for dress, comprising identification of styles, descriptive features, aesthetic value features, external interpretation, socio-cultural interpretation, and evaluation. Both inductive and deductive approaches for the identification of styles can be made in the process of dress criticism. In the former case, descriptive features and aesthetic features are sequentially identified to locate the styles of dress. In the latter case, styles are identified first, and descriptive features and aesthetic features are identified accordingly. Logical criticisms can be made based on the critics' background knowledge of the history of dress and art.

• Asia pacific journal of information systems
• /
• v.4 no.2
• /
• pp.3-34
• /
• 1994

In this paper we describe a new data modeling language we call $O^{2}LDM$. $O^{2}LDM$ incorporates features from object-oriented and logic approaches. In $O^{2}LDM$ there is a rich collection of objects organized in a type hierarchy. It is possible to compose queries that involve field selection, function application and other constructs which transcend the usual, strictly syntactic, matching of PROLOG. We give the features of $O^{2}LDM$ and motivate its utility for conceptual modeling. We have a prototype implementation for the language, which we have written in ML. In this paper we describe an executable semantics of the deductive process used in the language. We work some examples to illustrate the expressive power of the language, and compare $O^{2}LDM$ to PROLOG.

• Journal of Korean Society for Quality Management
• /
• v.33 no.1
• /
• pp.64-72
• /
• 2005

The ever increasing demand for enhanced competitiveness of engineered products requires "designing-in-quality" strategies that can effectively and efficiently incorporate concepts of uncertainty and quality into design. Multi-attribute utility function is commonly used to represent the decision-maker's preference on multiple design attributes under conditions of uncertainty and risk. One of the major issues in implementing this approach concerns the generation of appropriate utility function, especially in a complex engineering design environment. Typically, the decision maker's preference is revealed through lottery questions rather than being structured on the deductive reasoning to reflect the nonlinear tradeoffs among the attributes. The use of such intuitive procedures can lead to inexact preference information that may result in inaccuracy and rank reversal problems. This paper presents an alternative procedure based on the pair-wise comparisons between design alternatives towards a consistent preference presentation in assessing multiplicative utility function. The effectiveness of the overall procedures is tested with the aid of an injection-molding process design for a capacitor can and the results are discussed.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.4
• /
• pp.289-297
• /
• 2012

It is a recent trend to utilize a variety of visual tools(process map, mindmap, ERD) to create, when we create the design of information system or business models. Theses visual tool is standardized tools as process map or BPMN, on the other hand, there is also a non-standardized tools as mindmap. The utilization of the non-standardized tools as mindmap in startups is a increasing trend, because of the order the release of creative thinking to design new business model. Mindmaps can be divided into pen-based mindmap(of hand-written) and computer-based mindmap. This study was conducted under the premise of a different thinking pattern, when you take advantage of pen-based mindmap and computer-based mindmap. In other words, the pen-based mindmap is a tool for deductive reasoning and the computer-based mindmap is a tool would be more appropriate for inductive thinking. The purpose of this study is to investigate these relationships through experiments. In this study propose guidelines how visual tools, when designing a social media business models.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.36 no.6
• /
• pp.1-11
• /
• 2009

This study focuses on Abstract Types in Contemporary Landscape Design. The formation and artistry of contemporary landscape design reveals many areas which Previously have not been able to be expressed in scenic landscape thanks to the deviation of the genre in contemporary landscape and the hybridization that has occurred among architecture, landscape and art genres. The focus of this study is basic research concerning "the abstract", which is used as a creative artistic theory in a variety of art fields such as landscape, architecture and painting. Through a theoretical establishment of "the abstract", its process of change, and the discovery of its contemporary principles, the relationship between each art field in landscapes and the formation of the abstract, abstract language, and abstract properties have been studied. The use of the abstract in contemporary landscape design can be classified in three ways: Inductive abstract representing conceptual transcendental symbols not logically but rather through intuition and transcendental cognition to display the inner expressions, ideas and minds of the artists. Second, a deductive abstract represents an expansive, logical model for the simplification of objects, distortion, exaggeration based on knowledge and logical reasoning about objective fact based on traditional realism. The complexity of the abstract is a concept that is bound to both the deductive & inductive abstract. As a major trend, the concept of "The abstract" in contemporary landscape has been putting forth ever-deeper roots. New trends like abstract works and landscape architecture reflecting the artist's inner expression, in particular, will provide fertile soil for landscape in the future. Further research about the concept of "the abstract" will also be necessary in the time to come.