• Korean Journal of Logic
• /
• v.19 no.1
• /
• pp.49-82
• /
• 2016

In this paper, I argue that it is Kripke's Tractarian notion of rule-following that prevents him from giving a non-skeptical (straight) solution to Wittgenstein's paradox. I characterize the Tractarian notion of rule-following as the 'determinate/infinistic' notion of rule-following. The later Wittgenstein, however, advocates an opposite notion of rule-following: the 'indeterminate/finistic' notion. Considering the later Wittgenstein's context-sensitive, pragmatics-oriented approach to meaning and rule-following, the later Wittgenstein could not have endorsed the determinate/infinistic notion of rule-following. To the contrary, a motive behind Wittgenstein's skeptical paradox was to blame the Tractarian notion of rule-following as the major culprit giving rise to the paradox. At the end, I argue that Kripke's adherence to the Tractarian-correspondence theory of truth also contributes to his failure to offer a non-skeptical solution to the paradox. If Kripke had noticed that the later Wittgenstein was a deflationist about truth, he could have avoided his skeptical conclusion.

• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.703-705
• /
• 2002

정보의 급속한 확산과 더불어 체계적이고 효율적으로 정보를 분류하고 활용할 수 있는 방법에 대한 연구의 필요성이 증대되고 있다. 생물정보에 있어서도 기존에 축적된 많은 정보뿐만 아니라 새로 밝혀지는 정보들을 자동적으로 분류하고 재활용하는 방법의 일환으로 귀납적 논리 프로그래밍을 적용한 방법론이 채택되고 있다. 본 논문에서는 귀납적 논리 프로그래밍을 이용하여 단백질 구조 분류 데이터베이스론 생성하고 이를 기반으로 단백질 폴더에 내재된 공통의 규칙들을 발견하고, 새로운 단백질에 적용하여 구조를 예측할 수 있는 방법론에 대하여 기술한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.6 no.4
• /
• pp.3-9
• /
• 1996

본 논문에서는 Boole 함수를 기호 다치 논리 함수로 확장하여 법-M(Modulus-M)의 수체계를 기본으로 하는 기호 다치 논리 함수에 대한 MacLaurin 전개의 구조적 성질을 분석한다. 그리고 기호 다치 변수의 상태 변화에 따라 이에 사상된 퍼지 규칙을 자동 생성할 수 있는 기법을 제안한다. 또한 이러한 이론과 성질을 기존의 퍼지 추론 기능과 결합하여 동적인 상태 변화에 적응할 수 있는 퍼지 추론 시스템 설계방법을 제안한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.2
• /
• pp.160-166
• /
• 2007

When a mail was given to users, each user's response could be different according to his or her preference. This paper presents a solution for this situation by constructing a user preferred ontology for anti-spam systems. To define an ontology for describing user behaviors, we applied associative classification mining to study preference information of users and their responses to emails. Generated classification rules can be represented in a formal ontology language. A user preferred ontology can explain why mail is decided to be spam or ron-spam in a meaningful way. We also suggest a new rule optimization procedure inspired from logic synthesis to improve comprehensibility and exclude redundant rules.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.3
• /
• pp.676-683
• /
• 2005

In this paper, we proposed a method that optimal values of fuzzy control rule base and quantization of membership function are searched by genetic algorithm. Proposed method searched the optimal values of membership function and control rules using genetic algorithm by off-line. Then fuzzy controller operates using these values by on-line. Proposed fuzzy control system is optimized the control rule base and membership function by genetic algorithm without expert's knowledge. We investigated proposed method through simulation and experiment using DC motor and one link manipulator, and confirmed the following usefulness.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.611-613
• /
• 1999

테스터의 간섭없이 테스트를 수행할 수 있는 새로운 테스트 도구인 테스트 에이전트 시스템을 구현하였다. 이 시스템에서 테스터는 테스터 이름, 테스트 시간을 입력하고, 테스트 대상을 선택 후, 그 밖에 테스트에 필요한 정보를 입력하고 나면 테스트 에이전트 시스템이 스스로 테스트를 수행한 후 각 테스트 레벨에 대한 테스트 항목의 테스트케이스와 Quality 측정치를 테스트결과로 받아 볼 수 있다. 이 테스트 에이전트 시스템은 3개의 에이전트로 구성이 되어 있고 각 에이전트들은 에이전트의 특성인 자율성, 사회성, 지능성을 가지고 있다. 특히 지능성을 나타내 주는 것을 규칙 기반 시스템을 이용하여 구현하였다. 'User Interface Agent'에는 '리그래션 테스트 대상 판단 규칙'과 'Test History 크기 관리 규칙'이 있고, 'Test Case Selection '||'&'||' Testing Agent'에는 테스트케이스를 선택하는 데에 적용하는 '중복성 제거 규칙'과 '일관성 있는 테스트케이스 선택 규칙'이 있다. "Regression Test Agent'에서는 리그래션 테스트 관련 항목 찾는 규칙'이 있어 각 에이전트들의 지능성을 뒷받침해 준다. 본 논문에서는 각 규칙들을 술어 논리로 표현하여 제시하였고, 구현한 테스트 에이전트 시스템의 Prototype을 기술한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.11
• /
• pp.2189-2198
• /
• 1994

In this paper, a self-tuning fuzzy logig controller is implemented to control a DC servo motor by the self-tuning technique based on fuzzy meta-rules with learning in several algorithms to improve the performance of the fuzzy logic controller used in a fuzzy control system. Simulations and experimental results of the self-tuning fuzzy logic controller are compared with those of the fuzzy logic controller to evaluate its performance.

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.41-65
• /
• 2004

이 글은 박병철과 이승종의 저술에 대한 박정일의 서평을 중심으로 비트겐슈타인 철학의 몇몇 문제점을 고찰하면서 다음과 같은 것을 주장한다. 첫째 비트겐슈타인 철학의 현상학적 양상을 추적하고 있는 박병철의 현상학의 개념이 명백하지 않다. 둘째 "논리철학논고"의 유아론은 경험적 유아론이 아니라 선험적 유아론이다. 셋째 "논리철학논고"의 대상은 감각자료가 아니다. 넷째 우리에게 주어진 소여는 논리적인 것이다. 다섯째 박병철은 이 논리적인 것을 경험에 근거지우는 실책을 범하고 있다. 여섯째 모순의 형식적 개념에 대한 이승종의 비판은 성공적이지 않다. 일곱째 이것은 박정일이 지적한 것처럼 허수아비 공격의 오류를 범했기 때문인 것처럼 보인다. 여덟째 모순된 규칙에 대한 이승종의 이해는 박정일이 지적하듯이 잘못되었다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.5
• /
• pp.503-510
• /
• 1989

This paper represents a method which construct Combinational Mutiple Valued Logic circuits. First, it constructs Combinational Multiple Valued Logic Cell as the input variable, Then, it can be applied to the general case by expanding ti, thus these series of process is simple and regular. The construction theory of Combinational Multiple Valued Logic circuits, representes here has regularity, simplicity and modularity, especially, in case imput variables are incresed this theory also has characteristics of expansion.