• Journal of Information Processing Systems
• /
• 제13권5호
• /
• pp.1149-1157
• /
• 2017

The satisfiability problem is always a core problem in artificial intelligence (AI). And how to improve the efficiency of algorithms solving the satisfiability problem is widely concerned. Algorithm IER (Improved Extension Rule) is based on extension rule. The number of atoms and the number of clauses affect the efficiency of the algorithm IER. DPLL rules are helpful to reduce these numbers. Then a complete algorithm CIER based on splitting rule and extension rule is proposed in this paper in order to improve the efficiency. At first, the algorithm CIER (Complete Improved Extension Rule) reduces the scale of a clause set with DPLL rules. Then, the clause set is split into a group of small clause sets. In the end, the satisfiability of the clause set is got from these small clause sets'. A strategy MOAMD (maximum occurrences and maximum difference) for the algorithm CIER is given. With this strategy, a better arrangement of atoms could be got. This arrangement could make the number of small clause sets fewer and the scale of these sets smaller. So, the algorithm CIER will be more efficient.

• 한국경영과학회지
• /
• 제18권2호
• /
• pp.183-203
• /
• 1993

One of the most difficult and time-consuming stages in the development of the knowledge-based system is a knowledge acquisition. A splitting algorithm is developed to infer a rule-tree which can be converted to a rule-typed knowledge. A market segmentation may be performed in order to establish market strategy suitable to each market segment. As the sales data of a product market is probabilistic and noisy, it becomes necessary to prune the rule-tree-at an acceptable level while generating a rule-tree. A splitting algorithm is developed using the pruning measure based on a total amount of information gain and the measure of existing algorithms. A user can easily adjust the size of the resulting rule-tree according to his(her) preferences and problem domains. The algorithm is applied to a market segmentation problem of a medium-large computer market. The algorithm is illustrated step by step with a sales data of a computer market and is analyzed.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권10호
• /
• pp.736-746
• /
• 2002

한국어에는 복합문에서 영 대용이 빈번하게 발생하여 해석을 어렵게 한다. 따라서 본 논문에서는 한국어 영 대용어 처리를 위해 복합문 분해 알고리즘과 복합문 영 대용어 복원 규칙을 제안하고, 해결방법을 제시한다. 본 논문은 신문 기사의 복합문 중에서 보조용언 내포문을 제외한 인용문, 접속문, 내포문을 처리 대상으로 한다. 복합문 분해를 위해서는 복합문 구성에 관여하는 어미들의 어미 분류표를 이용하고, 영 대용어 복원을 위해서는 생략될 때 적용된 통사규칙을 역으로 이용한다. 인용문은 주어 인칭제약에 따른 동일 명사구 탈락규칙을, 명사화 내포문은 동일 명사구 탈락규칙을, 관형화 내포문은 관계 명사구 탈락규칙을 그리고 접속문은 접속 삭감규칙을 역으로 이용하여 처리한다. 제안한 방법을 이용한 결과 전체 영 대용어 중 83.53%가 해결 가능하며 11.52%는 부분적으로 해결 가능하다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권11호
• /
• pp.826-836
• /
• 2010

본 논문은 RBMT, SMT, PBMT를 활용한 직렬 연결 방식의 하이브리드 번역 시스템을 제안한다. 번역 시스템은 입력된 문장에 대하여 구문 분석을 진행한 후, 이 정보를 바탕으로 구문 변환과 개체명 인식을 한다. 이 결과값을 의사 문장으로 변형, 문장 분리 규칙이 적용 가능할 경우, 분리된 문장에 대하여 다중 디코딩을 수행하고, 후처리기에서 접합 규칙에 따라 번역문을 생성하였다. 실험을 통하여 어순 배치의 경우 distortion 모델에 의존하지 않고 구문 변환(rule-based syntactic transfer)규칙을 사용하는 것이 더욱 효과적인 것으로 나타났다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권12호
• /
• pp.3855-3867
• /
• 2022

Name separation (splitting full names into surnames and given names) is not a tedious task in a multiethnic country because the procedure for splitting surnames and given names is ethnicity-specific. Malaysia has multiple main ethnic groups; therefore, separating Malaysian full names into surnames and given names proves a challenge. In this study, we develop a two-phase framework for Malaysian name separation using deep learning. In the initial phase, we predict the ethnicity of full names. We propose a recurrent neural network with long short-term memory network-based model with character embeddings for prediction. Based on the predicted ethnicity, we use a rule-based algorithm for splitting full names into surnames and given names in the second phase. We evaluate the performance of the proposed model against various machine learning models and demonstrate that it outperforms them by an average of 9%. Moreover, transfer learning and fine-tuning of the proposed model with an additional dataset results in an improvement of up to 7% on average.

• 산업경영시스템학회지
• /
• 제44권2호
• /
• pp.15-23
• /
• 2021

Most of the open-source decision tree algorithms are based on three splitting criteria (Entropy, Gini Index, and Gain Ratio). Therefore, the advantages and disadvantages of these three popular algorithms need to be studied more thoroughly. Comparisons of the three algorithms were mainly performed with respect to the predictive performance. In this work, we conducted a comparative experiment on the splitting criteria of three decision trees, focusing on their interpretability. Depth, homogeneity, coverage, lift, and stability were used as indicators for measuring interpretability. To measure the stability of decision trees, we present a measure of the stability of the root node and the stability of the dominating rules based on a measure of the similarity of trees. Based on 10 data collected from UCI and Kaggle, we compare the interpretability of DT (Decision Tree) algorithms based on three splitting criteria. The results show that the GR (Gain Ratio) branch-based DT algorithm performs well in terms of lift and homogeneity, while the GINI (Gini Index) and ENT (Entropy) branch-based DT algorithms performs well in terms of coverage. With respect to stability, considering both the similarity of the dominating rule or the similarity of the root node, the DT algorithm according to the ENT splitting criterion shows the best results.

• The Korean Journal of Ceramics
• /
• 제6권1호
• /
• pp.9-14
• /
• 2000

Glass transition temperature (T/sub g/) is proportional to the quadrupole splitting(Δ) of Fe(III) obtained from the /sup 57/Fe Mossbauer spectra (T/sub g/-Δ rule (1990)). The values of Δ reflect the distortion of Fe(III) atoms, which occupy the sites of network-forming atoms. Heat treatment of potassium vanadate and calcium gallate glasses at around the individual T/sub g/ causes a structural relaxation, accompanying a linear decrease of T/sub g/ and Δ values. These experimental results prove that T/sub g/ decreases with a decrease in the distortion of VO₄, GaO₄, and FeO₄tetrahedra, as the T/sub g/-Δ rule predicted.

• 한국결정학회지
• /
• 제12권3호
• /
• pp.127-136
• /
• 2001

ZnGa₂Se₄단결정 박막은 수평 전기로에서 함성한 ZnGa₂Se₄다결정을 증발원으로하여, hot wall epitaxy(HWE) 방법으로 증발원과 기판(반절연성-GaAs(100))의 온도를 각각 610℃, 450℃로 고정하여 단결정 박막을 성장하였다. 10 K에서 측정한 광발광 exciton 스펙트럼과 이중결정 X-선 요동곡선(DCRC)의 반치폭(FWHM)을 분석하여 단결정 박막의 최적 성장 조건을 얻었다. Hall효과는 van der Pauw방법에 의해 측정되었으며, 온도에 의존하는 운반자 농도와 이동도는 293 K에서 각각 9.63×10/sup 17/㎤, 296 ㎠/V·s였다. 광전류 봉우리의 10 K에서 단파장대의 가전자대 갈라짐(splitting)에의해서 측정된 Δcr (crystal field splitting)은 183.2meV, △so (spin orbit splitting)는 251.9meV였다. 10K의 광발광 측정으로부터 고품질의 결정에서 볼 수 있는 free exciton 과 매우 강한 세기의 중성 받개 bound exciton등의 피크가 관찰되었다. 이때 중성 받개 bound exciton등의 피크가 관찰되었다. 이때 중성 반개 bound excition의 반치폭과 결합에너지는 각각 11meV와 24.4meV였다. 또한 Hanes rule에 의해 구한 불순물의 활성화 에너지는 122meV였다.

• 센서학회지
• /
• 제10권6호
• /
• pp.328-337
• /
• 2001

수평 전기로에서 $CdGa_2Se_4$ 다결정을 합성하여 HWE 방법으로 $CdGa_2Se_4$ 단결정 박막을 반절연성 GaAs(100) 위에 성장하였다. $CdGa_2Se_4$ 단결정 박막은 증발원과 기판의 온도를 각각 $630^{\circ}C$, $420^{\circ}C$로 성장하였다. 10K에서 측정한 광발광 exciton 스펙트럼과 이중결정 X-선 요동곡선(DCRC)의 반치폭(FWHM)을 분석하여 단결정 박막의 최적 성장 조건을 얻었다. Hall 효과는 van der Pauw 방법에 의해 측정되었으며, 온도에 의존하는 운반자 농도와 이동도는 293K에서 각각 $8.27{\times}10^{17}/cm^3$, $345\;cm^2/V{\cdot}s$였다. 광전류 봉우리의 10K에서 단파장대의 가전자대 갈라짐(splitting)에 의해서 측정된 ${\Delta}Cr$ (crystal field splitting)은 106.5 meV, ${\Delta}So$ (spin orbit splitting)는 418.9 meV였다. 10K의 광발광 측정으로부터 고품질의 결정에서 볼 수 있는 free exciton 과 매우 강한 세기의 중성 주개 bound exciton등의 피크가 관찰되었다. 이때 중성 주개 bound exciton의 반치폭과 결합 에너지는 각각 8 meV와 13.7 meV였다. 또한 Haynes rule에 의해 구한 불순물의 활성화 에너지는 137 meV 였다.

• 응용통계연구
• /
• 제18권3호
• /
• pp.661-671
• /
• 2005

본 연구는 반복분할(recursive partitioning)에 의한 군집화 방법을 개발하고 활용 예를 보인다. 노드 분리 기준으로는 Overall R-Square를 채택하였고 실용적인 노드 분리 결정 방법을 제안하였다. 이 방법은 연속형 자료에 대하여 나무 형태의 해석하기 쉬운 단순한 규칙을 제공하면서 동시에 변수선택기능을 제공한다. 환용 예로서 Fisher의 붓꽃데이터와 Telecom 사례에 적용해 보았다. K-평균 군집화와 다른 몇 가지 사항이 관측되었다.