• 논리연구
• /
• 제9권1호
• /
• pp.1-29
• /
• 2006

This paper investigates algebraic semantics for sKD and its extensions $sKD_\triangle$, $sKD\forall$, and $sKD\forall{_\triangle}$: sKD is a variant of the infinite -valued Kleene- Diense logic KD; $sKD_\triangle$ is the sKD with the Baaz's projection A; and $sKD\forall$ and $sKD\forall{_\triangle}$: are the first order extensions of sKD and $sKD_\triangle$, respectively. I first provide algebraic completeness for each of sKD and $sKD_\triangle$. Next I show that each $sKD\forall$ and $sKD\forall{_\triangle}$: is algebraically complete.

• 한국CDE학회논문집
• /
• 제4권3호
• /
• pp.238-246
• /
• 1999

The modeling method to support product development processes (PDP) must have certain characteristics including the ability to represent multiple viewpoints of the product development and integrate with currently available analysis and design methods based on CE concept. This paper describes the reference model to support multiple viewpoints (PPO: Products, Processes, and Organizations/Resources viewpoints) of the product development processes, from which each model (Products model, Processes model, and Organizations/Resources model) can be extracted, as well as produces PPO data schema. This reference model has associative relationships among the products, processes, and organizations/resources. To allow the extensibility to support design evolution, we propose structured dat representation methods using semantic network, which can be constructed through first-order logic. The product development processes is so represented by specifying entities and semantic relationships among them hat he appropriate information can be accessed and all of the relevant attributes about the entities can be retrieved simultaneously.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2006년도 춘계학술대회 논문집
• /
• pp.609-610
• /
• 2006

This paper introduces a methodology for construction of ontology-based product knowledge Map. For CPC(Collaborative Product Commerce) environment, engineering application of ontology has been studied . However, there are no generic and comprehensive methodologies for ontology construction yet because of such problems: dependency on experience of ontologist and domain experts and insufficiency of detail stages or rules. To solve those problems, we propose a methodology to construct ontology from engineering documents in semi-automatic. We use middle-out strategy and term's axioms, sub-definitions, to build ontology map. 5-turple ontology structure, semantic network and First order logic (FOL) are used for ontology definition in this study.

• 전기학회논문지
• /
• 제60권7호
• /
• pp.1396-1403
• /
• 2011

It is not easy to analyze the strong nonlinear time series and effectively design a good prediction system especially due to the difficulties in handling the potential uncertainty included in data and prediction method. To solve this problem, a new design method for fuzzy prediction system is suggested in this paper. The proposed method contains the followings as major parts ; the first-order difference detection to extract the stable information from the nonlinear characteristics of time series, the fuzzy rule generation based on the hierarchically classifying clustering technique to reduce incorrectness of the system parameter identification, and the IT2TSK fuzzy logic system to reasonably handle the potential uncertainty of the series. In addition, the design of the multiple predictors is considered to reflect sufficiently the diverse characteristics concealed in the series. Finally, computer simulations are performed to verify the performance and the effectiveness of the proposed prediction system.

• 한국지능시스템학회논문지
• /
• 제20권3호
• /
• pp.447-454
• /
• 2010

본 논문은 예측 시스템의 성능을 개선하기 위해 비선형데이터의 내재된 특성이나 불확실성을 보다 효과적으로 반영할 수 있는 Interval Type-2 TSK 퍼지논리 시스템 기반 다중 퍼지 예측시스템의 설계를 다룬다. 본 논문에 제시된 다중 예측시스템들은 데이터의 비선형적 특성들을 효과적으로 고려하기 위해 설계되며, 각각의 시스템은 Type-1 TSK 퍼지논리나 다른 방법들에 비해 데이터의 불확실성을 충분히 반영할 수 있는 Interval Type-2 TSK 퍼지논리를 기반으로 구현된다. 또한, 1차 차분변환 과정을 통해, 데이터의 원형으로부터 최적의 차분데이터를 생성하고, 이들을 각 시스템의 입력으로 사용함으로써 시스템 설계 시 보다 안정된 통계적 정보를 제공할 수 있도록 한다. 마지막으로, 두 개의 전형적인 시계열 데이터의 예측 시뮬레이션을 통해 제안된 방법의 효용성을 검증한다.

• 전자공학회지
• /
• 제15권3호
• /
• pp.51-56
• /
• 1988

지식처리시스템은 지식의 표현과 그 추론을 필요로 한다. 그 표현방법과 추론방법은 여러 가지가 있으나 논리(first order predicate logic)과 prolog가 무엇인지 설명하고, 논리언어를 빠르게 추론해 주는 논리머신은 어떤 종류가 있는지 살펴 보기로 한다.

• 한국CDE학회논문집
• /
• 제21권4호
• /
• pp.433-442
• /
• 2016

This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

• ETRI Journal
• /
• 제18권4호
• /
• pp.215-227
• /
• 1997

We propose a new method to eliminate completely the redundant elements in a CDMA (code division multiple access) mobile system. First, we define multilevel logic operation (MLO), which is a new concept to deal with the multilevel logic signals. We prove that the conventional binary logic concept is a subset of the MLO concept. The multilevel logic signal can be directly controlled by using this MLO in place of the binary operation. We applied the MLO to the CDMA base station modulator (BSM) in order to reduce the hardware complexity. In the case of a 3-sectorized cell, this method helps reduce the complexity down the level of below 1% of the conventional CDMA BSM for spreading and filtering, and to 50% for Walsh covering.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2001년도 춘계학술대회 학술발표 논문집
• /
• pp.47-51
• /
• 2001

According as the controlled plants become more complex and large-scaled, the development of more intelligent control schemes is required in the control field. A fuzzy logic control (FLC) is one of proper schemes for this tendency. Recently, fuzzy control has been applied successfully to many industrial applications due to a number of advantages. But it still has some disadvantages. The conventional FLC has many tuning parameters: membership functions, scaling factors, and so forth. In order to improve this problem, a single-input fuzzy logic control (SFIC) which greatly simplifies the design process of the conventional FLC was proposed. Many research has also been proposed to develop the stability analysis of the FLC. In this paper we analyze the absolute stability of the SFLC. We first expand a nonlinear controlled plant into a Taylor series about a nominal operating point. And a fuzzy control system is transformed into a Lure system with nonlinearities. We also prove that the closed-loop system with the SFLC satisfies the sector condition globally.

• 논리연구
• /
• 제9권2호
• /
• pp.1-30
• /
• 2006

This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.