• Annual Conference on Human and Language Technology
• /
• 1991.10a
• /
• pp.307-320
• /
• 1991

본 연구는 한국어 음성합성 시스팀에서 한글 텍스트를 음소로 변환 시키는 규칙기반과 신경망을 결합한 한글-음소 변환 시스팀을 제안하고 이를 위해 시스팀 모델을 설계하고 시스팀의 각 구성요소들을 설명하며 한국어 음운 변동 규칙중 설측음화 데이타와 설측음화에 상충되는 데이타를 사용하여 시스팀을 실험하고 제안된 모형의 타당성을 분석한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.06a
• /
• pp.439-440
• /
• 2013

SOLAS 제II-2장 제13.6규칙에는 로로구역의 탈출설비에 대해 규정을 하고 있다. 하지만 다소 모호한 표현을 포함하고 있어 이 연구에서는 규정 적용 현황을 소개하고 화재시 선원의 안전을 확보하고 합리적인 탈출을 위한 통일해석 개발의 필요성을 제안한다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.10
• /
• pp.138-145
• /
• 1990

This paper present a rule-based speech synthesis method for improving the naturalness of synthetic speech and using the small data base based on demisyllable units. A 12-pole Linear Prediction Coding method is used to analyses demisyllable speech signals. A syllable and vowel concatenation rule is developed to improve the naturalness and intelligibility of the synthetic speech. in addiion, phonological structure transform rule using neural net and prosody rules are applied to the synthetic speech.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2014.10a
• /
• pp.125-127
• /
• 2014

본 논문은 선박의 일대다 충돌상황에서 국제해상충돌예방규칙(COLREGs, International Regulations for Preventing Collisions at Sea, 1972)을 만족하도록 피항경로를 생성하는 충돌회피 알리고즘의 개발과 적용에 관해 기술한다. 본 연구에서 제안하는 알고리즘은 조우선박의 상대 방위각, 충돌위험정도 및 상호시계와 제한시계의 시계상태에 따라 피항동작을 분류하고, 규칙기반형태의 전문가시스템인 CLIPS(C Language Integrated Production System)를 이용하여 국제해상충돌예방규칙에 따른 피항행동공간을 생성한다. 검증을 위하여 Izuma problems의 3가지 충돌상황을 가정한 컴퓨터 시뮬레이션을 수행하였으며, 다양한 충돌상황에 대하여 안전한 충돌회피경로가 생성됨을 확인 할 수 있었다.

• Journal of Intelligence and Information Systems
• /
• v.13 no.3
• /
• pp.17-29
• /
• 2007

Inference engine that performs the brain of software agent in next generation's web with various standards based on standard language of the web, XML has to understand SWRL (Semantic Web Rule Language) that is a language to express the rule in the Semantic Web. In this research, we want to develop a forward inference engine, SMART-F (SeMantic web Agent Reasoning Tools-Forward chaining inference engine) that uses SWRL as a rule express method, and OWL as a fact express method. In the traditional inference field, the Rete algorithm that improves effectiveness of forward rule inference by converting if-then rules to network structure is often used for forward inference. To apply this to the Semantic Web, we analyze the required functions for the SWRL-based forward inference, and design the forward inference algorithm that reflects required functions of next generation's Semantic Web deducted by Rete algorithm. And then, to secure each platform's independence and portability in the ubiquitous environment and overcome the gap of performance, we developed management tool of fact and rule base and forward inference engine. This is compatible with fact and rule base of SMART-B that was developed. So, this maximizes a practical use of knowledge in the next generation's Web environment.

• Annual Conference on Human and Language Technology
• /
• 1995.10a
• /
• pp.169-174
• /
• 1995

품사 태깅은 형태소 분석 이후 발생한 모호성을 제거하는 것으로, 통계적 방법과 규칙에 기 반한 방법이 널리 사용되고 있다. 하지만, 이들 방법론에는 각기 한계점을 지니고 있다. 통계적인 방법인 은닉 마코프 모델(Hidden Markov Model)은 유연성(flexibility)을 지니지만, 교착어(agglutinative language)인 한국어에 있어서 제한된 윈도우로 인하여, 중의성 해결의 실마리가 되는 어휘나 품사별 제대로 참조하지 못하는 경우가 있다. 반면, 규칙에 기반한 방법은 차체가 품사에 영향을 받으므로 인하여, 새로운 태그집합(tagset)이나 언어에 대하여 유연성이나 정확성을 제공해 주지 못한다. 이러한 각기 서로 다른 방법론의 한계를 극복하기 위하여, 본 논문에서는 통계와 규칙을 통합한 한국어 태깅 모델을 제안한다. 즉 통계적 학습을 통한 통계 모델이후에 2차적으로 규칙을 자동학습 하게 하여, 통계모델이 다루지 못하는 범위의 규칙을 생성하게 된다. 이처럼 2단계의 통계와 규칙의 자동 학습단계를 거치게 됨으로써, 두개 모델의 단점을 보강한 높은 정확도를 가지는 한국어 태거를 개발할 수 있게 하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2072-2087
• /
• 1999

As software size ever increases and user's requirements become more and more sophisticated., the importance of software quality is more and more emphasized. However, we are not satisfied for the present techniques on detecting errors and checking consistency in the object-oriented design model. This paper proposes a systematic approach which produces implementable rules to detect errors and check consistency. At first, the meta-models for UML diagrams are constructed, generalized meta-rules are reduced from the meta-models, and then the meta-rules are applied to produce the implementable rules. This approach enables to pursue the completeness of the rules and the automation of rule application. An example of rule application shows the feasibility of the rule application.

• Journal of IKEEE
• /
• v.17 no.3
• /
• pp.332-338
• /
• 2013

BPEL is a standard executable language for specifying actions within business processes with Web services. BPEL workflow requires rule engine to describe application process in BPEL, as the requirements increase. It is needed to develop new BPEL's engine or modify BPEL's engine in order to add the functionality of rules to BPEL engines, but this method is not easy to implement and it requires very high cost. In this paper, we present an R4BPEL document, which uses the original BPEL grammar and includes a rule document. With this method, it is possible to build rule-based BPEL environment easily by adding web services with rules and R4BPEL document analyzer to the general-purpose Web services. In this paper, we campared a BPEL's document in proposed system with a BPEL's document in the existing system. And we demonstrated the simplicity of the rule-based system.

• Journal of KIISE:Software and Applications
• /
• v.28 no.11
• /
• pp.822-832
• /
• 2001

We have implemented an inductive learning system that learns PROSPECTOR-rule-style classification rules from sets of examples. In our a approach, a genetic algorithm is used in which a population consists of rule-sets and rule-sets generate offspring through the exchange of rules relying on genetic operators such as crossover, mutation, and inversion operators. In this paper, we describe our learning environment centering on the syntactic structure and meaning of classification rules, the structure of a population, and the implementation of genetic operators. We also present a method to evaluate the performance of rules and a heuristic approach to generate rules, which are developed to implement mutation operators more efficiently. Moreover, a method to construct a classification system using multiple learned rule-sets to enhance the performance of a classification system is also explained. The performance of our learning system is compared with other learning algorithms, such as neural networks and decision tree algorithms, using various data sets.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.436-438
• /
• 2004

MDA 기반 개발을 지원하는 도구를 사용하여 모델 변환을 수행하거나 또는 수동으로 모델을 변환하는 경우 두 모델간에 변환의 일관성 검증은 반드시 필요하다. 본 논문에서는 현재 개발 지원 도구에서 자동으로 수행되고 있는 MDA 핵심 개념인 모델 변환 가운데 한 가지인 PIM에서 PSM으로의 변환이 일관성을 유지하면서 정확하게 수행되었는가를 검증할 수 있는 기준으로 구성 요소간의 추적성과 데이터 타입변환의 정확성을 도출하였다. 이에 따라 모델간의 일관성을 검증하기 위한 규칙을 추적성과 정확성으로 구분하여 제시한다.