• 한국지능시스템학회논문지
• /
• 제11권3호
• /
• pp.286-291
• /
• 2001

We inverstigate the properties of BL-hommorphisms on BL-algebras. In particular, we find the BL-algebra in duced by lattice-isomorphism. From these facts, we obtain the generalized Lukasiewicz structure. More-over, we study the properties of quotient BL-algebras and deductive systems.

• 호남수학학술지
• /
• 제46권1호
• /
• pp.82-100
• /
• 2024

The main objective of the study is to introduce ideals of Sheffer stroke Hilbert algebras by means of fuzzy points, and investigate some properties. The process of making (fuzzy) ideals and fuzzy deductive systems through the fuzzy points of Sheffer stroke Hilbert algebras is illustrated, and the (fuzzy) ideals and the fuzzy deductive systems are characterized. Certain sets are defined by virtue of a fuzzy set, and the conditions under which these sets can be ideals are revealed. The union and intersection of two fuzzy ideals are analyzed, and the relationships between aforementioned structures of Sheffer stroke Hilbert algebras are built.

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

• 호남수학학술지
• /
• 제33권1호
• /
• pp.61-71
• /
• 2011

The notion of a complicated pre-logic is introduced and investigated some properties of it. A special set in a pre-logic is established and some related its properties are discussed. Also more extended special sets in a pre-logic are introduced and some relations with deductive systems are obtained.

• 대한수학회논문집
• /
• 제23권3호
• /
• pp.313-324
• /
• 2008

Molodtsov [8] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of subtraction algebras. The notion of soft WS-algebras, soft subalgebras and soft deductive systems are introduced, and their basic properties are derived.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권4호
• /
• pp.377-385
• /
• 2008

The notion of fuzzy abysms in Hilbert algebras is introduced, and several properties are investigated. Relations between fuzzy subalgebra, fuzzy deductive systems, and fuzzy abysms are considered.

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

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

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 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.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제13권3호
• /
• pp.217-233
• /
• 2009

The purpose of this study is to describe how dynamic geometry systems can be useful in proof activity; teaching sequences based on the use of dynamic geometry systems and to analyze the possible roles of dynamic geometry systems in both teaching and learning of proof. And also dynamic geometry environments can generate powerful interplay between empirical explorations and formal proofs. The point of this study was to show that how using dynamic geometry software can provide an opportunity to link between empirical and deductive reasoning, and how such software can be utilized to gain insight into a deductive argument.

• 정보처리학회논문지C
• /
• 제10C권6호
• /
• pp.717-726
• /
• 2003

본 논문에서 우리는 방대한 패킷 데이터로부터 침입탐지를 위한 규칙들을 자동으로 생성하는 방법으로 기존 연관규칙을 연역적 알고리즘을 분석하고, 그 결과를 기반으로 침입탐지 시스템에 적용되기 위한 침입 패턴 규칙들을 빠르게 생성할 수 있도록 연연적 알고리즘을 제안하였다. 본 논문에서 제안한고 있는 연역적 알고리즘은 대량의 데이터를 항목별로 분류하고 제거하는 클러스터링 개념에 적합하도록 설계하였다. 이 알고리즘은 적용될 침입탐지 시스템 패턴 생성 및 분석 모듈 방식에 직접적으로 연계되어 있으며, 이것은 침입탐지 시스템에 관한 패턴관리를 위한 규칙 데이터베이스를 구축함으로서 응용범위의 확장은 물론 기존 침입탐지 시스템의 탐지속도를 높일 수 있다. 제안된 연역적 알고리즘의 패텅 생성 기법은 침입탐지 시스템에서 생성되는 데이터의 지원율에 따라 적절히 변경될 수 있는 알고리즘을 사용하였으며, 이 기법에 의한 규칙 생성율의 향상에 따른 규칙생성 속도개선 가능성에 대해 알고리즘 시뮬레이션을 통하여 분석하였다.