• The Korean Journal of Applied Statistics
• /
• v.13 no.1
• /
• pp.1-10
• /
• 2000

정보화사회에서 효율적인 정보검색(information retrieval)은 각종 의사결정에 매우 중요하다. 주어진 정보검색 문제가 있을 때 과거에 검색되었던 자료는 그 적절성 여부에 대한 평가를 데이터베이스에 첨가하여 지식베이스(knowledge base)화 할 수 있다. 본 연구는 이 지식베이스에 대한 논리적 패턴을 분석하여 새로운 정보의 '적정성(relevance)' 여부를 판별하는 확률화 정보검색 모형을 만들고 이에 대한 실험을 하였다.

• 한국정보교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.67-72
• /
• 2008

지식기반 사회에서는 새로운 지식을 만들어 낼 수 있는 능력과 융통성, 문제해결력, 논리적 사고력 등을 가진 인재를 필요로 하고 있다. 알고리즘 교육은 학생들의 정보마인드와 정보적 사고, 논리적 사고능력의 신장을 위하여 반드시 필요하며, 이는 다변화 되어가는 사회에서 다양한 문제를 해결해 나가는 능력을 키우는 데 큰 역할을 할 것이다. 이에 본 논문은 논리적 사고력 신장을 위한 생활 속의 알고리즘 교육 방법을 모색하여 제안하고자 한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.311-312
• /
• 2008

Fuzzy logic is introduced by Zadeh in 1965. It has been continuously developed by many mathematicians and knowledge engineers all over the world. A lot of papers concerning with the history of mathematics and the mathematical education related with fuzzy logic, but there is no paper concerning with Zadeh. In this article, we investigate his life and papers about fuzzy logic. We also compare two-valued logic, three-valued logic, fuzzy logic, intuisionistic logic and intuitionistic fuzzy sets. Finally we discuss about the expression of intuitionistic fuzzy sets.

• Journal of The Korean Association For Science Education
• /
• v.18 no.4
• /
• pp.503-516
• /
• 1998

The purpose of the present study was to evaluate some variables, such as learner's cognitive characteristics and a training-program emphasized proportional logic, in proportional reasoning development. Seven hundred and ninety students in junior high schools were enrolled as subjects for the study which investigated learner's cognitive characteristics in proportional reasoning development and asked to perform tests of logical thinking, card sorting, planning, mental capacity, cognitive style, brain lateralization, information processing pattern and scientific reasoning. In addition, one hundred and thirty-three students who failed to solve proportional thinking items were administered a training program which has been applied to improve the subjects' proportional reasoning skills. The results showed a significant higher correlation between subjects' performance score on proportional thinking test, and their age and scores on scientific reasoning test, mental capacity, information processing test and perseveration errors on card sorting test. Also, the training program applied in this study showed an effective result in developing subjects' proportional reasoning skills. Further, this study may serve as a suggestion in the efforts to investigate factors of proportional thinking development and a contribution for the future research in other logical thinking development.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.1
• /
• pp.13-21
• /
• 1995

논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.

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

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

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.119-145
• /
• 2001

아리스토텔레스의 논리학은 그 도구적, 방법론적 성격 때문에 보통 "organon"이라고 불린다. 많은 아리스토텔레스 연구자들은, 그의 논리학 이론들이 그가 손댄 여러 분야의 연구에서 정밀 도구 구실을 하는지를 밝히는 데 몰두해 왔다. 지난 30년 넘는 세월 동안 아리스토텔레스 연구를 이 끌어왔던 논의 가운데 하나인, "genos"와 "eidos"의 쓰임에 논의도 바로 그런 연구 전통에 잇닿아 있다. 이 논의는 요즘 일단락된 것으로 받아들여지고 있다. 아리스토텔레스의 논리학에 나오는, 게노스와 에이도스에 의한 분류는 그의 생물학 연구에서는 별 가치가 없다는 것이 일반적인 의견이다. 생물학 연구에서는 문제의 두 개념이 논리학에서처럼 "유"와 "종"의 뜻으로 쓰이는 것이 아니라 상대적인 개념으로 쓰이며, 그렇기 때문에 생물 분류와 무관하다는 말이다. 하지만 문제의 두 개념들이 등장하는 구절들을 문헌학적인 방법을 써서 분석해 보면, 이런 일반적인 의견은 별 근거가 없는 것으로 드러난다: 생물학에서 eidos는 개별자들을 포함하는 종을 가리키는 개념으로, 절대적으로 쓰인다. genos의 경우는 그 쓰임이 좀 더 복잡하지만, 아리스토텔레스가 생물학에서 내세우는 생물의 형태론적 구 분과 관련해서 쓰일 때는 언제나 "유"를 뜻한다. 그런 점에서 genos와 eidos는 본질적으로 생물 분류에 쓰인 개념들이다. 이런 사실은 곧 아리스토텔레스의 논리학이 그의 생물학 연구에서 유용한 도구로서 쓰임을 보여주는 하나의 증거이다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.7
• /
• pp.1467-1474
• /
• 2009

What matters in the society of knowledge and information is not that they just know certain facts, but that when faced with new situations, they should be able to develop novel ideas, apply them and do the problems or the tasks confronting them. This cannot be achieved through learning of mere knowledge. Computer programming lessons have shown positive effects on general thinking ability, metacognitive aspects, and logical thinking. The ACM has suggested that 8th grade students at the first level (second year students of middle school) be educated in programming languages such as LOGO to raise their ability to think logically. Previous studies have confirmed educational programming languages such as LOGO and BASIC, which are currently used, are helpful in improving the ability to think logically and to solve problems. However these languages lack connectivity with later learning. Little research has been done on 'Dolittle', an educational programming language, newly developed, using object-oriented notions. Few studies have been made of the effects of 'Dolittle' on the ability to think logically. The following results were obtained. The research didn't lead to a statistically significant improvement of the students' cognitive development level. However, proportional logic and combinational logic, among the six subcategories of logic, improved through the introduction of 'Dolittle' programming lessons. This leads to the conclusion that in the processing of solving the problems given, the students learned by themselves and improved their ability to think logically.

• The Journal of the Convergence on Culture Technology
• /
• v.7 no.4
• /
• pp.113-122
• /
• 2021

This study begins on the basis of Jacques Lacan's article 『Logical Time and Assertions of Preemptive Certainty: A New Sophism』 published in the reissue of 『Art Note Les Cahiers d'Art』 in March 1945. In this paper, a guard presents an esoteric problem to three prisoners. If the problem is solved, the prisoner is released. A condition is given to solve a problem. Conversation between prisoners is prohibited, and the disc behind them cannot be seen. In this time and space, prisoners place themselves in logical time through the 'time of understanding' in order to become the chosen ones. We always live in logical time. We will argue the point at which Lacan destroys logical time in psychoanalysis. Time in Lacanian psychoanalysis transcends time divisions of the past, present, and future. Our time is always the past in the present. In Lacanian psychoanalysis, logical time is the time in the Other. The transcendence of the Lacanian psychoanalysis concept of time shows the deviation of logical time. In this text, We try to prove how Lacan contrasts psychoanalysis and the problem of time with time in the other. First, we will examine how logical time and impulse are related in psychoanalysis. Second, the postmortemity of the signifient (signifier) will be discussed. Third, Lacan psychoanalysis will present the transcendence of time. In conclusion, We will present the view that the time of Lacan psychoanalysis is flowing backwards. In Lacanian psychoanalysis, we try to prove that logical time is in the territory of the Other and is infinite time.

• Journal of the Korean Society for information Management
• /
• v.19 no.2
• /
• pp.69-92
• /
• 2002

A hybrid information service may include local and/or remote distributed services, both and electronic. Also, a hybrid information service can be described as one which an appropriate range of heterogeneous information services is presented to the user in a consistent and integrated way via a single interface. The purpose of this study is to suggest high-level requirements and logical architecture to design hybrid library. High-level requirements analysis for hybrid library need to contain baseline requirements, basic system requirements, searching, location, requesting, delivery and payment. A logical architecture need to consider logical architecture for hybrid library management system including user access points, hybrid library management system and hybrid library components and 5 layered architecture including presenter, coordinator, mediator, communicator and provider to achieve local simplicity while still supporting complex functionality of hybrid library.