• 논리연구
• /
• 제18권2호
• /
• pp.197-215
• /
• 2015

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 1997년도 제4회 학술대회 논문집
• /
• pp.83-86
• /
• 1997

본 연구에서는 하이퍼미디어 및 시간 종속적 문헌의 논리적 구조를 표현하기 위한 국제표준인 HyTime을 이용하여 하이퍼미디어 문헌을 구조화하고 그 구조정보를 기반으로 키워드검색을 지원하는 하이퍼미디어 문헌 검색시스템을 구현하였다.

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

한글 표현에 나타난 부정의 사용의 애매성에서 부터 그 속의 어떠한 종류이던간의 특성을 귀납적으로 추론하는 것은 언어학적으로 중요하나, 부정이 가지고 있는 원초적인 문제를 고찰하는 것이 또다른 측면으로 한글속의 부정을 조명하여 볼 수도 있을 것이다. 그래서 부정의 개념적 구조에서 부터 한글 표현에서의 부정의 사용을 이해하여 보려는 형식적 구조에서 시작하여서 한글 부정의 특성을 살펴 보고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.237-239
• /
• 2000

인터넷의 비약적인 발전, 네트웍 인프라의 향상으로 인해 인터넷을 이용한 문서 처리는 날로 증가하고 있으며, 이 기종간의 문서 정보 교환 역시 계속해서 증가하고 있다. 또한 문서의 표현 방법 및 문서량의 증대로 사용자의 요구는 계속 다양해져 가고 있다. 기존의 웹에서 사용되고 있는 HTML(Hyper-Text Markup Language)의 경우 그 표현력의 한계 때문에 사용자가 직접 구조적인 문서를 생성할 수가 없었다. 이에 W3C에서 XML (eXtensible Markup Language)을 발표하여 사용자가 직접 논리적인 문서의 작성하는 것이 가능하도록 했다. 이러한 XML 문서의 논리적인 구조를 표현하기 위해서는 문서의 원형을 정의할 수 있는 DTD(Document Type Definition)가 필요하며, 본 논문은 이러한 XML 문서의 원형을 정의하기 위해 필요한 DTD를 보다 효율적이며 쉽게 작성할 수 있는 DTD 편집기의 구현 및 설계에 대하여 논술한다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 2014년도 제21회 학술대회 논문집
• /
• pp.95-98
• /
• 2014

본 연구는 지역명 범주에 속하는 용어들의 개념적 특성을 분석하고, 이를 토대로 다른 범주와의 관련도를 파악하여 지역명 범주 용어들을 중심으로 관계 속성들 사이의 논리적 연관성을 부여할 수 있는 모형 도출에 기반이 되는 기초 연구이다. 지역명 범주 용어 중 국가명에 한정하여 분석한 결과, 국가명 개념 속성 중심으로는 계층 구조 관계의 지역명 범주 용어들끼리 연관이 높으며, 전체 범주 용어들의 개념 속성 중심으로는 지역명 범주 용어가 지리적 위치로서의 의미로 주로 쓰이나, 행위의 주체 또는 객체의 의미나 시대의 개념으로도 많이 활용됨을 알 수 있었다. 국가명이 참조되는 개념 속성과 연관되어 활용되는 관계 속성의 경우의 일부는 참조하는 주요 개념 범주와 연관 관계를 토대로 논리적 의미 관계를 생각해볼 수 있는 것으로 나타났다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.458-460
• /
• 1999

본 논문에서는 다양한 객체를 포함한 다단 문서 영상을 원본 문서와 거의 유사한 형태의 HTML 문서로 변환할 수 있는 방법을 제안한다. 또한 논문이나 매뉴얼, 책의 한 단원 등 여러장의 입력 문서의 경우, 문서의 논리적인 구조 분석을 수행하고 장이나 절 등의 섹션 제목들을 계층화하여 다단 문서의 변환과 동시에 구조화된 목차 페이지도 함께 자동 생성하는 방법을 제안한다. 제안된 다단 문서 변환 알고리즘을 잡지, 신문, 광고지, 매뉴얼 등, 비정형화된 문서에 적용한 결과, 원본 문서의 형태와 구조에 큰 변함없이 유사하게 변환되었고, 논리적인 구조 분석 및 섹션 제목들의 계층화 작업 또한 정확히 수행되어 구조화된 목차 페이지의 자동 생성이 가능하였다.

• 논리연구
• /
• 제20권2호
• /
• pp.273-292
• /
• 2017

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계를 다룬다. 보다 구체적으로, 먼저 누승적 미아놈에 바탕을 두 논리 체계 $P_nIMIAL$, $FP_nIMIAL$을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 $FP_nIMICAL$가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 한국인터넷방송통신학회논문지
• /
• 제8권2호
• /
• pp.15-21
• /
• 2008

본 논문에서는 2진논리의 확장을 Galis체상에서 해석하여 확장논리에 기초한 순차디지털논리시스템과 컴퓨터구조의 핵심인 연산알고리즘을 논의하였다. 순차디지털논리시스템은 Building Block으로서 T-gate를 사용하였으며, 차순상태함수, 출력함수를 도출하여 최종 궤환이 없는 Moore Model의 순차디지털논리시스템을 구성하였다. 그리고, 컴퓨터구조에서 중요한 연산알고리즘의 핵심인 가산, 감산, 승산 및 제산 알고리즘을 유한체의 수학적 성질을 토대로 각각 도출하였다. 특히, 유한체 GF($P^m$)상에서 P=2인 경우는 기존의 2진디지털논리시스템에 적용이 용이하다는 장점이 있으며, mod2의 성질에 의해 감산 알고리즘은 가산 알고리즘과 동일하다. 제안한 방법은 기존의 2진논리를 확장할 수 있어 좀 더 효율적으로 디지털논리시스템을 구성할 수 있을 것으로 사료된다.

• 한국멀티미디어학회논문지
• /
• 제5권4호
• /
• pp.351-360
• /
• 2002

하이퍼미디어 응용에 나타나는 다양한 형태의 멀티미디어 데이타와 이들 사이의 동기화 등을 지원하기 위해 하이퍼미디어 전자 문서의 기술 표준인 HyTime(Hypermedia/Time-based Structuring Language)이 사용되고 있다. 그런데 이러한 HyTime 문서를 효과적으로 관리하기 위해서는 HyTime문서의 논리적 구조 정보를 체계적으로 데이타베이스에 저장하여 여러 사용자가 공유할 수 있도록 관리할 필요가 있다. 본 논문에서는 하이퍼미디어 문서의 논리적인 구조를 정의하는 HyTime DTD(Document Type Definition)를 객체 지향 데이타베이스에서 체계적으로 관리하기 위해 메타 데이타베이스 스키마를 설계하고 이를 관리하는 방법을 기술한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 춘계공동학술대회 발표논문집 IMF시대의정보화 추진전략
• /
• pp.107-110
• /
• 1998

비디오를 이용한 여러응용들 중에서 비디오 검색은 중요한 부분을 차지한다고 볼 수 있다. 구조화된 비디오의 물리적 정보와 논리적 정보를 이용한 비디오 검색이 일반적이다. 그중 논리적 정보는 비디오 DB 에 구축된 구조화된 비디오를 이용한다. 비디오 검색은 구조화 과정에서 정의된 인덱스에 따라 사용자가 원하는 비디오를 검색하게 된다. 본 연구에서는 비디오 검색 시 운영체제를 고려하여 비디오 검색 정보를 아이콘화 시켜 관련된 비디오 샷을 찾아내는 시스템을 연구하였다. 본 연구의 결과는 비디오 검색 및 편집은 물론이며 멀티미디어 정보활용등의 여러 응용분야에 효과적으로 적용할 수 있을 것으로 생각된다.