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

컴퓨터라는 새로운 매체의 도입의 이점이 컴퓨터 매체의 제반 특성들을 잘 활용함으로써 학생들의 호기심을 유발하고 학생들의 학습 효과를 높일 수 있다는 데에만 국한되는 것은 아니다. 새로운 컴퓨터 매체의 도입은 논리학의 여러 중심 개념들 자체에 대한 이해의 심도를 증진시킴으로써 논리학을 새로운 영역으로 확대시켜 주기도 한다. 그 새로운 영역은 그림과 같은 비언어적 표상을 핵심적으로 포함한 추론, 즉 문자와 그림을 동시에 포함하는 이질적인 추론(heterogeneous reasoning)을 허용하는 영역이다. 논리학은, 정보가 어떻게 표상되든 상관없이, 정보 추출의 타당한 형태들에 관한 연구이다. 전통적으로 논리학자들은 정보 추출의 타당한 형태들의 매우 작은 부분(즉, 언어적 표상)에만 초점을 맞추었다. 그러나 컴퓨터 매체의 활용과 더불어 이제 논리학은 시각적 표상을 포함하여 다양한 표상들을 어떻게 사람들이 사용하는지 파악해야 한다. 이러한 과업의 성취를 위해, 구문론, 의미론, 논리적 귀결, 증명, 반례 등의 전통적 개념을 이러한 새로운 형태의 표상들을 수용할 수 있는 방식으로 확장하고 풍부하게 만들어야 한다. 그림 표상과 문자 표상을 함께 사용하는 추론 체계인 Hyperproof에 대한 연구는 이러한 확장된 논리 이론을 형성하는 데 기여한다.

• Proceedings of the Korean Society of Agricultural Engineers Conference
• /
• 2004.11a
• /
• pp.34-34
• /
• 2004

• Proceedings of the Korean Institute of Landscape Architecture Conference
• /
• 2012.03a
• /
• pp.11-15
• /
• 2012

• Proceedings of the Korean Institute of Landscape Architecture Conference
• /
• 2023.10a
• /
• pp.112-114
• /
• 2023

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.24 no.2
• /
• pp.231-257
• /
• 2020

As the main mathematical concepts are presented and expressed in various ways through textbooks during the teaching and learning process, it is necessary to look at the representations used in elementary math textbooks to find effective guidance. This study analyzed sentences used in the definition of mathematical terms and unit assessments of current elementary mathematics textbooks according to word depth (Yngve, 1960) from a syntactic perspective. As a result of the analysis, it could be seen that the sentences in textbook were generally concise, the word depth was lower, and the sentence structure and form were different depending on the individual characteristics of each term. Also, the sentences in the lower grade textbooks were more easily constructed, and the sentences of the term definition were more complex than the sentences of the unit assessments. Efforts should be made to help learners learn mathematical concepts, such as clarifying sentences in textbooks, presenting visual materials together, and providing additional explanations to suit the level of individual learners.

• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.355-362
• /
• 1994

언어처리에 통계 확률적인 방법이 도입되면서 현실적으로 상당한 진전이 있었지만 한국어의 경우에는 대부분 형태소 해석과 품사 태깅에 그치고 있다. 본 논문에서는 구문분석 수준에서의 통계적인 한국어 분석에 쓰일 자료 구축으로서의 구문 태깅의 방법론과 그 자동화에 대해 보고한다.

• Annual Conference on Human and Language Technology
• /
• 2015.10a
• /
• pp.41-45
• /
• 2015

무제한 정보추출은 주로 영어를 대상으로 연구가 진행 되었지만, 최근에는 영어가 아닌 다른 언어에 대한 적용이 시도되고 있다. 본 논문에서는 관계 어휘의 유형을 동사형과 명사형 2가지로 정의하고, 각 유형별로 구문 분석 결과 기반의 서로 다른 방법론을 적용하는 한국어 대상 무제한 정보추출 시스템을 소개한다. 동사형 관계 어휘에 대해서는 의존 관계 기반의 추출 규칙을 적용하고, 명사형 관계 어휘에 대해서는 대량의 말뭉치로부터 자동으로 학습한 의존 관계 구조 기반의 추출 패턴을 적용한다. 임의의 100개 문장에 대해서 수행한 결과는 산출된 전체 트리플에 대해 0.8이상의 정밀도를 보임으로써 본 논문에서 제안하는 방법의 효용성을 증명하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.892-894
• /
• 2005

의미 분석이란 프로그램의 각 구성요소의 결합이 의미적으로 타당한가를 분석하는 과정으로 최근 컴파일러의 제작에서 필수 불가결한 요소이며, 속성문법(attribute grammar)이나 경험적인 방법(manual method)으로 해결한다. 그러나 이러한 방법론들은 효율성이나 자동화 측면에서 제약성을 가진다. 본 연구에서는 이러한 단점을 보완하기 위해 의미 분석정보가 포함된 시멘틱 트리를 정의하고, 대부분의 컴파일러에서 사용되는 구문분석 결과물인 추상 구문 트리를 시멘틱 트리로 변환하는 기법을 제안한다. 시멘틱 트리 변환기법은 의미 분석과정을 시멘틱 노드 단위로 처리하므로, 의미 분석 과정이 일관적으로 수행되며 효율적이고, 타 자료구조로의 변환이 용이하며 자동화가 용이하다.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.17 no.1
• /
• pp.24-34
• /
• 2014

To understand urban space and make appropriate plans, the integrative analyses considering road and land use simultaneously are required. In addition, studies that involve both horizontal and vertical spaces must be taken into consideration. Therefore, the purpose of this study is to conduct a classification analysis of road network-based land use considering spatial structure. The methods of this study were as follows; first, a space syntax theory considering the structure of road network was introduced for roads. For land use, to consider both horizontal and vertical development densities of residential and commercial buildings were used. And the explanatory power of three variables-Euclidean distance, global integration and length-reflected global integration-were compared. Third, based on road as an appropriate variable, modified-IPA was conducted with land use and the results were categorized into four areas. The proposed method was applied to Gangnam-gu, a CBD area in Seoul, and results were analyzed and visualized using GIS.