• Asia pacific journal of information systems
• /
• 제2권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.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2011년도 추계학술대회
• /
• 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.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권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.

• 한국정보처리학회논문지
• /
• 제3권7호
• /
• pp.1680-1686
• /
• 1996

연역 데이타베이스가 병렬 컴퓨터 구조에 분할 적재될 때, 내포 술어에 대한 갱신이 결정적일 필요가 있으며, 이 결과를 이용한 내포 술어의 병렬 평가 알고리즘이 요구된 다. 본 논문에서는 병렬 연역 데이타베이스의 내포 술어에 대한 삽입과 삭제가 결정적 인 방법을 제안하고 병렬 영역 데이타베이스를 휘한 병렬 컴퓨터 구도에서 갱신 방 법이 고려된 확장된 병렬 평가 알고리즘을 제안한다. 연역 데이타베이스는 외연적 데이타베이스 즉 사실들의 집합과, 내포적 데이타베이스 즉 규칙들의 집합으로 구성된다. 이 집합들을 여러개의 처리기에 분산 적재 하였을 때, 각각의 처리기에서 갱신 방법과 그 결과를 이용한 병렬 평가방법을 연구한다. 각각의 처리기는 자신의 지역 기억장치를 가지며 연결망을 통하여 서로 메세지를 교환함으로써 통신한다.

• 지능정보연구
• /
• 제9권1호
• /
• pp.251-267
• /
• 2003

객체지향 데이터 베이스에서는 지능 정보시스템에서 요구하는 것을 만족하기 위하여 보다 지능적인 질의 처리 기법이 필요하다. 본 논문에서는 추론적 기법을 사용하여, 객체지향 데이터베이스에서의 지능적인 질의 처리하는 방법에 대하여 논의한다. 논문에서 제시하는 방법을 사용하여, 객체지향 데이터베이스에서 주어진 질의에 대한 답을 추상적으로 표현하는 지능적인 답을 얻을 수 있다. 본 논문에서 제안하는 지능적인 질의 처리 방법은 규칙 표현, 규칙 재편성, 전 분석, 분석의 네 단계로 구성된다. 규칙 표현 단계에서는 객체지향 데이터베이스 스키마를 사용하여 추론 규칙을 생성한다. 규칙 재편성 단계에서는 규칙에서 순환을 제거한다. 전 분석 단계에서는 유일한 내포적 문자를 얻기 위하여 규칙변환이 이루어진다. 분석 단계에서는 SLD-분석을 사용하여 내포적 답을 구한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• 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.

• 아태비즈니스연구
• /
• 제4권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.

• 대한원격탐사학회지
• /
• 제3권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.

• 한국주거학회논문집
• /
• 제8권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.

• 한국주거학회논문집
• /
• 제10권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.