• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.460-463
• /
• 2002

사전 뜻풀이에서 추출된 기존의 의미정보는 동형이의어가 포함된 뜻풀이에서 명사, 용언을 모두 추출하는 방법을 이용하여 단어 중의성 해소에 부적절만 정보를 상당수 포함하게 되었다. 이러만 부적절한 정보 때문에 오분석이나 과분석이 발생하게 된다. 그러므로 기존의 의미정보에서 동형이의어 분별에 유용한 정보만을 선택하는 기준이 필요하게 되었다. 본 논문에서는 사전 뜻풀이에서 동형이의어와 의미정보 사이의 상호정보량을 계산하고 임계치를 선정하여 의미정보를 선택제약하는 방법을 이용하였다. 임계치에 의해 제한된 의미정보의 효율성을 실험하기 위한 다양만 동형이의어 분별 실험들을 수행하였다.

• 인지과학
• /
• 제18권4호
• /
• pp.417-444
• /
• 2007

일반 숙어들의 구성요소들은 통사적 현상에 적용을 받지 않을 뿐만 아니라, 의미적 합성성원리를 지키지 않는다. 그러나 이러한 숙어들과는 달리 숙어의 구성 소들이 형태, 통사적 현상에 의해 영향을 받거나 의미적 합성 과정을 거치는 숙어들도 존재한다. 본 논문은 한국어에서 이러한 두 가지 유형의 숙어들을 파악하고, 이들의 속성을 살펴본다. 이러한 경험적 연구를 바탕으로, 이들 구문들을 처리할 수 있는 제약기반이론적 분석을 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.571-573
• /
• 2002

다이어그램을 이용하는 시스템에서 다이어그램 컴포넌트는 객체의 특성을 갖기 때문에 속성(attribute)과 행위(behavior)로 구성된다. 속성은 다이어그램 컴포넌투의 위치, 크기, 또는 색깔 등의 형태(share)정보를 나타내며, 행위는 최소크기 제한, 최대크기 제한 또는 크기변경 등의 형태정보에 대한 제약사항(constraints)과 다이어그램 컴포넌트가 응용프로그램에서 가지는 의미(semantics)를 말한다. 따라서 형태 정보만을 XML로 나타내는 방법에 대한 기존의 연구로는 다이어그램 컴포넌트가 가져할 객체 특성을 나타내기에는 적합하지 않다. 이러한 문제점을 해결하고자 본 논문에서는 XML을 이용해 다이어그램 컴포넌트가 객체의 특성을 가질 수 있도록 제약 사항과 의미로 구성된 행위 원소를 추출하여 정의하고, 행위를 표현할 수 있는 방법과 행위 일소간의 영향범위를 지정할 수 있는 방법 그리고 이 글 관리한 수 있는 DML 시스템을 소개한다.

• 지능정보연구
• /
• 제12권4호
• /
• pp.73-90
• /
• 2006

인터넷을 통한 온라인 구매에 소비자들은 현 탐색엔진 및 웹 구조의 한계와 의사결정 도구의 부족으로 많은 어려움을 겪는다. 이 논문은 인터넷 쇼핑의 상황에서 소비자가 결정해야 하는 의사결정 문제를 상정하고 지능형 에이전트 구축을 통하여 그 의사결정 과정을 돕는 의사결정의 틀을 제시한다. 이 에이전트는 의미 웹 환경에서 한정도메인 제약식 프로그래밍을 추론엔진으로 삼아 의사결정을 돕는다. 이를 통해 의미웹과 제약식 프로그래밍의 두 기술의 결합이 인터넷 쇼핑 시 소비자가 겪게 되는 어려움을 어떻게 해결하는지를 제시한다.

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

본 논문은 동사의 의미표상과 명사의 한정성의 강호관계를 중심으로 목적어의 생략현상을 검토하였다. 한국어는 영어 같은 언어와 달리 주어, 목적어 등이 자주 생략된다. 이 연구는 한국어의 목적어 생략이 단순히 인간성 (humanness), 주체성 (agency), 한정성(definiteness) 등 명사의 의미자질에 의해서만 결정되는 것이 아니라, 다음 두 가지 제약이 결정적으로 작용함을 제안하고자 한다. 첫째, 목적어 생략은 행동양상 (mold of agent act)과 원인 (cause)을 심층적으로 포함하는 소위 '핵심 타동사 (core transitive)'와 선행사의 한정성 정도에 의해 결정되는데, 구체적으로 목적어 생략은 한정성 자질을 가진 선행사가 없는 담화에서는 허용되지 않는다는 제약이다. 둘째, 타동사와 명사의 한정성과는 독립적으로, 한국어의 목적어 생략은 또한, 추론에 의거하여 보다 더 적절히 해석될 수 있는 경우를 실증적으로 보이고자 한다.

• 전자통신동향분석
• /
• 제12권5호통권47호
• /
• pp.73-83
• /
• 1997

최적화 컴파일러 및 병렬 컴파일러는 종속성 분석을 통하여 프로그램의 문장 사이, 동작들 간에 가해지는 실행 순서 상의 제약 조건을 추출한다. 이러한 제약 조건은 계산의 의미를 보존하기 위한 필요 조건들이며, 컴파일러의 성능을 향상시키기 위한 프로그램의 변환은 이 제약 조건을 만족하는 범위에서 수행되어야 한다. 본 고에서는 컴파일러에서 최적화 및 병렬화할 프로그램의 부분과 적용될 변형 기법 등을 결정하기 위해 필요한 종속성 분석에 대한 내용을 다룬다.

• 한국인터넷방송통신학회논문지
• /
• 제11권6호
• /
• pp.223-234
• /
• 2011

데이터베이스 보안 기술은 새로운 컴퓨팅 환경에 대응하기 위해 전통적인 접근제어방식을 확장하여 다양한 연구들이 수행되고 있다. 본 연구에서는 보안요소의 의미적 정보를 기반으로 정책 제약조건과 질의 제약조건이 구문적으로 일치하지 않는 경우에도 보안요소의 의미를 파악하여 적절한 보안정책 집행이 가능하도록 하는 접근제어 방식을 제안한다. 의미적 보안정책 집행을 위해 시멘틱 트리계층 구조 상에서 이들 간의 의미적 함의관계를 이용하고 또한 함의에 의해 초래될 수 있는 과도한 권한부여를 방지할 수 있도록 한다. 그리고 제안방식을 구현하는 프로토타입 시스템의 구조와 성능평가를 통해 다른 접근제어 방식들과 비교한다.

• 지능정보연구
• /
• 제3권2호
• /
• pp.71-82
• /
• 1997

이 연구의 모형은, 자원(기계, 인력), 주문(작업)의 의미를 확정한 "일반화된 job-shop"이다. 이 모형의 제약조건을 파악한 후, 불확정 제약조건의 표현과 추론방법을 연구하였으며, 이를 위하여 일정계획 수립 기능들을 모듈화하였다. 불확정제약조건에 따라 모듈들을 선택적으로 사용하기 위한 추론 과정은, 먼저, 납기만족이 우선이며 제약만족(CSP) 일정계획 모듈을 사용하고 그렇지 않으면 디스패칭 모듈을 사용한다. 그리하여, 납기, 작업시간의 불확정성과 자원의 변동, 새 주문의 추가, 일정계획 목표의 변경등을 반영하는 일정계획 수립방법을 제시하였다. 이 논문은 제약만족 일정계획과 디스패칭 일정계획을 하나의 틀에서 함께 사용함으로써, 일정계획 목표의 변경이나 제조환경이 변화에 대처할 수 있음을 보인다.수 있음을 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.531-540
• /
• 2010

본 논문은 최대 엔트로피 모형에 기반한 두 단계 부분 의미 분석 방법을 제안한다. 먼저, 의미 논항의 경계를 인식하고, 그 다음 단계에서 확인된 논항에 적절한 의미역을 할당한다. 두 단계 부분 의미 분석에서는 두 번째 단계인 논항 분류가 논항 확인 단계의 결과에 기반하여 수행되기 때문에 논항 확인의 성능이 매우 중요하다. 본 논문은 논항 확인의 성능을 향상시키기 위하여 논항 확인의 전처리 단계에 구문 지식을 통합한다. 구체적으로, 절 인식 결과로부터 술어의 인접절 및 상위절들을 확인하고, 구문 분석 결과로부터 술어의 부모 노드로부터 구문 구성 요소의 부모 노드까지의 트리 거리를 추출하여 전처리 단계에서 활용한다. 실험을 통해, 구문 지식을 활용하는 것이 부분 의미 분석 성능에 기여함과 제안하는 두 단계 방법이 한 단계 방법보다 우수한 성능을 낼 수 있음을 보인다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2006년도 제7회 정기학술대회
• /
• pp.167-175
• /
• 2006