• Asia pacific journal of information systems
• /
• v.2 no.2
• /
• pp.85-102
• /
• 1992

A deductive database consists of collection of stored facts and deductive rules. It can answer queries based on logical deduction from the stored facts and general rules. A deductive database has both a declarative meaning(semantics) and a procedural meaning. The declarative semantics of a deductive database provides a definition of the meaning of the program in a manner which is independent of procedural considerations, context-free, and easy to manipulate, exchange and reason about. This paper investigates various declarative semantics of deductive databases, dicusses related computational issues, and suggests another declarative semantics for deductive databases which is more practical than others.

• Proceedings of the Safety Management and Science Conference
• /
• 2011.11a
• /
• pp.219-224
• /
• 2011

The research reviews the logical approach based on the creative thoughts. The two logical approaches, including deductive convergent and inductive divergent are discussed with why-why techniques and how-how techniques. While the deductive thinking is vertical logic for interconnected hierarchical and deep domains, the inducive thinking is horizontal logic for mutually exclusive and collectively exhausted frameworks. The creative thinking comes from the reversing the logic and lessening the premise of convergent and divergent approaches.

• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.245-261
• /
• 1999

Proof is an essential characteristic of mathematics and as such should be a key component in mathematics education. But, teaching proof in school mathematics have been unsuccessful for many students. The traditional approach to proofs stresses formal logic and rigorous proof. Thus, most students have difficulties of the concept of proof and students' experiences with proof do not seem meaningful to them. However, different views of proof were asserted in the reassessment of the foundations of mathematics and the nature of mathematical truth. These different views of justification need to be reflected in demonstrative geometry classes. The purpose of this study is to characterize the types of students' justification in demonstrative geometry classes taught using dynamic software. The types of justification can be organized into three categories : empirical justification, deductive justification, and authoritarian justification. Empirical justification are based on evidence from examples, whereas deductive justification are based logical reasoning. If we assume that a strong understanding of demonstrative geometry is shown when empirical justification and deductive justification coexist and benefit from each other, then students' justification should not only some empirical basis but also use chains of deductive reasoning. Thus, interaction between empirical and deductive justification is important. Dynamic geometry software can be used to design the approach to justification that can be successful in moving students toward meaningful justification of ideas. Interactive geometry software can connect visual and empirical justification to higher levels of geometric justification with logical arguments in formal proof.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.7
• /
• pp.1680-1686
• /
• 1996

The deterministic update method of intensional predicates in a parallel deductive database that deductive database is distributed in a parallel computer architecture in needed. Using updated data from the deterministic update method, a strategy for parallel evaluation of intensional predicates is required. The paper is concerned with an approach to updating parallel deductive database in which very insertion or deletion can be performed in a deterministic way, and an extended parallel semi-naive evaluation algorithm in a parallel computer architecture. After presenting an approach to updating intensional predicates and strategy for parallel evaluation, its implementation is discussed. A parallel deductive database consists of the set of facts being the extensional database and the set of rules being the intensional database. We assume that these sets are distributed in each processor, research how to update intensional predicates and evaluate using the update method. The parallel architecture for the deductive database consists of a set of processors and a message passing network to interconnect these processors.

• Journal of Intelligence and Information Systems
• /
• v.9 no.1
• /
• pp.251-267
• /
• 2003

In order to satisfy the needs of an intelligent information system, it is necessary to have more intelligent query processing in an object-oriented database. In this paper, we present a method to apply intelligent query processing in object-oriented databases using deductive approach. Using this method, we generate intelligent answers to represent the answer-set abstractly for a given query in object-oriented databases. Our approach consists of few stages: rule representation, rule reformation pre-resolution, and resolution. In rule representation, a set of deductive rules is generated based on an object-oriented database schema. In rule reformation, we eliminate the recursion in rules. In pre-resolution, rule transformation is done to get unique intensional literals. In resolution, we use SLD-resolution to generate intensional answers.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.183-186
• /
• 1996

The relational database management systems sometimes require extremely long and complicated queries for a certain retreval. In this case, recursive retirevals are more efficient approach than the usual queries. Many researchers have tried to incorporate semantics in the traditional relational models using artificial intelligence techniques. This new concept becomes a deductive database and sometimes it is also called as a logic programming. However, the designer of a deductive database did not overcome the short of relational database. In this paper, we propose a new way of designing queries for the deductive database. We also provide relations for recursive retrieval in the deductive database. These approaches are applied for the material requirement planning.

• Asia-Pacific Journal of Business
• /
• v.4 no.2
• /
• pp.11-20
• /
• 2013

This study extends the extant scope of understanding investment decision, beyond the dominant 'technical' emphasis on the application of discounted cash flow techniques. The research methodology draws the positivist and interpretive research paradigms. It uses a deductive approach, survey strategy and principal component analysis for the analysis. Three key sets of factors emerged as important in the investment decision process in the hydropower sector. They are: group consensus (framing), influences on own judgment (heuristics), and application of knowledge & experience (intuition). The use of purposive and convenient sampling might have some unintended impact on the findings. Consequently, any generalizations of the findings to a wider population of organizations and managers need to be made with care. It is hoped that this paper will encourage other researchers to go beyond the analytic techniques of investment appraisal that have dominated investment decision research and seek to balance the emphasis by focusing on human involvement and behavioral aspects of investment decision.

• Korean Journal of Remote Sensing
• /
• v.3 no.2
• /
• pp.115-119
• /
• 1987

After the introduction of the topologically structured geographic information system(GIS) with relational DBMS, the attribute data can be handled without considering locational data. By utilzing of the characteristic of the relational DBMS, it can be used as an expert system building tool in GIS. The relational DBMS of the GIS furnishes the data needed to perform deductive functions of the expert system, and the rule based approach provides the decision rules. Therefore, rule based approach with the expert judgement can be easily combined with relational DBMS.

• Journal of the Korean housing association
• /
• v.8 no.3
• /
• pp.49-58
• /
• 1997

This Study is to divide aspects broadly that can be suggested with eyes to contemporary issues through assertions of contemporary theorists. verify those on case studies. and search for criteria on the framework of composition on expression of contemporary architecture. As the proposal of this study. the unified approach through a deductive and inductive study in the light of humanism and design creativity can establish the built environment considering human-centered architecture.

• Journal of the Korean housing association
• /
• v.10 no.4
• /
• pp.161-174
• /
• 1999

This study tried to search for solutions of present problems in architecture through interdisciplinary study which includes biology, literature, aesthetics, and psychology, and set up two models composed of the nature and the human perception which contemporary architecture has problems on. By nature-oriented approach through biology and romanticist literature, the five types of organic principles which could be obtained from structure and order in natural system and by human perception-oriented approach through aesthetic theory of Harold Osborne and perceptual and cognitive psychology the structure and order of perceptual arousal, perceptual balance, and perceptual order in human cognition based on perceptual appropriateness could be found. The unified and organic framework of architectural composition must be considered through a deductive and inductive study as this study was approached. The results of the present study can be applied to construct human-oriented design principles and factors in architectural space and form, and better environmental quality.