• Journal of Korea Game Society
• /
• v.8 no.1
• /
• pp.29-39
• /
• 2008

In this research, the researcher uses semiotic methods in order to analyze the essential aspects of educational games. The basic concepts of semiotics and their relevance to education are explored, as well as how signs are shown in a particular educational game is examined. Several semiotic theories which can assist in analyzing educational game are examined. Roller coaster Tycoon2, an educational game, is analyzed using Peirce's semiology in which education is defined in terms of signs and semiosis. As a result of analyzing Roller Coaster Tycoon2, a educational game, through Peirces semiology, the game was found to contain all the different types of signs. It contains the three types of signs (sign, object, interpretant) as well as firstness, secondness, and thirdness. Especially, the second and third has a major part in Roller Coaster Tycoon2. The sign of the second is assists in logical and creative thinking, the third is assists in creative. It appears often in the game due to the real-time strategy game environment in which problems are solved by planning logical strategies after considering the relationship between several signs.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1997.10a
• /
• pp.275-279
• /
• 1997

최근 인공지능연구에서는 기호즈의와 커넥션니즘이 독립적으로 연구되어 왔으나 차츰 융합의 필요성이 절실히 요구되고 있다. 본 연구에서는 먼저 기호주의의 일부분인 고전논리를 확장한 다치논리와 커넥션니즘의 기본부분인 신경회로망을 융합한 다치신경망을 구성하고, BP에 기반을 둔 학습 MVL 네트워크를 이용하여 해석한다. 본 논문에서는 이러한 구성 및 해석방법을 확장하여 비고전적인 다치신경회로망을 구성하는 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.76-78
• /
• 2003

다 개체군 유전자 알고리즘에서는 여러 개의 개체군을 사용하여 각 개체군을 독립적으로 진화를 시키는데, 이 논문에서는 퍼지 논리 제어를 이용하여 독립적으로 개체군을 진화시켜 집단으로 이주시키는 새로운 코딩방법을 제안한다. 이 퍼지 논리 제어는 최적화과정 동안 교배 비율과 돌연변이 비율을 적합하게 조절하여 수행하는 두 퍼지 논리 제어를 나타낸다. 제안하는 방식을 성능평가해서 기존의 방식과 비교해 보았다. 제안하는 방식이 수렴속도를 향상시킬 수 있다는 장점을 보여준다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.211-214
• /
• 2004

본 논문은 논리 연산을 이용한 실시간 주행 차량 분할 및 추적에 관한 알고리즘을 제안하였다. 연속된 프레임 간에 논리연산을 이용하여 영상을 분할하고, 배경과 잡음을 제거하였으며 영상에서 주행차량의 이동 영역을 추출하였다. 주행차량들을 논리 연산을 이용하여 영상분할 함으로써 기존 방법에 비해 평활화 및 에지추출 단계에서 나타날 수 있는 문제점들을 제거하였고, 전처리 단계를 줄였으며, 알고리즘을 단순화 하였다. 또한 추적되는 영상으로부터 위치와 컬러등의 주행 차량의 특징을 직접 추출 가능하도륵 하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.7 no.1
• /
• pp.25-28
• /
• 1982

A method for finding the symbolic reliability expressision of a conbinational logic circuit is presented. The evaluation of the probabilities of the outputs can be symbolically evaluated by the Boolean operation named sharp operation, provided that every input of such a circuit can be treated as random variables with values set(0, 1) and the output of a circuit can be represented by a Boolean sum of produt expression.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.493-496
• /
• 2002

감정은 상당히 애매 모호하고 불명확하며 상대방의 감정을 이해하는 것은 매우 어렵다. 본 논문에서는 Plutchik의 감정 모델을 기호 다치 논리 함수의 미분을 이용하여 감정의 변화과정을 추론하는 방법을 제안한다.

• Korean Journal of Cognitive Science
• /
• v.10 no.4
• /
• pp.71-83
• /
• 1999

Conventional symbolic inference systems lack flexibility because they do not well reflect flexible semantic structure of knowledge and use symbolic logic for their basic inference mechanism. For solving this problem. we have recently proposed the 'Connectionist Semantic Network(CSN)' as a model for flexible knowledge representation and inference based on neural networks. The CSN is capable of carrying out both approximate reasoning and commonsense reasoning based on similarity and association. However. we have difficulties in representing general and structured high-level knowledge and variable binding using the connectionist framework of the CSN. In this paper. we propose a hybrid system called SymCSN(Symbolic CSN) that combines a symbolic module for representing general and structured high-level knowledge and a connectionist module for representing and learning low-level semantic structure Simulation results show that the SymCSN is a plausible model for human-like flexible knowledge representation and inference.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.35D no.10
• /
• pp.107-115
• /
• 1998

A multiplier bit-pair recoding technique derived from Booth algorithm is used as an effective method that can carry out a fast binary multiplication regardless of a sign of both multiplicand and multiplier. In this paper, we propose an implementation of an optical high-speed multiplier which consists of a symbolic substitution adder and an optical multiplication algorithm, which transforms and enhances the multiplier bit-pair recoding algorithm to be fit for optical characteristics. Specially, a symbolic substitution addition rules are coded with a dual-rail logic, and so the complement of the logic of the symbolic substitution adder is easily obtained with a shift operation because it is always present. We also construct the symbolic substitution system which makes superposition image by superimposing two shifted images in a serial connection and recognizes a reference image by feeding this superimposed image to a mask. Thus, the optical multiplier, which is compared with a typical system, is implemented to the smaller system by reducing the number of optical passive elements and the size of this system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.133-135
• /
• 2003

시맨틱 웹은 지식을 구조적으로 표현할 수 있는 수단과, 논리를 기반으로 지식을 처리하는 기술을 주요 요소로 포함하고 있다. 후자에 대한 유력한 기술로 기호 논리를 기반으로 한 연역 추론 기법이 폭넓게 응용되고 있으나 아직 초보적인 단계에 머물러 있다. 본 논문은 시맨틱 웹 환경에서 효과적인 추론 기능을 수행할 수 있는 연역 추론 시스템의 설계 및 구현 내용을 담고 있다. 본 논문에서 제시하는 추론 시스템은 표준 기술 논리(Description Logic)의 상당 부분과 혼 논리(Horn Logic) 기반의 논리 프로그래밍을 아우르는 확장된 표현력을 제공하여, RETE 알고리즘 기반의 생성 시스템을 활용하여 추론한다. 또한, 규칙베이스를 구성하는 단위 지식들을 웹 자원화함으로써 온톨로지로 대표되는 시맨틱 웹의 지식 표현력을 확장하였다. 본 논문이 제시하는 추론 시스템을 이용하면 웹 온톨로지 위에 규칙 및 논리 계층［1］을 효과적으로 구현할 수 있다.

• 한국정보교육학회:학술대회논문집
• /
• 2005.08a
• /
• pp.69-77
• /
• 2005

본 연구는 초등학생들의 논리적 사고력을 신장시키기 위해 지식 기반 프로그램인 선언적 프로그램을 통해 교육현장에서도 적용할 수 있는 프로그래밍 교육을 제언하고자 한다. 학생들에게 논리적 사고 중에서도 협의의 논리적 사고 즉, 기호적 사고, 분석적 사고, 추론적 사고, 종합적 사고를 분석적 방법을 통해 실제 프로그래밍을 해 봄으로써 연역적 사고 또는 귀납적 사고를 보다 효과적이고 체계적인 프로그래밍을 할 수 있도록 지도함으로써 제 8차 교육과정에서의 컴퓨터 교육과정의 일부분으로서의 프로그래밍의 마인드를 제시하였다. 따라서 본 연구는 선언적 프로그램을 통해서 초등학교 학생들의 논리적 사고력 신장를 위하여 프로그래밍 교수학습의 방법적인 측면을 제시하고자 한다.