• Journal of the Korean Society for information Management
• /
• v.15 no.1
• /
• pp.129-148
• /
• 1998

The objective of this study is to develop a useful relevance feedback retrieval technique that can be applied to the current Boolean retrieval system. A feedback retrieval technique based on user model is recommended here to achieve this objective. To prove the usefulness of this feedback retrieval technique, two enhanced Boolean retrieval models including DNF model and P-norm model were evaluated first through retrieval effectiveness experiments. After selecting DNF model as the retrieval model, two feedback retrieval experiments were performed using initial and extended user models. It is proved that the feedback retrieval based on user model can greatly enhance the effectiveness of a Boolean retrieval system with a small modification.

• Journal of the Korean Society for information Management
• /
• v.11 no.1
• /
• pp.31-56
• /
• 1994

To evaluate the retrieval effectiveness of the B03lean Request Conversion Mod4 the Relevance Weighted Boolean Model, and the P-NORM Model, the present study has been done with expenmental tests. It is proven that the Relevance Weighted Bdean Model is more effective in precision and the document output ranks than the other ones. The expenmental results indmte a promisii application of relevance mformation and weigh- schemes.

• Journal of Information Management
• /
• v.24 no.3
• /
• pp.73-100
• /
• 1993

In attempting to respond to boolean retrieval system's limitations, this paper presents the design of a retrieval system using fuzzy logic. The fuzzy retrieval system introduces the weights of terms in the documents and in the query and makes use of them to determine how much relevant a document is to the given query. After comparing and analyzing the previous researches, an effective model of the fuzzy retrieval system is suggested and the performance of the system is evaluated through actual examples.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.137-181
• /
• 2014

I will propose the radical indeterminacy for solving the higher-order vagueness' dilemma. The radical indeterminacy means that the indeterminacy of 'a is P' implies the indeterminacy of 'a is a borderline case of P.' I will compose my argument two steps: first I will suggest conditions for overcoming the dilemma by analyzing its structure and second I will offer the radical indeterminacy that satisfies aforementioned conditions. I think the higher-order vagueness' dilemma occurs owing to the misunderstanding about the unclarity or the indeterminacy of borderline cases that is an basic intuition of vagueness. So conditions for solving the dilemma are also criteria of adequacy on the theory of vagueness. Thus I will propose II-rule that satisfies above conditions and the radical indeterminacy as a new understanding about vagueness.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1996.11a
• /
• pp.366-373
• /
• 1996

본 논문에서는 IC 카드를 선지불카드로 사용하기 위하여, 카드 내의 데이타를 안전하게 보호할 수 있는 새로운 메카니즘이 제안되었다. 이 메카니즘에서는, 데이타 메모리가 OTPROM 영역과 EEPROM 영역으로 구분되고, 각 영역의 데이타는 논리적으로 서로 연동되게 설계되었다. 그리고 OTPROM영역으로 되어 있는 특정영역에 대해서는 접근제어와 물리적 안전성이 제공되어 재사용 하는 것과 오류를 자동정정하는 것이 가능하다. 이 카드는 디지탈 서명 알고리듬을 사용하여 인증을 받은 사람에 의해서만 발급될 수 있다. 그리고 일반 사용자는 인증과정을 수행하지 않으므로 사용이 간편하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.509-512
• /
• 2003

본 논문은 다국어 번역기술의 일환으로 Nlip의 불어 형태소 분석기를 기반으로 한 불-한 번역 도우미 FK-Tranassis의 구성에 대하여 설명하고 불-한 번역 도우미 FK- Tranassis 에서 제공되는 FKT_DynaDic 사전의 논리적 구조에 대하여 설명하여 FKT_DynaDic 사전에서 번역가의 성향에 맞는 대역어를 제공해주는 방법에 대하여 설명하고자 한다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2004.03a
• /
• pp.107-113
• /
• 2004

용도지역은 농업적 측면에서 토지이용의 규제와 촉진 등을 위한 것으로써 해당토지소유자의 재산권과 직결되므로 정확하고 체계적으로 관리되어야 한다. 그러나 시군구에서 관할하는 용도지역은 소축척의 지형도 기반이나 개별적으로 종이도면에 관리하여 관련 용도지역간에 서로 유기적이지 못해 관련 용도지역의 공통경계선 불일치로 논리적인 불부합 자료가 발생하는 등 많은 문제가 발생하고 있다. 본 연구에서는 농지종합정보화사업애서 구축하는 농업진흥지역도의 각종 용도지역간에 불부합지역을 추출하고 그 원인을 분석함으로서 불부합지역 정비방안을 작성하고 재발하지 않도록 기준 및 지침수립을 위한 방안을 제시하고자 하였다. 본 연구의 결과를 기반으로 용도지역 자료간 불부합으로 인해 각 지자체에서 발생하고 있는 민원문제를 해소하고, 종합적이고 정확한 현황파악과 함께 보다 과학적이고 종체계 토지이용계획을 수립할 수 있는 기반을 조성할 수 있을 것으로 기대된다.

• Korean Journal of Logic
• /
• v.2
• /
• pp.35-61
• /
• 1998

개최들의 개별화를 위한 대표적인 법칙으로 간주되고 있는 라이프니츠의 법칙은 철학에서만 아니라 수학이나 논리학과 같은 순수과학에서도 중요한 법칙으로 사용되고 있다. 그러나 최근에 들어서 라이프니츠의 법칙은 그 논리적 위상과 관련하여 심각한 논란의 대상이 되고 있다. 이러한 논란의 근본적 원인은 칸트나 블랙과 같은 철학자들에 의해 라이프니츠의 법칙이 적용되지 않을 기능성을 보이는 반례가 제시되었고, 많은 철학자들이 이에 동조한 데에서 찾을 수 있다. 라이프니츠의 법칙의 논리적 위상과 관계된 철학자들의 입장은 크게 두 가지로 구분된다. 첫 번째 입장은 블랙 등에 의해 제시된 예들을 라이프니츠의 법칙에 대한 정당한 반례로 간주하는 입장이고, 두 번째 입장은 이러한 예들은 리이프니츠의 법칙에 대한 반례로 간주될 수 없다는 입장이다. 두 번째 입장을 쥐이는 대표적 철학자는 헷킹이다. 헷킹은 시공간에 대한 인습주의에 입각하여 블랙 등에 의해 제시된 예는 완전한 가능성을 나타내는 것이 아니고 라이프니츠의 법칙은 가능세계에 대한 메타 원칙으로 간주되어야 한다고 주장하고 있다. 본고에서 필자는 리이프니츠의 법칙을 옹호하려는 헷킹의 시도는 성공적이지 못하고, 또한 블랙 등에 의해 제시된 예들은 라이프니츠의 법칙에 대안 정당한 반례로 간주되어야 한다는 입장을 개진하고 있다. 필자가 이러한 입장을 취하게 된 것은 헷킹의 입장은 논리적 기능성과 물리적 기능성 사이의 구별을 어렵게 한다는 문제점 이외에도 가능세계 의미론과 관련된 중요한 문제점들을 야기하고 있기 때문이다. 가능세계 의미론과 관련된 문제점은 이러한 시도는 가능세계 의미론에 입각한 양상명제들의 해석의 범위를 제한하게 만들고 De-Re 양상명제에 대한 해석을 위해 필수적인 헤세이티즘의 수용을 불가능하게 한다는 것이다.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.33-70
• /
• 2014

We still do not know against what histocial/philosophical background and motivation was Tarski's definition of logical consequence introduced, even if it has had such a strong influence. In view of the centrality of the notion of logical consequence in logic and philosophy of logic, it is rather shocking. There must be various intertwined reasons to blame for this uncomfortable situation. There has been remarkable progress achieved recently on the history of analytic philosophy and modern logic. In view of the recent developments of the controversies involved, however, we will have to wait years to resolve all this uneasiness. In this gloomy situation, Douglas Patterson's recent study of Tarski's philosophy of language and logic seems to have the potential to turn out to be a ground breaking achievement. [Patterson (2012)] This article aims at reporting the state-of-the-art in this problem area, and fathoming the future directions of research by examining critically some unclear components of Patterson's study.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.1
• /
• pp.1-7
• /
• 2007

An MTJ element not only computes Boolean function but also stores the output result in itself. We can make the most use of magneto-logic's merits by employing the magneto-logic in substitution for the sequential logic as well as the combinational logic. This unique feature opens a new horizon for potential application of MTJ as a universal logic element. Magneto-logic circuits using MTJ elements are more integrative and non-volatile. This paper presents novel 3-bit magneto-logic up/down counters and presents simulation results based on the HSPICE macro-model of MTJ that we have developed.