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

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 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.

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

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

• 인문언어
• /
• 제1권1호
• /
• pp.13-31
• /
• 2001

This essay seeks new possibilities in experimental thinking and to find ways in which philosophy can aid humanistic imagination. In emphasizing logical precision, philosophy has so far ignored the role of imagination in philosophical logic and limited itself to deductive logic. Despite the obvious fact that no degree of logical precision can fully account for, nor provide complete expression for, the vast range of human thought, other modes of thinking have suffered in the shadow of deductive logic. But these non-deductive models of thinking can in many cases better explain the emotive, aesthetic logic of the humanities. The kinds of models (deductive and non-deductive) in humanistic thinking include dialectic, abductive, analogic, pragmatic, inductive, and deductive logic. Each mode of logical thinking may be assigned a color that represents its emotive characteristics: red for dialectics (opposition): blue for abduction (transcendence); yellow for analogy (flexibility); green for pragmatics (peace); violet/purple for induction (fantasy); and finally orange for deduction (trust). And each mode can also be keyed to major areas in humanistic thought, making up the following connections: dialectic-red-history; abduction-blue-literature; analogy-yellow-philosophy ; pragmatics-green-religion ; induction-violet/purple-arts; and deduction-orange-science. These connections serve to illustrate the interrelationship between emotion and intelligence, leading us toward considerations of emotional intelligence and intelligent emotion. The former is increasingly gaining attention, as the effect of 'mood space' on intelligence is being scrutinized. That the rate of suicide among mathematicians is very high points to the need for careful study of the reverse relationship between emotion and intelligence, intelligent emotion. The need for the latter is all the more pressing, as the emergence of new technology is allowing, even forcing, us more and more to experience the world intellectually (i.e., sans emotive experience) through a new virtual space called cyberspace.

• 디지털융복합연구
• /
• 제19권9호
• /
• pp.307-316
• /
• 2021

본 연구의 목적은 연역적 형태 초점 교수법과 귀납적 형태 초점 교수법이 제2 언어학습자의 문법 성취도에 미치는 영향을 분석하고, 문법 학습에 대한 반응의 변화를 파악하는 것이다. 연구 참여자들은 84명의 대학생으로 연역적 방법을 적용한 집단 29명, 귀납적 방법의 집단 28명과 전통적 방법의 집단 27명이었다. 이들을 대상으로 사전평가 및 사전설문조사 실시하였고, 수업 처치 후 사후평가와 사후설문조사를 진행하였으며 9주 후에 지연 사후평가를 수행하였다. 모든 양적 자료의 통계 처리를 위해 일원배치 분산분석, 대응표본 T-검정, 반복측정 분산분석을 실시하였다. 연구 결과, 두 가지 형태 초점 교수법은 학습자의 문법 성취도 향상에 영향을 미쳤으며 이들의 장기적 지속 효과도 있었던 것으로 나타났다. 한편, 연역적 방법이 성취도에 더 효과적이었던 반면 문법 학습에 대한 반응에 있어서는 귀납적 방법이 더 긍정적인 변화를 보였다. 본 연구 결과는 형태 초점 교수법이 한국의 EFL 상황에서도 충분히 활용할 가치가 있음을 함의한다. 따라서 형태 초점 교수법의 지속 효과에 대해 더 장기적인 변화과정을 관찰하는 후속 연구가 이루어져야 할 것이다.

• 한국과학교육학회지
• /
• 제34권4호
• /
• pp.375-383
• /
• 2014

이 연구는 대중매체에서 보고되는 과학 관련 정보에 관한 중학생들의 평가 양상을 가설-연역적 추론의 측면에서 분석하여 과학적 소양 함양을 위한 과학 교육에 시사점을 얻고자 하였다. 중학생 66명을 대상으로 정보평가 능력 검사지를 사용한 지필 검사와 개인 면담을 통해 자료를 수집하였다. 정보평가능력 검사지는 6개의 주제에 관해 각 주제별 질문을 가설-연역적 추론 과정에 따라 제시하였다. 가설-연역적 추론 과정에 따라 정보에서 설명하는 내용이 예측하는 것을 확인하고, 실측한 자료를 식별하여, 정보에서 설명하는 내용의 타당성을 판단하는 각 단계에 나타난 학생들의 응답 유형과 가설-연역적 추론 과정에 따라 정보를 평가하는지 여부 및 정보의 타당성 판단에 사용하는 근거에 대한 신념을 조사 분석하였다. 연구결과 정보평가 과정에서 중학생들은 주어진 정보와 개인의 사전 경험 및 지식의 조합에 따른 여러가지 유형을 보였고, 가설-연역적 추론 과정에 따라 정보를 평가한 사례는 적게 나타났다. 가설-연역적 추론을 한 학생의 경우 정보 판단에서 과학적 증거를 우선하는 경향을 보인 반면 가설-연역적 추론을 하지 않은 학생은 개인적 경험을 우선하는 경향을 보였다. 연구 결과는 과학적 소양을 위한 과학 수업 및 교육과정에 시사점을 제공하며 추후 연구에서 자료의 타당성에 관한 판단을 포함한 학생들의 평가 능력 측정 및 가설-연역적 추론 외 다른 형태의 추론 능력 역시 측정할 필요성을 제시한다.

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

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

• 정보처리학회논문지D
• /
• 제9D권6호
• /
• pp.991-998
• /
• 2002

본 논문에서는 XML 데이터와 같은 비구조적인 데이터 처리와 추론을 필요로 하는 의미 웹(semantic web) 구축에 유리한 연역 객체 지향 데이터베이스(Deductive and Object-oriented Database) 언어구현을 통해 XML 데이터 처리에 대해 알아본다. 대량 문서 관리와 데이터 교환에 가장 유용한 마크업 언어로 알려진 XML을 이용하여 XML 데이터 모델을 연역객체지향 데이터베이스 모델로 바꾸는 방법에 대해 알아본 다음 이 연역객체 지향 데이터베이스를 다시 Connection Graph로 바꾸고 Connection Graph Resolution을 이용하여 어떻게 질의에 답할 수 있는지를 기술한다. 또한 데이터베이스 내의 계층 지식을 이용하여 효율적이면서도 같은 답을 주는 질의로 바꾸는 방법을 제시하고 이 방법이 효율적이며 논리적으로 타당하다는 점을 증명한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1449-1454
• /
• 2003

For many industrial processes there are good static models used for process design and steady state operation. By using system identification techniques, it is possible to obtain black-box models with reasonable complexity that describe the system well in specific operating conditions [1]. But black-box models using inductive modeling(IM) is not suitable for model based control because they are only valid for specific operating conditions. Thus we need to use deductive modeling(DM) for a wide operating range. Furthermore, deductive modeling is several merits: First, the model is possible to be modularized. Second, we can increase and decrease the model complexity. Finally, we are able to use model for plant design. Power plant must be able to operate well at dramatic load change and consider safety and efficiency. This paper proposes a simplified nonlinear model of an industrial boiler, one of component parts of a power plant, by DM method and applies optimal control to the model.

• 한국산학기술학회논문지
• /
• 제11권9호
• /
• pp.3289-3295
• /
• 2010

기업의 자재관리 영역에서 자재소요계획은 효과적인 의사결정을 위한 중요한 활동 중 하나이다. 수요가 점차 늘어남에 따라 실용성 있는 데이터 모델이 필수적으로 요구되고 있다. 본 연구는 다양한 형태로 표현되는 데이터를 적절한 구조로 모델링하여 기업 자재관리 응용 분야에서 효율적으로 사용할 수 있도록 연역 모델 릴레이션을 설계한다. 이를 이용하여 순환적 데이터 검색을 가능하게 하는 새로운 질의 방법을 제시하며, 그 효율성을 비교한다.