• 한국영어학회지:영어학
• /
• 제4권2호
• /
• pp.175-194
• /
• 2004

This paper provides computational algorithms for English Questions, by which we can effectively handle and implement Yes-No Questions and Wh-Questions. Those algorithms will be developed in Categorial Grammar. In this paper, we will modify and revise Steedman＇s Combinatory Categorial Grammar (CCG) so that we can computationally implement Questions effectively, which will be called a CCG-like system. In this system, semantic interpretations of Questions will be calculated compositionally based on the functor-arguments relations of the constituents. In sum, this paper provides analyses of Questions in Categorial Grammar, by which we can effectively implement Questions in English.

• 한국주거학회논문집
• /
• 제7권1호
• /
• pp.117-126
• /
• 1996

The purpose of this paper is to develop formal design principles towards flexible house plan. A flexible house plan accomodates spatial requirements corresponding to change of life style and provides a way of saving architectural materials. Design properties as a basis for manipulation of room includes adjacency, orientation and geometrical information which are suited well to flexible design. This paper has developed a formal grammar of shape which can be utilized to transform house plan. Flexible design presented here is based on the idea of various operations of the shape grammar. The shape grammar, as a set of rules, specifies manipulations of shapes for reorganization of spatial relationships of rooms in a house plan. It lists exemplary rules in control knowledge which guides design processes for modifying a plan. An example taken from house plan design is used to ilustrate important aspects of the flexible design which fundamentally provides the basis for architectural material saving.

• 정보과학회 논문지
• /
• 제44권3호
• /
• pp.239-245
• /
• 2017

확률문법은 자연어처리에서 사용되며, 확률문법에 대한 구문분석의 결과인 파스는 문법의 확률을 그대로 보존해야 한다. 대표적인 구문분석방법인 LL 파싱과 LR 파싱의 확률파싱 가능성을 살펴볼 때 LL 파싱은 문법의 확률정보를 그대로 유지하는 반면에 LR 파싱은 그렇지 않다. 확률문법과 확률파싱오토마톤과의 관계에 관한 기존 연구로 확률보존조건을 충족하는 오토마톤의 특성에 관한 연구는 진행된 바 있다. 그렇지만, 현재로서는 확률보존조건을 충족하는 오토마톤 생성모델에 관해서는 알려진 바가 없다. 본 논문에서는 단일상태파싱오토마타에 기반한 확률파싱오토마타 모델을 제안한다. 제안 모델로부터 생성되는 오토마톤은 확률보존조건을 보장하기에 별도의 확률파싱 가능 여부를 테스팅하는 단계가 불필요하고, 별도의 확률 함수를 정의하지 않아도 된다. 또한 매개인자를 적절하게 선택하여 효율적인 오토마톤의 생성이 가능하다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.268-277
• /
• 2003

문서내의 태그를 정의하는 문서타입정의(DTD)는 구문구조를 정의하는 XML 문서문법으로 이문법에 따라 작성되는 XML 문서는 파싱처리로 적합성을 확인해야 한다. XML 문서의 적합성을 확인하기 위한 파싱 방법으로서 프로그래밍 언어의 결정적 파싱은 표준에서 언급한 모든 엘리먼트선언에 대한 결정적 내용 모델에 대한 정의를 만족할 수 없다. 이에 본 논문에서는 적합한 XML 문서 처리를 위하여 구문 편집환경에 초점을 맞추고 구문편집에 기본이 되는 DTD의 내부표현과 그에 따른 알고리즘에 대하여 기술한다. 문자열로 표현되는 DTD의 엘리먼트선언과 어트리뷰트선언의 문서 논리구조는 본 논문에서 제시하는 알고리즘에 의해 그래프구조와 데이블구조로 변환되고, 특히 테이블구조의 구문정보는 속성값을 갖는 문맥자유문법형태로 구문지향적 편집기에 이용되는 문법이 된다. 이 문법을 XML 추상문법이라고 하고 문법생성결과 및 구문편집 예를 보인다.

• 인지과학
• /
• 제12권3호
• /
• pp.1-18
• /
• 2001

이 논문의 목적은 한국어 철자/문법 검사기를 교육적으로 활용한 웹 기반 국어 작문 학습 시스템의 구현이다. 웹 기반 학습시스템 \\`우리말 배움터\\`의 학습효과를 최대화하려면 한국어 철자/문법 검사기의 성능을 꾸준히 향상해야 한다 오늘날 자연어처리 시스템의 성능은 의미처리를 얼마나 정확하게 수행하는가에 달려있다 한국어 철자/문법 검사기에서 의미처리와 관련이 있는 부분은 철자 검사기에서 접사나 꼬리말과 파생하는 단어와 복합명사를 교정하는 처리기와 의미·문체 오류를 교정하는 문법 검사기이다. 본 시스템에서는 의미처리를 위하여 의존문법에 기반하여 부분문장분석과 연어관계정보를 이용한다. 여기에 더 세부적인 규칙을 추가하기 위해 단어를 개념적으로 분류하고 문장의 핵심요소인 동사를 하위범주화한 결과를 적용한다. 의미처리 기능을 강화한 철자/문법 검사기를 온라인으로 운영함으로써 웹에 기반한 한국어 학습시tm템과 통합된 환경에서 능동적이고 지능적인 학습 모형을 구현한다. 이 논문에서 다루는 의미처리의 대상은 주로 구문 단위이기 때문에 여러 개의 절이 모여 하나의 문장이 된 복문이나 중문은 다루지 못하고 있다. 또한 일률적인 체계 속에서 단어를 의미적으로 분류하는 데에도 많은 한계가 있다. 한편 이러한 자연어처리시스템을 웹 기반 학습시스템에 연결하여 효율적인 학습효과를 거두려면 학습내용 구성이나 인터페이스 설계 면에서도 고려해야 할 중요한 문제가 많다. 결론에서는 아직 완전하게 해결하지 못한 문제에 대해 고찰한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제37권6호
• /
• pp.319-322
• /
• 2010

확장된 PLR 문법은 LR 문법의 부분 클래스로서 LL 문법에 대한 커버링 성질을 만족하는 변환이 존재하는 현재까지의 가장 큰 문법 클래스이다. 본 논문에서는 확장된 PLR 문법에 대한 기존 커버링 문법 변환을 단순화시키는 커버링 문법 변환을 제시한다. 본 논문에서 제시하는 커버링 문법 변환은 기존의 4개의 규칙 유형을 3개의 규칙 유형으로 축소시킨다.

• 대한전자공학회논문지
• /
• 제18권3호
• /
• pp.1-8
• /
• 1981

In this paper, the recognition method of Hangout patterns with the partial separation for the subpatterns is proposed. First, Hangout patterns are formalized into six formal patterns and their surface structures are discriminated. Second, two to four subpatterns from one form pattern are separated by the new algorithm combined with Index mark and Window. Hangout patterns are recognized with only frontiers of the tree by defining the regular U-tree grammar for the separated subpatterns. Compared with the previous tree grammar , this grammar reduces the production rules to 1/3 and simplifies automaton processing and has more flexiblity. By the simulation result for 1,600 characters of Hangeul patterns, separation rate of subpatterns (24 or 44) is obtained 99.1% and recognition rate is obtained 100 %.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1996년도 제8회 한글 및 한국어 정보처리 학술대회
• /
• pp.469-475
• /
• 1996

이 논문은 형태소 사이의 문법 관계(Grammar Relation)에 기반하여 형태소 간의 의존 관계를 규정하고, 이를 바탕으로 의미 오류와 문체를 검증하는 문법 검사기를 제시한다. 이 방법으로 다수 어절에 걸친 의미적 오류 뿐만 아니라 번역체 문구와 뜻의 전달을 어렵게 하는 문구 등과 같이 문장을 힘없게 만드는 문체 오류를 검증한다. 또한 이러한 오류를 검증하기 위한 지식베이스의 구현과 의존 문법(Dependency Structure Grammar)을 이용한 부분 문장 분석 알고리즘을 제시한다. 이 논문에서 제시한 문법 검사기는 향후 파싱 등의 문장 분석에 중요한 자료로 이용될 것으로 기대한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권2호
• /
• pp.224-234
• /
• 2004

XML 문서 처리기는 XML 문서를 문서의 목적과 의미에 맞게 처리할 수 있어야 한다. XML의 DTD는 문서의 구조적인 정보만 제공하고 의미 정보는 제공하지 않기 때문에 문서 처리기를 자동적으로 생성하기 어렵다. 본 논문에서는 객체지향 속성 문법을 이용해서 XML 문서의 의미 정보를 기술하는 방법과 XML 문서 처리기를 자동적으로 생성할 수 있는 생성기를 소개한다. 문서 처리기 생성기는 문서처리기를 작성해야 하는 개발자의 시간과 노력을 감소시켜줄 것이다.

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

주어진 문법이 LL 언어를 생성하는가의 문제를 LL 변환 가능성의 관점에서 조사한다. LL 변환 가능 문법을 특징짓기 위해 기존의 방법은 비결정적인(nondeterministic) 복잡한 파서의 생성을 필요로 한다. 이에 기존 방법으로는 LL 언어의 본질에 대한 직관적인 이해가 어렵다. 이 단점을 극복하고자 본 논문에선 파서의 생성 없이 문법 자체의 분석을 통한 문법 유도(derivation)에 근거한 특징화를 제시한다. 새로운 특징화는 LL 언어의 본질에 대한 직관적인 이해를 도울 수 있다.