• Journal of Internet Computing and Services
• /
• v.8 no.5
• /
• pp.35-43
• /
• 2007

Semantics-based notations need to be used for specification of static and dynamic semantics to specify and implement new programming language. If the semantics is practically defined, we easily gain a translator according to the implementation of the semantics. In this paper, we describe the static and dynamic semantics to get a translator easily. We present practical semantics-based Action Equations, an extension and transformation of Attribute Grammar(AGs) suitable for specifying the static and dynamic semantics of a object oriented programming language. Compare with the existing descriptions, Action Equations is superior, modernized, and accurate.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1998.08a
• /
• pp.281-286
• /
• 1998

ETRI에서 개발 중인 대화체 음성언어번역 시스템에 대하여 기술한다. 현재, ETRI는 DAM성언어번역 국제 공동 연구콘서시움인 C-STAR에 핵심참가기관으로 참여하여, 한일, 한영음성언어번역 시스템을 개발하고 있으며 1999년 국제 공동시험을 계획하고 이？. 최근의 연구 진행상황을 간추리면, 먼저 음성인식분야에서 유무성음 및 묵음정보를 미리 추출하여 이를 탐색에 활용하였으며, 음향모델 규모의 설정을 위한 교차 엔트로피 기반 변이음 군집화 알고리즘이 구현되었다. 또한 대상어휘의 확장을 위하여 의사형태소의 개념을 도입하였다. 언어번역분야에서는 이전과 같은 개념기반의 번역을 시도하고 있으며, C-STAR 회원기관과 공동으로 중간언어 규격을 정의하고 있다. 음성합성분야에서는 훈련형 합성기를 개발하여 합성데이타베이스 구축기간을 현저하게 줄였다.

• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.419-425
• /
• 1994

문법체계내의 문법규칙은 규칙의 기술양식에 의해 언어특성이 결정된다. 본 논문에서는 문법 체계의 규칙기술을 위한 새로운 자질 집합 기술 (feature set description)을 제안하고, 이를 기반으로 한 파라메터화된 문맥자유문법 (parametrized context-free grammar : PCFG)을 정의하여, 자연언어의 문법규칙을 구성하는 방법에 대하여 기술한다. 자질 집합 기술은 간결한 규칙체계를 유지하면서 강력한 생성능력을 갖는 문법체계를 구현할 수 있어, 자연언어 처리 시스템에 효과적으로 적용할 수 있음을 보였다.

• Journal of the Korean Society for information Management
• /
• v.13 no.1
• /
• pp.19-43
• /
• 1996

The indexing languages and techniques were ~ u ~ e y e d for Korean textual databases, and retrieval effectivenesses of two indexing languages were evaluated in an online searching experiment. It was found that most of the Korean textual databases surveyed employ natural language indexing by either an automatic or a manual method, and that natural language indexing may outperform controlled language indexing if appropriate search strategies are employed.

• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.111-117
• /
• 1993

강세간 음절이 증가되는데 따른 시간의 증가비율을 알아보기 위해 남녀 및 연령으로 구분되는 4그룹을 선정하여, 증가되는 음절의 마지막 낱말이 각각 '이(V)', '도(CV)', '썽(CVC)'으로 구분되는 자료를 이용하였다. 결과적으로 나온 한국어의 강세간 음절증가에 따른 시간의 증가비율의 모습은 젊은층에서는 음절시간언어에 가까운 모습을 나타내며 이에 반해 장년층은 강세시간언어의 모습을 보여준다. 두 그룹을 하나로 통합한 결과는 음절시간언어와 강세시간 언어의 중간적 양상 즉 그리이스어와 가까운 모습으로 나타난다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.498-500
• /
• 1999

컴포넌트 기반 소프트웨어 공학에서 컴포넌트를 명세하기 위한 명세 언어는 컴포넌트 분류, 검증 및 검색에 가장 기본적인 조건이다. 기존에 이미 많은 명세 언어가 사용되어 왔지만 명세의 복잡성으로 인한 어려움이 있다. 따라서 이 연구에서는 이러한 복잡성과 개발자에게 좀 더 쉬운 명세 방법을 제공하기 위해 XML을 기반으로 하여 새로운 컴포넌트 명세 언어를 제안하였다. 제안한 명세 언어는 컴포넌트의 기능명세부분, 타입 검사에 의한 검색을 위한 부분, 명세 일치 방식을 위한 부분으로 구성된 컴포넌트 기능명세와 소프트웨어 아키텍쳐를 위한 명세로 구성된다. 이 연구에서는 각 부분을 XML 태그에 의해 정의하였다. 또한 소프트웨어 아키텍쳐 명세를 위한 그래픽 표기법과 텍스트 표기법을 제안하였다. 이 연구에서 제안한 명세언어는 화이트박스 재사용과 블랙박스 재사용을 지원하고 오류가능성을 줄일 수 있다.

• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.292-297
• /
• 2020

자연어 추론 모델은 전제와 가설 사이의 의미 관계를 함의와 모순, 중립 세 가지로 판별한다. 영어에서는 RTE(recognizing textual entailment) 데이터셋과 다양한 NLI(Natural Language Inference) 데이터셋이 이러한 모델을 개발하고 평가하기 위한 벤치마크로 공개되어 있다. 본 연구는 국외의 텍스트 추론 데이터 주석 가이드라인 및 함의 데이터를 언어학적으로 분석한 결과와 함의 및 모순 관계에 대한 의미론적 연구의 토대 위에서 한국어 자연어 추론 벤치마크 데이터 구축 방법론을 탐구한다. 함의 및 모순 관계를 주석하기 위하여 각각의 의미 관계와 관련된 언어 현상을 정의하고 가설을 생성하는 방안에 대하여 제시하며 이를 바탕으로 실제 구축될 데이터의 형식과 주석 프로세스에 대해서도 논의한다.

• Proceedings of the KSLP Conference
• /
• 2014.03a
• /
• pp.17-17
• /
• 2014

• Proceedings of the KSLP Conference
• /
• 2009.03a
• /
• pp.18-18
• /
• 2009

• Proceedings of the KSLP Conference
• /
• 2008.03a
• /
• pp.20-20
• /
• 2008