• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.155-174
• /
• 2018

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.3
• /
• pp.5-26
• /
• 2000

확률적 인과론은 확률관계를 통해 인과 관계를 밝히려는 이론이다. 그런데 만약 단지 C가 E의 발생 확률을 높인다는 사실을 밝히는 것으로 그치지 않고 더하여 C가 E를 발생시키는데 얼마나 기여하는지 그 기여도도 밝힐 수 있다면 우리는 원인과 결과의 관계에 대하여 훨씬 더 많은 정보를 얻을 수 있게 될 것이다. 이 글에서 나는 빼기의 개념에 기반한 멜러나 엘스의 정량적 확률적 인과론들을 살펴본 후 그 이론들이 인과적 효과도나 인과적 연관도를 밝히는데 부적절한 이론들임을 보인다. 그 후 나는 인과적 효과도클 측정하는데 보다 적절한 공식을 제시하며 이 공식에 기반하여 인과적 연관도 또는 인과적 기여도의 공식도 제시한다.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.441-461
• /
• 2014

This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.21 no.3
• /
• pp.353-371
• /
• 2018

This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.3
• /
• pp.67-72
• /
• 2021

Association rule mining is a method of showing the relationship between patterns hidden in several tables. These days, granulation logic is used to add more detailed meaning to association rule mining. In addition, unlike the existing system that recommends using existing data, the granulation related rules can also recommend new subscribers or new products. Therefore, determining the qualitative size of the granulation of the association rule determines the performance of the recommendation system. In this paper, we propose a granulation method for subscribers and movie data using fuzzy logic and Shannon entropy concepts in order to understand the relationship to the movie evaluated by the viewers. The research is composed of two stages: 1) Identifying the size of granulation of data, which plays a decisive role in the implications of the association rules between viewers and movies; 2) Mining the association rules between viewers and movies using these granulations. We preprocessed Netflix's MovieLens data. The results of meanings of association rules and accuracy of recommendation are suggested with managerial implications in conclusion section.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.32 no.1
• /
• pp.92-99
• /
• 1996

2단계 접속 논리(two-stage cascaded logic)는 관측 지역 내에 새로이 출현한 표적에 대한 트랙을 만드는 대표적인 방법중의 하나이다. 2단계 접속 논리의 트랙 생성 (track formation)에 관한 성능 평가 방법 및 결과는 Bar-Schalom에 의해 발표된 바가 있으나, 그 연구 결과는 트랙 생성 성능을 도출할 때 클러터로 인한 오경보율(false alarm probability)을 무시한다는 가정에 기초한 것이기 때문에, 오경보율이 높은 경우에는 적용 할 수 없다는 단점을 지닌다. 이에 본 논문에서는 오경보율을 고려하여 2단계 접속 논리의 트랙 생성 성능을 평가 할 수 있는 개선된 방법을 제시하고자 한다. 그리고 2단계 접속 논리에서 사용하는 데이터 연관(data association)기법으로 트랙 분리(track splitting)기법과 최 근접 데이터 선택 기법(nearest neighbor rule)을 사용하는 경우에 대하여 각각의 성능 평가 결과를 몇 가지 예시하고자 한다.

• Korean Journal of Logic
• /
• v.15 no.1
• /
• pp.1-16
• /
• 2012

This paper deals with Kripke-style semantics for fuzzy logics. As an example we consider a Kripke-style semantics for the uninorm based fuzzy logic UL. For this, first, we introduce UL, define the corresponding algebraic structures UL-algebras, and give algebraic completeness results for it. We next introduce a Kripke-style semantics for UL, and connect it with algebraic semantics.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.27-59
• /
• 2010

After the unexpected death of the late professor Young-Jung Kim on July 28th last year, 4 pieces of paper unpublished were discovered. Those papers reveal that he had a grand program. In particular, we found that he had his own ideas and theory which he called "Presupposition Logic" and "Field Logic". In this paper, I will call his program "Presupposition Logic Program". He explored a new logic system, Presupposition Logic, in order to realize necessity and possibility of the closer relationship between logic and critical thinking. In this paper, I will expound what his "presupposition" and "Presupposition Logic" are and why he thought Presupposition Logic is necessary from a perspective of logic. And I will critically elucidate what was the problem that troubled him.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.58-60
• /
• 2005

대표적인 데이터마이닝 문제중의 하나인 연관규칙 탐사에는 지금까지 Apriori 기반의 많은 알고리즘들이 개발되어 왔다. 본 논문에서는 비트맵을 이용한 Apriori 알고리즘 구현방안을 제시한다. 우선, 핵심연산인 비트맵 논리곱(Bitmap AND)과 비트 카운팅(bit-counting)을 컴퓨터 CPU의 고급 기술을 이용해서 효과적으로 구현할 수 있음을 보인다. 또한, 트랜잭션 데이터를 비트맵으로 표현함으로써, 기존 Apriori와는 달리, 비트맵 논리곱 연산을 획기적으로 줄일 수 있는 방법을 제시한다. BAR의 이러한 구현기법을 통해, Apriori 기반의 최신 구현 방법에 비해, 성능이 최대 30배 정도 향상됨을 보인다.

• Korean Journal of Logic
• /
• v.22 no.2
• /
• pp.291-307
• /
• 2019

This paper deals with set-theoretic Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce the system FR and its corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for it.