• 논리연구
• /
• 제13권2호
• /
• pp.167-201
• /
• 2010

본 논문의 목적은 철학적으로 만족스러운 메타논리학으로서 부분전체론의 가능성을 살펴보는 것이다. 그 이유는 명백하다. 소위 수리 논리학으로 알려진 메타논리학에 대한 전통적인 접근은 집합들, 함수들, 모형들과 같은 수학적 존재자들의 존재를 미리 상정하고 있다. 이는 우리가 논리학을 개별 과학 분야에 적용할 때마다, 이러한 집합론적 메타논리학이 이들 분야의 논의영역에 언제나 이들 특수한 존재자들을 부가한다는 것을 의미한다. 이러한 사실은 집합론적 메타논리학이 논리학의 존재론적 보수성과 상충한다는 것을 보여준다. 반면에 집합론과 유사한 형식 체계인 부분전체론은 존재론적으로 무고하다고 주장되어 왔다. 따라서 우리가 논리학의 존재론적 보수성을 보장할 수 있는 중립적인 메타논리학으로 이 부분전체론을 고려하는 것은 상당히 자연스러운 일일 것이다. 하지만 부분전체론의 존재론적 무고함을 주장하는 논변들을 살펴보면, 우리는 부분전체론적 합 혹은 융합체와 같은 부분전체론적 존재자들이 존재론적으로 중립적인, 무고한 존재자가 아니라는 것을 알게 된다. 결국 우리는 부분전체론을 통한 메타논리학 역시도 논리학의 기초로서 올바른 접근이 될 수 없다고 결론 내리게 된다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 한글 및 한국어 정보처리
• /
• pp.323-328
• /
• 2000

국내에서 영한 자동번역 시스템을 1985 년부터 개발한 지 벌써 15년이 흐르고 있다. 15년의 영한 자동번역 기술개발에도 불구하고 아직도 영한 자동번역 시스템의 번역품질은 40%를 넘지 못하고 있다. 이렇게 번역품질이 낮은 이유는 다음과 같이 요약할 수 있을 것이다. $\textbullet$ 입력문에 대해 파싱할 때 오른쪽 경계를 잘못 인식함으로써 구조적 모호성의 발생문제: 예를 들어 등위 접속절에서 오른쪽 등위절이 등위 접속절에 포함되는 지의 모호성. $\textbullet$ 번역 단위로써 전체 문장을 대상으로 한 번역패턴이 아닌 구나 절과 같은 부분적인 번역패턴으로 인한 문장 전체의 번역 결과 발생. $\textbullet$ 점차 증가하는 대용량 번역지식의 구축과 관련해 새로 구축되는 번역 지식과 기구축된 대용량 번역지식들 간의 상호 충돌로 인한 번역 품질의 저하. 이러한 심각한 원인들을 극복하기 위해 본 논문에서는 문틀에 기반한 새로운 영한 자동번역 방법론을 소개하고자 한다. 이 문틀에 기반한 영한 자동번역 방법론은 현재 CNN 뉴스 방송 자막을 대상으로 한 영한 자동번역 시스템에서 실제 활용되고 있다. 이 방법론은 기본적으로 data-driven 방법론에 속한다. 문틀기반 자동번역 방법론은 규칙기반 자동번역 방법론보다는 낮은 단계에서 예제 기반 자동번역 방법론 보다는 높은 단계에서 번역을 하는 번역방법론이다. 이 방법론은 영한 자동번역에 뿐만 아니라 다른 언어쌍의 번역에서도 적용할 수 있을 것이다.

• 한국지역지리학회지
• /
• 제7권4호
• /
• pp.81-92
• /
• 2001

근대 지리학 방법론 논쟁에서 가장 주요한 쟁점은 지역 지리학의 학문적 성격에 대한 논란이었다. 그러나 대부분의 논의는 지역 연구의 절차를 제시하기보다는 지역 지리학을 형이상학적으로 정당화하는 데 머물렀다. 본 연구에서는 이러한 견해를 비판적으로 검토하기 위하여 지역 지리학 방법론에 내재하는 전제들 가운데에서도 부분과 전체의 관계에 대한 존재론적 가정을 가장 중요한 준거로서 설정하였다. 대부분의 논의는 유기체론에 근거하여 지역을 복합적 존재로서 인식하고, 생명체와의 비유를 통해 지역의 속성을 파악해야 한다고 주장하였다. 그러나, 단위 지역이라는 전제의 한계와 더불어 단순히 요소들을 열거하는 데에 머물렀으며, 지역의 복합성을 포착하지 못하였다. 이러한 한계는 생활양식이라는 전제 위에서 출발한 데에서 오는 당연한 귀결이었다.

• 한국산학기술학회논문지
• /
• 제5권5호
• /
• pp.389-394
• /
• 2004

이 논문에서는 플래시 메모리의 특성에 따른 메모리 재활용 방법론을 제안하여 비용을 감소시키면서 동시에 성능의 감소를 방지하는 목적을 만족시키고자 한다. 새로운 방법론은 재활용 대상 메모리 세그먼트 공간을 K 개의 하부 공간으로 분할하여 전체 검색을 대신 부분 검색을 실행하여 비용의 최소화를 추구한다. 아울러, 새로운 메모리 공간 배정 결정 시 전체 플래시 메모리 공간의 균등 소거에 대한 개선책을 제안한다. 제안된 방법론의 최적화를 위하여 하부 공간 분할 크기를 실험을 통해 취득 하였다. 실험적 자료는 제안된 방법론이 기존의 방법론과 비교하였을 교 비용은 감소하고 성능은 개선되는 것을 예시한다. 또한, 실험을 통해 메모리 공간 배정이 메모리 공간의 균등 소거에 많은 영향을 미친다는 사실을 확인할 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2005년도 추계학술대회 및 정기총회
• /
• pp.79-84
• /
• 2005

공급 사슬을 구성하고 있는 많은 가치 활동들을 부분 적정화가 아닌 전체적인 관점에서 관리하고 개선하면서 총 원가의 개념으로 공급사슬 전체의 경쟁력을 창출할 수 있는 영역과 방법론 그리고 실제 적용 사례들을 살펴 봄으로 기업의 경쟁력에 중요한 요소인 원가 및 가격경쟁력을 향상 시킬 수 있는 방안을 제시하고자한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.157-159
• /
• 2004

시맨틱 웹 기술을 활용한 시맨틱 검색은 문서의 의미를 온톨로지의 메타데이터로 생성하여 이를 바탕으로 검색을 수행하게 된다. 이와같은 온톨로지 기반의 시맨틱 검색은 논리를 바탕으로 추론을 적용할 수 있다. 본 논문에서는 온톨로지 기반의 추론을 적용한 시맨틱 검색 시스템을 언급하고 시맨틱 검색 시스템에서의 성능향상을 위해 추론엔진의 작업메모리 영역의 부하를 줄여 기존의 시스템보다 빠른 성능의 시맨틱 검색 시스템을 제안한다. 본 논문에서 시맨틱 검색 시스템의 성능향상을 위한 방법론으로는 다음과 같다 첫째, 추론엔진이 검색 도메인내의 전체 메타데이터를 가지고 추론을 수행하지 않고 메타데이터의 온톨로지부분 만을 사용하여 사용자가 원하는 질의문을 추론하여 검색에 사용하게 한다. 둘째, 시맨틱 검색 방법에서 Dirtectly 매칭 검색과 시맨틱 추론검색을 병행하여 수행하게 한다. 이를 위해 본 논문에서는 메타데이터의 온톨로지부분과 인스턴스부분을 분리하는 단계와 분리된 온톨로지부분에서 사용자가 원하는 질의를 추론하는 단계, 추론된 질의문을 검색시스템에서 매칭하는 단계를 수행하게 된다. 이러한 방법은 메타데이터의 양이 증가하여도 온톨로지부분은 증가하지 않으므로 추론엔진에서 전 방향 추론단계의 수행시간을 단축과 추론엔진의 호출 횟수를 단축시키는 결과를 가져온다.

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

국내에서 영한 자동번역 시스템을 1985 년부터 개발한 지 벌써 15년이 흐르고 있다. 15 년의 영한 자동번역 기술개발에도 불구하고 아직도 영한 자동번역 시스템의 번역품질은 40%를 넘지 못하고 있다. 이렇게 번역품질이 낮은 이유는 다음과 같이 요약할 수 있을 것이다. o 입력문에 대해 파싱할 때 오른쪽 경계를 잘못 인식함으로써 구조적 모호성의 발생문제: 예를 들어 등위 접속절에서 오른쪽 등위절이 등위 접속절에 포함되는 지의 모호성. o 번역 단위로써 전체 문장을 대상으로 한 번역패턴이 아닌 구나 절과 같은 부분적인 번역패턴으로 인한 문장 전체의 잘못된 번역 결과 발생. o 점차 증가하는 대용량 번역지식의 구축과 관련해 새로 구축되는 번역 지식과 기구축된 대용량 번역지식들 간의 상호 충돌로 인한 번역 품질의 저하. 이러한 심각한 원인들을 극복하기 위해 본 논문에서는 문틀에 기반한 새로운 영한 자동번역 방법론을 소개하고자 한다. 이 문틀에 기반한 영한 자동번역 방법론은 현재 CNN뉴스 방송 자막을 대상으로 한 영한 자동번역 시스템에서 실제 활용되고 있다. 이 방법론은 기본적으로 data-driven 방법론에 속하다. 문틀 기반 자동번역 방법론은 규칙기반 자동번역 방법론보다는 낮은 단계에서 예제 기반 자동번역 방법론보다는 높은 단계에서 번역을 하는 번역방법론이다. 이 방법론은 영한 자동번역에 뿐만 아니라 다른 언어쌍에서의 번역에도 적용할 수 있을 것이다.

• 한국멀티미디어학회논문지
• /
• 제10권3호
• /
• pp.391-400
• /
• 2007

기술의 발전으로 인하여, 대용량의 음악 데이터들을 저장하고 검색하는 것이 중요하게 되었다. 그러나 음악데이터들을 손쉽게 분류하고 검색하기 위한 방법론에 대한 집중적인 연구는 이루어 지지 않고 있다. 본 논문에서는 내용기반의 음악 분류/검색에 대한 새로운 방법론을 제안한다. 기존의 분류화 (classification) 방법들이 음악파일 전체에 대해서 수행하는데 비해 음악파일의 부분만을 분석하여 비슷한 성능을 낼 수 있다는 것을 보여 주었고, 소리의 톤(tone) 표현에 기반한 새로운 피쳐를 제안하여 기존의 피쳐들에 비해 효과적으로 분류를 할 수 있다는 것을 보여주었다. 또한 속도향상을 위한 여러가지 방법론들을 적용하여 실 제품 적용 시 보다 효과적인 방법론이 될 수 있음을 보여주었다. 제안한 방법론을 MuSE (Music Search/Classification Engine)엔진으로 구현함으로써 PC와 PDA상에서 잘 동작함을 보여주었다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.326-329
• /
• 2002

RBAC은 역할 계층구조에서 권한의 계승과 의무분리와 같은 제약조건을 다룸으로써 접근 권한의 관리를 수월하게 하는 장점이 있다. 하지만 기존의 RBAC 연구에서는 현실세계의 기업 환경에서 일어나는 역할계층을 제대로 반영한다고 볼 수 없다. 역할 계층에서 접근 권한이 항상 아래에서 위로 상속된다는 것은 최소권한의 원칙 등의 문제를 일으킬 수 있다. 본 논문에서는 기업 환경에서 조직체계를 깨뜨리지 않고 역할을 여러 개 부역할(sub role)로 세분화하여 전체 상속, 부분 상속, 상속되지 않는 역할로 나누어 계층구조를 유지할 수 있으면서 역할 상속을 제한하는 모델을 제시하고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.397-399
• /
• 2004

하나의 시스템의 아키텍처를 설계하기 위해서는 여러 아키텍처 스타일들이 복합적으로 결합하여 시스템의 전체적인 아키텍처를 구성하게 된다. 그러나 아키텍처 설계자 또는 개발자들이 아키텍처 설계 과정 중에 현재 설계된 아키텍처가 시스템의 요구사항을 적절히 반영하고 있는지 평가해 볼 수 있는 방법이 없다. 본 논문에서는 아키텍처 평가자와 다양한 이해관계자가 모여 아키텍처를 전반적으로 평가해 보기 전에 아키텍처 설계자가 설계과정 중에 자신이 담당한 부분의 현재의 아키텍처가 시스템의 요구사항을 적절히 반영하고 있는지 여부를 판단하여 설계 과정 중에 개선점을 도굴하고, 개선점을 재 설계에 반영하는 아키텍처 설계 방법론을 제안하고자 한다