• 논리연구
• /
• 제2권
• /
• pp.119-150
• /
• 1998

이 글의 기본적인 목적은 논리 체계의 근간이 되는 구조의 중요성을 부각시키는데 있다. 이를 위하여 여기서는 그러한 구조 논의가 격자를 통해 마련될 수 있다는 점을 논리, 철학적으로 예증하였다. 구체적으로 첫째로 그간 이질적인 체계로 간주되어 온 명제를 대상으로 한 고전 논리와 직관주의 논리, 다치 논리가 모두 격지 구조를 갖는다는 것을 형식적으로 증명하였다. 둘째로 격자 구조가 갖는 철학적 함의를 멱등법칙을 중심으로 검토하였다.

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

본 논문에서는 웹 문서를 XML 문서로 변환하기 위한 논리적 구조분석 방법을 제안한다. 제안된 방법은 비주얼 그룹화, 요소 식별, 그리고 논리적 그룹화의 세 단계로 구성된다. 특히 정교한 수준의 논리적 구조분석을 지원하기 위하여 특정 주제에 속하는 문서 유형의 논리적 계층 구조를 효과적으로 기술할 수 있는 문서 모델을 정의한다. 제안된 방법은 비주얼 그룹화를 통해서 추출된 시각적 계층구조와 문서 유형에 대한 논리적 구조 정보를 기술한 문서 모델에 기반하기 때문에 보다 정교한 수준의 구조 분석을 지원한다. 제안된 방법의 성능을 평가하기 위하여 웹으로부터 추출한 다수의 HTML 문서를 대상으로 실험한 결과, 기존 연구라 비교하여 논리적 구조분석을 성공적으로 수행하였다. 제안된 방법은 논리적 구조분석의 최종 결과로서 XML 문서를 생성하기 때문에 문서의 재 사용성을 높인다.

• 한국멀티미디어학회논문지
• /
• 제7권10호
• /
• pp.1354-1369
• /
• 2004

본 논문에서는 웹 문서를 XML 문서로 변환하기 위한 논리적 구조분석 방법을 제안한다. 제안된 방법은 비주얼 그룹화, 요소 식별, 그리고 논리적 그룹화의 세 단계로 구성된다. 특히 정교한 수준의 논리적 구조분석을 지원하기 위하여 특정 주제에 속하는 문서 유형의 논리적 계층 구조를 효과적으로 기술할 수 있는 문서 모델을 정의한다. 제안된 방법은 비주얼 그룹화를 통해서 추출된 시각적 계층구조와 문서 유형에 대한 논리적 구조 정보를 기술한 문서 모델에 기반하기 때문에 보다 정교한 수준의 구조 분석을 지원한다. 제안된 방법의 성능을 평가하기 위하여 웹으로부터 추출한 다수의 HTML 문서를 대상으로 실험한 결과, 기존 연구와 비교하여 논리적 구조분석을 성공적으로 수행하였다. 제안된 방법은 논리적 구조분석의 최종 결과로서 XML문서를 생성하기 때문에 문서의 재 사용성을 높인다.

• 논리연구
• /
• 제6권2호
• /
• pp.83-106
• /
• 2003

선호구조의 논리를 결정모델에 적용시킬 때 선호구조는 일반적으로 특정 수치적 순서화 조건을 만족하게끔 표현된다. 그래야 주어진 선택지들을 둘러싼 개인 혹은 집단의 선호구조에 관한 정보가 형식적으로 표출될 수 있다고 여겨져 왔다. 그러나 선호구조의 수치적 순서화에 의해서만 선호관계의 정보가 형식적으로 표출될 수 있다는 성각은 일종의 독단이다. 더욱이 다양한 선택지의 결합에 의한 선호구조의 정보 이동은 기존의 수치적 순서화 속에서 제대로 다루어질 수 없다. 하나의 대안으로서 선형대수의 그래프이론에 바탕을 둔 선호구조의 질적 순서화 방식을 제안한다. 개인 혹은 집단의 선호구조에 관한 정보는 제안될 질적 순서화에 의해 보다 포괄적으로 다루어질 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권7호
• /
• pp.524-536
• /
• 2001

본 논문에서는 다수의 페이지로 구성된 복잡한 구조의 문서로부터 SGML/XML에 기반한 전자 문서를 생성하기 위한 구문론적인 구조분석 방법을 제안한다. 특히 제안된 파싱 기법은 텍스트 라인을 기본 단위로 하는 기존 연구보다 논리적인 계층 구조를 보다 정확하고 빠르게 생성하기 위하여 텍스터 영역의 계층적인 트리 구조를 입력으로 받아들인다. 또한 문서 유형의 논리적인 구조 정보와 기하적인 특성을 효과적으로 기술할 수 있는 문서모델을 정의하고, 이의 자동 생성과 점증적인 학습 방법을 제안한다. 제안된 방법의 성능을 평가하기 위하여 과학 기술 논문으로부터 스캐닝한 372개의 논문 연상으로 실험한 결과, 제안된 방법은 기존 연구와 달리 다수의 문서 영상으로 구성된 문서에 대하여 논리적인 구조분석과 문서 모델의 자동 생성을 효율적으로 지원하였다. 특히 제안된 방법은 논리적인 구조분석의 최종 결과로서 SGML/XML 문서를 생성하기 때문에 문서의 재 사용성과 호환성을 높인다.

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

본 논문에서는 다수의 페이지로 구성된 복잡한 구조의 문서로부터 SGML/XML에 기반한 전자 문서를 생성하기 위한 구문론적인 구조분석 방법을 제안한다. 제안된 방법은 구조분석의 정확성과 처리속도의 향상을 위하여 텍스트 영역의 계층적인 트리를 파싱하여 논리적인 계층 구조를 추출한다. 또한 본 논문은 문서 유형의 논리적인 구조 정보와 기하적인 특성을 효과적으로 기술할 수 있는 문서 모델을 정의한다. 제안된 방법의 성능을 평가하기 위하여 IEEE Transactions on Pattern Analysis and Machine Intelligence로부터 스캐닝한 372개의 논문 영상으로 실험한 결과, 제안된 방법은 기존 연구와 달리 다수의 문서 영상으로 구성된 문서에 대하여 논리적인 구조분석을 효율적으로 지원하였다. 특히 제안된 방법은 논리적인 구조분석의 최종 결과로서 SGML/XML 문서를 생성하기 때문에 문서의 재사용성과 호환성을 높인다.

• 논리연구
• /
• 제22권1호
• /
• pp.25-42
• /
• 2019

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 준구조 퍼지 논리를 위한 집합 이론적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 세 준구조 퍼지 논리체계들을 상기한 후 이 체계들에 상응하는 크립키형 의미론을 소개한다. 다음으로 집합 이론적 방식을 이용하여 이 체계들이 완전하다는 것을 보인다.

• 논리연구
• /
• 제19권2호
• /
• pp.295-322
• /
• 2016

이 글에서 우리는 유니놈에 기반한 퍼지 논리를 위한 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 유니놈에 기반한 논리체계들을 위한 대수적 의미론을 재고한다. 다음으로 유니놈에 기반한 체계들의 일반적 구조에서 다양한 종류의 일반적 대수적 크립키형 의미론을 소개하고 그것들을 대수적 의미론과 연관 짓는다. 마지막으로 우리는 유사하게 특수한 대수적 의미론을 소개하고 이를 또한 대수적 의미론과 연관 짓는다.

• 융합신호처리학회 학술대회논문집
• /
• 한국신호처리시스템학회 2000년도 추계종합학술대회논문집
• /
• pp.233-236
• /
• 2000

본 연구에서는 패턴 인식용 다층 퍼셉트론 신경망을 순수 디지털 논리회로 모델로 전환 구현할 수 있도록 새로운 논리뉴런의 구조, 디지털 정형 다층논리신경망 구조, 그리고 패턴인식의 응용을 위한 다단 다층논리 신경망 구조를 제안하고, 또한 제안된 구조는 매우 단순하면서도 효과적인 증가적인 가법적(Incremental Additive) 학습알고리즘이 존재함을 보였다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 1998년도 제5회 학술대회 논문집
• /
• pp.5-8
• /
• 1998

비구조화된 전문DB는 이용자가 필요로 하는 부분을 지정하여 다양하게 탐색한 수 없고, 또한 부적합 정보가 다량 탐색된다는 단점이 있다. 이러한 문제점을 해결하기 위해서 문헌의 구조화가 시도되고 있으나, 지금까지는 대부분 형태적 논리구조에 기반한 탐색기법이 연구되어 왔다. 따라서 본 논문에서는 문헌의 구조화에 형태적인 논리구조 뿐만 아니라 의미적인 논리구조도 반영될 수 있도록 단락을 객체단위로 한 의미구조 관계를 규명하고 이를 전문DB 구조에 적용하기 위한 타당성을 고찰하였다.