• Korean Journal of Logic
• /
• v.19 no.2
• /
• pp.295-322
• /
• 2016

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for fuzzy logics based on uninorms (so called uninorm-based logics). First, we recall algebraic semantics for uninorm-based logics. In the general framework of uninorm-based logics, we next introduce various types of general algebraic Kripke-style semantics, and connect them with algebraic semantics. Finally, we analogously consider particular algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.499-504
• /
• 1994

기존의 문서 시스템은 문서의 논리적인 정보와 문서의 외양에 관련된 처리정보들이 확연히 구분되지 않음으로써 서로 다른 시스템간의 문서 교환시 정보의 손실을 가져올 뿐 아니라, 문서의 저장방식에서도 순차 화일 구조를 갖기 때문에 문서의 논리적 요소에 대한 대화식 검색이 불가능하다. 이러한 단점을 극복하고자 문서의 논리적 구조 및 내용을 중심으로 작성 가능한 표준 메타 언어인 SGML이 제정되었으며, 본 연구에서는 SGML 문서를 인식하고 해석하기 위한 SGML파서와 문서의 논리적 구조를 반영하는 저장구조 및 이를 이용한 브라우저를 구현하였다.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.25-42
• /
• 2019

This paper deals with Kripke-style semantics, which will be called set-theoretic Kripke-style semantics, for weakly associative substructural fuzzy logics. We first recall three weakly associative substructural fuzzy logic systems and then introduce their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.256-258
• /
• 2001

최근 컴퓨터 응용 기술의 발달로 비디오 데이터에 대한 처리의 필요성이 증가하고 있다. 비 정형화된 비디오에 대한 검색을 효율적으로 처리하기 위해서는 비디오의 논리적 구조와 의미적 내용을 표현할 수 있는 비디오 모델링 기법이 필요하다. 본 논문에서는 비디오의 논리적 구조는 물론 비디오 내에 포함된 의미적인 내용을 표현하기 위한 비디오 모델링 방법을 제안한다. 제안하는 모델링 기법은 의미적 내용을 효과적으로 표현하지 못하는 기존의 구조 모델링의 문제점을 해결하고 의미적인 내용들간의 시공간적 관계를 정의한다. 또한 시공간적 관계를 통한 의미적 내용에 대한 검색을 효과적으로 수행할 수 있도록 한다.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.71-109
• /
• 2014

Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

• Korean Journal of Logic
• /
• v.10 no.1
• /
• pp.25-64
• /
• 2007

본 논문에서 필자는 수학에 대한 구조주의적 해석들은 수학의 객관성을 설명하는 문제인 비공허성의 문제를 해결하지 못하고 있음을 보이고자 한다. 제거적 구조주의가 비공허성의 문제를 해결하지 못한다는 것은 대부분의 수학철학자들 사이에서 공유되는 견해이며, ante rem 구조주의는, 케래넨의 논증을 수정한 필자의 강한 논증에 의하면, 수학적 대상들에 대한 적절한 동일성 설명을 결코 제공할 수 없기 때문에, 결국 비공허성의 문제를 해결하지 못한다. 또한, 양상 구조주의자인 헬만의 경우에는, 비공허성의 문제에 대한 양상 구조주의적 해결을 가능케 해주는 주장(산수와 관련하는 경우, "${\omega}$-순서열 체계가 논리적으로 가능하다")에 이르는 그의 증명이, 필자의 판단에 따르면, 논점 선취의 오류를 저지르고 있다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1998.08a
• /
• pp.5-8
• /
• 1998

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

• Korean Journal of Logic
• /
• v.1
• /
• pp.9-63
• /
• 1997

• Proceedings of the Korea Institute of Convergence Signal Processing
• /
• 2000.12a
• /
• pp.233-236
• /
• 2000

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

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.103-106
• /
• 2000

본 논문에서는 문서 영상으로부터 전자 문서를 자동 생성하기 위한 논리적인 구조 분석을 효율적으로 지원하기 위하여 문서 모델의 자동 생성과 점증적인 학습 기법을 제안한다. 이를 위하여 문서 유형의 논리적인 구조 정보와 기하적인 특성을 효과적으로 기술할 수 있는 문서 모델을 정의한다. 특히 제안된 방법은 문서 모델의 생성 결과로부터 SGML DTD와 DSSSL 스타일 시트를 생성하기 때문에 문서의 재 사용성과 호환성을 지원한다.