• 한국인터넷방송통신학회논문지
• /
• 제15권4호
• /
• pp.231-237
• /
• 2015

XML은 다양한 언어들을 이용하여 문서의 구조나 형식을 논리적으로 정의하고 있지만, 각각의 언어들은 서로 다른 구조와 문법을 채택하고 있어 실세계의 데이터의 의미나 데이터 사이의 관계를 표현하는 개념적 모델의 도구로 사용하기 어렵다. 본 논문은 XML 스키마 문서를 개념적으로 모델링할 수 있는 기법인 CMXML을 제안한다. CMXML은 XML을 형식으로(formal)으로 정의하고, 형식에 의해 각 요소들을 그래픽으로 표현하는 방법을 제시하고, 본 모델의 타당성을 보여주기 위해 CMXML으로 모델링한 개념적 모델을 논리적 모델인 XML 스키마로 매핑하는 기법을 제시한다.

• 대한전자공학회논문지
• /
• 제26권4호
• /
• pp.53-61
• /
• 1989

한국어의 구문 및 의미해석등에 필요한 정보를 도출하기 위한 입력분의 형태해석에 대하여 기술한다. 명사구에서 명사와 조사를 분리하고, 복합명사의 분리점을 선택하는 조건을 규정하며, 변형된 복합명사를 처리하는 규칙을 표시한다. 그리고 규칙동사에서 어간과 어미를 분리하고, 변칙용언과 음운축약 등을 효과적으로 처리하기 위한 논리표현 형식을 제안한다. 이 논리표현은 해석규칙과 속성값으로 구성한다. 명사사전의 중복을 배제하기 위하여 "명사형 하다" 동사의 분리 처리와 Q parameter 도입에 의한 "이다"의 처리방법을 보이고, 또한 부정문의 처리형식도 유도하여 복합술부의 형태소와 기본형식을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.282-285
• /
• 2011

서술논리를 기반으로 하는 OWL 온톨로지는 표준화된 형식적 언어로써 실세계의 도메인 지식을 표현하는데 적합하다. 따라서 논리를 바탕으로 명시적으로 정의된 지식 속에 내재되어 있는 새로운 지식의 추론이 가능하다. 그러나 OWL이 가지는 Open World Assumption(OWA)의 특성은 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서의 추론을 제한한다. 더불어 OWL이 가지는 또 다른 특성으로 Unique Name Assumption(UNA)의 비지원은 실제적 지식표현을 지원하는 반면, 표현의 불충분으로 인해 결과 도출의 불능을 야기한다. 이러한 특징을 고려하여, 본 논문에서는 지능형 에이전트 구성을 위한 서술논리 기반 지식 표현 방법을 제안한다. 이는 논리적 정당성을 유지하고 올바른 결과를 이끌어 낼 수 있도록 하며, 항상 논리적 결론 도출이 가능한 지식모델을 구성할 수 있도록 돕는다. 이를 통해, 지식모델에 정의된 불완전한 개념에 있어서 OWL이 가지는 특징으로 인하여 발생할 수 있는 문제점에 대한 해결방안을 제시한다. 이에 있어서, 모바일 온톨로지의 예를 통하여 OWA와 UNA에 따른 추론의 제약을 보이며, 이를 해결할 수 있는 방안을 논리적으로 표현함으로써 본 제안의 정당성을 증명한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 한국지능정보시스템학회
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.352-354
• /
• 2001

생물학적 서열의 구조 검색은 생물학적 특성을 예측하는데 많은 도움을 주며, 서열에서 나타나는 구조의 패턴은 촘스키의 형식 언어로 기술 가능하다. 본 논문에서는 문맥무관문법의 확장된 표기법인 DCG를 이용하여 구조 검색을 위한 구조 패턴의 생성 규칙을 정의하였다. 또한 구조 검색의 효율향상을 위하여 구조와 관련한 제한(constraint)을 정의하였고 이를 제한 논리 프로그래밍 언어로 구현하였다. 구현된 구조 검색 엔진은 웹 인터페이스를 통하여 접근할 수 있다.

• 논리연구
• /
• 제19권3호
• /
• pp.437-461
• /
• 2016

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 약화 없는 퍼지 논리를 연구한다. 이를 위하여 먼저 wta-유니놈에 기반 한 체계 $WA_tMUL$과 이의 두 공리적 확장 체계들을 약화 없는 약한 결합 원리를 갖는 퍼지 논리로 소개한다. 그리고 각 체계에 상응하는 대수적 구조를 정의한 후, 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 제네이-몬테그나 스타일의 구성방식을 사용하여 체계 $WA_tMUL$과 추가적 공리를 갖는 두 확장 체계들이 표준적으로 완전하다는 것을 보인다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제15권
• /
• pp.141-146
• /
• 2003

중학교 기하교육의 목적은 학생들의 수학적인 상황을 보는 기하학적인 직관과 논리적 추론능력의 향상이다. 그러나 이 두 가지 모두 만족스럽지 못한 실정이다. 본 고에서는 중학교 기하교육의 문제를 직관기하와 형식기하의 단절이라는 보고, 직관기하에서 증명의 학습요소를 미리 학습하여 직관기하와 형식기하를 연결하자는 대안을 제시한다. 이를 위해 7-나 교과서의 증명요소를 분석하고자 하였다. 관련문헌을 검토하여 7가지 증명의 학습요소를 선정한 후, 교과서를 분석하였다. 분석 결과, 기호화를 제외한 다른 증명의 학습요소는 매우 빈약한 것으로 나타났다. 직관기하 영역에 대한 교과서 구성이 개선될 필요가 있음을 알 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (2)
• /
• pp.173-175
• /
• 2000

본 연구에서는 전자상거래 데이터베이스를 대상으로 결합범주문법을 이용한 자연언어질의 인터페이스를 구현한다. 이를 위해 질의문을 분석하고 표현 방법을 논의한다. 또한 SQL 형식언어로 변환하기 위한 어휘 표현 및 유도 방법을 보인다. 제안하는 방법은 구문분석 과정에서 SQL 형식의 질의문을 직접 유도하는 것으로 기존 연구에서 제안됐던 중간논리언어 변환단계를 거치지 않으므로 과정이 간결해져 시스템의 성능향상을 가져올 수 있다. 시스템은 웹 기반과 client/server 구조로 구현된다.

• 대중서사연구
• /
• 제25권3호
• /
• pp.103-141
• /
• 2019

이 글은 역사 기록을 상호 텍스트로 하여 『칼의 노래』에 나타나는 선택, 변형, 배제의 논리를 살피는 데 목적을 두고 있다. 이를 통해 하나의 소설 텍스트가 어떤 방식으로 '생산'되는지를 밝혔다. 또한 이렇게 소설이 생산되는 방식을 살핌으로써 『칼의 노래』가 소설적(근대적) 인물의 '세계에 대한 환멸의 서사'로 변화하는 양상을 추적하였다. 선택의 논리에서는 소설에서 어떤 시간과 공간이 선택되고, 어떤 인물이 선택됨으로써 소설의 내용·형식적 틀이 갖추어지는가를 보았다. 변형의 논리에서는 적대적 인물을 변형하고 전쟁의 의미를 변형함으로써 역사 기록과 달리 소설에서 '개인' 혹은 '주관성'의 의미가 부각되고 있음을 확인하였다. 배제의 논리에서는 특정한 시공간에 존재하는 역사적 인간의 특성이 배제되면서 소설에서 근대적(소설적) 인물의 특성이 부각되는 모습을 보았다. 이 글은 기존의 연구와는 달리 『칼의 노래』를 역사 기록과 상호텍스트적으로 비교 분석함으로써 한 편의 소설이 생산되는 방식을 고찰하였다는 의미를 지닌다. 이러한 분석을 통해 소설이라는 형식 속에 역사적 실재, 작가의 이데올로기와 상상력, 동시대의 욕망 등 여러 이질적인 요소들이 결합하는 양상을 확인할 수 있다. 또한 완결된 형식으로 봉합될 수 없는 텍스트의 요소들을 살핌으로써 안정되지 않은 체계로서 소설텍스트가 갖는 의미를 알 수 있다.

• 한국시조학회지:시조학논총
• /
• 제21집
• /
• pp.5-22
• /
• 2004

시조를 문으로 짜여진 text라고 보고, 그 짜임 (textuality)을 1) 각 장의 수사적 표현 2) 각 장끼리의 연결성 3) 각 장의 통사적 짜임의 측면에서 고시조와 현대시조를 살펴보았다. 고시조에 있어서 1)은 논리 정연한 문장으로 되어 있고 논리를 방해할 수 있는 수식어를 극도로 배제하고 있음을 알았다. 2)는 각 장끼리의 응집성 혹은 응결성을 확보하여 확실한 연결을 이루고 있음을 알았다. 3)은 통사적으로 안정된 짜임을 갖고 있어 3장 6구의 형식을 취하고 있음을 알았다. 현대시조에 있어서 1)은 수식어를 남용하여 정연한 논리로서의 시조가되지 못 할 뿐더러 3장 구성까지도 만들어지지 않는 경우가 있었다. 2)는 각 장끼리의 연결성이 애매하여 장과 장끼리의 유기적 결합이 이루어지지 않는 경우가 있었다. 3)은 3장 6구를 이루는 통사적 짜임을 몰각하여 시조형식을 파괴하는 경우가 있었다. 이와 같은 현대시조의 경향은 현대시조의 존립근거를 위태롭게 만든다고 생각한다.