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

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

• 정보처리학회논문지D
• /
• 제9D권3호
• /
• pp.417-426
• /
• 2002

컴포넌트 저장소의 효율적인 검색이 컴포넌트 재사용에 매우 중요하다. 컴포넌트 저장소에 보관할 컴포넌트에 대한 정보를 얻는데 일반적으로 많은 시간과 노력이 필요하다. CORBA 3의 컴포넌트 소프트웨어 서술자는 XML을 사용하여 일반적인 컴포넌트의 특성을 서술한다. 본 논문에서 CORBA 3의 소프트웨어 컴포넌트 서술자를 확장하며 이를 사용하여 컴포넌트 저장소의 검색에 필요한 정보를 얻는다. 패싯에 기초한 새로운 검색 방법을 제안하여 기존의 패싯 방법에서 지원하지 않았던 논리 연산자를 사용한 검색이 가능하며 또한 검색의 복잡도가 향상된다.

• 한국과학교육학회지
• /
• 제34권7호
• /
• pp.647-655
• /
• 2014

이 연구는 초등학생들의 과학적 의사소통능력, 과학 탐구능력, 논리적 사고력이 학업성취도 수준에 미치는 영향을 분석하여, 과학적 소양 함양을 위한 교육에 시사점을 얻고자 하였다. 초등학교 6학년 학생 64명을 대상으로 과학적 의사소통능력 검사(SCST), 과학 탐구능력 검사(TSPS), 논리적 사고력 검사(GALT)를 실시하였으며, 과학교과지필 평가와 과학교과 서술형 평가, 전체교과의 학업성취도 평가를 통해 자료를 수집하였다. 이러한 자료를 바탕으로 과학 탐구능력과 논리적 사고력, 과학적 의사소통능력의 상호간의 상관관계를 분석하고, 각각의 능력의 하위 요소별로 학업 성취도와의 영향을 분석하였다. 그리고 과학 탐구능력과 논리적 사고력이 영향을 주고 있는 과학적 의사소통능력이 학업성취수준에 직접적인 영향을 미친다는 가정아래세 가지 유형의 성취도평가와의 상관관계를 구조적인 모형으로 분석하였다. 연구 결과 과학적 의사소통능력과 과학 탐구능력, 논리적 사고력은 서로 높은 상관관계를 가지고 있었다. 그리고 이 세 능력은 학습자의 과학교과 지필, 과학교과 서술형, 전체교과 학업 성취도 수준와도 유의미한 상관관계를 가졌으며, 하위 요소별로 그 상관정도는 조금씩 다르게 나타났다. 마지막으로 과학 탐구능력과 논리적 사고력이 과학적 의사소통능력에 영향을 주고 과학적 의사소통능력이 학습자의 학업성취도 수준에 직접적인 영향을 끼친다는 모형을 설정하여 분석한 결과, 과학적 의사소통능력이 전체 교과에 대한 학업 성취도 수준에 가장 크게 영향을 주고 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2021년도 춘계학술발표대회
• /
• pp.483-486
• /
• 2021

기존의 심층 강화학습은 상태, 행동, 정책 등을 모두 벡터 형태로 표현하는 강화학습으로서, 학습된 정책의 일반성과 해석 가능성에 제한이 있고 영역 지식을 학습에 효과적으로 활용하기도 어렵다는 한계성이 있다. 이러한 문제점들을 해결하기 위해 제안된 새로운 관계형 강화학습 프레임워크인 dNL-RRL은 상태, 행동, 그리고 학습된 정책을 모두 논리 서술자와 규칙들로 표현할 수 있다. 본 논문에서는 dNL-RRL을 기초로 공장 내 운송용 모바일 로봇의 제어를 위한 행동 정책 학습을 수행하였으며, 학습의 효율성 향상을 위해 인간 전문가의 사전 영역 지식을 활용하는 방안들을 제안한다. 다양한 실험들을 통해, 본 논문에서 제안하는 영역 지식을 활용한 관계형 강화학습 방법의 학습 성능 개선 효과를 입증한다.

• 동양고전연구
• /
• 제68호
• /
• pp.35-67
• /
• 2017

본고는 18세기 노론계 핵심인물 가운데 한 사람인 도암(陶菴) 이재(李縡, 1680-1746)에 대한 문학 연구의 일환으로 그가 남긴 상소문(上疏文)을 고찰하였다. 이재의 문집에는 총 49편의 상소문이 수록되어 있는데, 거개가 사직상소문(辭職上疏文)이다. 여타 작가의 사직상소문과 마찬가지로 이재의 사직상소문 역시 '사직'이라는 궁극적 목표 아래 다양한 논리와 서술기법으로 상대방 즉 임금을 설득하고 있다. 상소문의 집필 방식이 고정된 관습이 지배적이긴 하지만 그 이면에는 궁극적으로 관철시키려는 의견, 부수적으로 노리는 효과 등이 깔려 있고, 각자 자신이 처한 상황에 따라 논리적으로 서술하기 마련이다. 이러한 요인으로 상소문은 더 이상 정치, 역사 분야의 취재 대상에서 머무르지 않고 문학 연구의 대상이 된다. 이재는 상소문을 작성할 때 진정(眞情)을 가장 중요시하였고, 상황에 적실한 설득 논리를 강조하였다. 그가 작성한 상소문의 실제 양상을 살펴보더라도 이것과 어긋나지 않는다. 이재는 대제학을 사직하기 위해 3차례에 걸쳐 상소문을 작성하였는데, 각각의 글에서 다양하게 설득 논리를 변주하였다. 일반적으로 특정 관직에 대해서 여러 번 사직상소문을 올릴 경우, 동일한 논리와 서술로는 상대방을 설득시키기 어렵기 때문에 다양한 설득 전략을 구사할 수밖에 없다. 첫 번째 상소문에서는 직임의 막중함에 적임자가 아니라는 이유만을 건조하게 나열하는 정공법(正攻法)도 사용하였고, 두 번째 상소문에서는 모친 봉양과 확고한 출처관을 뒤섞어 상대방의 감정과 이성에 호소하였고, 마지막 상소문에서는 다소 과격한 언사로 상대방을 궁지에 몰아넣는 방식을 사용하였다. 결론적으로 사직상소문의 궁극적 목표인 면직(免職)의 실효를 거두지는 못했지만, 동일한 주제를 두고 설득 논리를 변주하는 양상을 살필 수 있다. 이상은 이재 상소문의 내용적 측면 즉 입의(立意)의 고찰이다. 다음으로 살펴본 것은 이재 상소문의 형식적 측면 즉 수사(修辭)이다. 사직이라는 분명한 목표 아래 작성되는 사직상소문은 고정된 관습적 글쓰기의 한계를 벗어나기가 쉽지 않다. 이러한 난점을 극복하기 위해 사직상소문을 작성하는 자는 다양한 수사법을 동원하게 되는데, 장법(章法)이나 구법(句法), 배비(排比)나 대구(對句) 등과 같은 구성적 측면은 물론이고 억양(抑揚), 비유(比喩) 등과 같은 표현적 측면까지 고려하게 된다. 대제학을 사직하기 위해 첫 번째로 올린 상소문은 구성적 측면에서 탄탄하게 직조되었고 적절한 억양법을 구사하였다. 일반적으로 고문(古文)의 문예미는 문종자순(文從字順)의 순정함을 추구하는데, 표현에 있어서는 생소하거나 난삽하지 않은 어사(語辭)를 사용하고, 구성에 있어서는 구절과 문장, 문장과 단락, 단락과 주제가 유기적으로 조응(照應)하는 것을 미덕으로 여긴다. 이재의 상소문은 이러한 고문의 색채를 지니고 있다. 또한 치밀한 구조 가운데에도 자신의 진정(眞情)을 강하게 전달하는 김창협(金昌協)의 상소문처럼 이재의 상소문도 번다한 언사나 화려한 수식은 자제하면서 정제된 구법으로 작자의 솔직한 소회를 자연스레 드러내어 상대방을 설득하는 글쓰기를 구사하였다. 끝으로 이재의 졸기(卒記)에 언급될 만큼 그의 상소문의 백미라 할 수 있는 글, 이른바 만언소(萬言疏)라고 하는 "도성에 들어온 뒤에 소회를 아뢴 상소(入城後陳所懷疏)"를 살펴보았다. 그 내용은 신임옥사의 잘잘못을 가리면서 영조의 탕평책을 논리적으로 신랄하게 비판한 것인데, 총 5,300여 자로 이루어진 장문의 글이다. 이 글에서 이재는 반어법, 설의법, 점층법을 반복적으로 구사하여 신랄하게 영조의 탕평책을 비판하며 영조의 입지를 궁지로 내몰았다. 이 상소문을 열람한 영조는 자신을 향한 강경한 비판에도 불구하고 언사가 곡진하며 의미가 분명하다고 고평하였다. 이채(李采)가 이재의 상소문을 두고 의리에 근본하고 충간을 밝혔다고 평가한 점, 이재가 상소문의 중요한 덕목으로 조어(措語)의 진정성을 꼽았다는 점, 영조가 곡진한 언사와 분명한 의미를 드러내었다고 평가한 점에서 이재의 만언소는 상소문의 모범이 될 만하다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제11권3호
• /
• pp.141-148
• /
• 2022

최근 들어 강화 학습은 심층 신경망 기술과 결합되어 바둑, 체스와 같은 보드 게임, Atari, StartCraft와 같은 컴퓨터 게임, 로봇 물체 조작 작업 등과 같은 다양한 분야에서 매우 놀라운 성공을 거두었다. 하지만 이러한 심층 강화 학습은 행동, 상태, 정책 등을 모두 벡터 형태로 표현한다. 따라서 기존의 심층 강화 학습은 학습된 정책의 해석 가능성과 일반성에 제한이 있고, 도메인 지식을 학습에 효과적으로 활용하기도 어렵다는 한계성이 있다. 이러한 한계점들을 해결하기 위해 제안된 새로운 관계형 강화 학습 프레임워크인 dNL-RRL은 센서 입력 데이터와 행동 실행 제어는 기존의 심층 강화 학습과 마찬가지로 벡터 표현을 이용하지만, 행동, 상태, 그리고 학습된 정책은 모두 논리 서술자와 규칙들로 나타내는 관계형 표현을 이용한다. 본 논문에서는 dNL-RRL 관계형 강화 학습 프레임워크를 이용하여 제조 환경 내에서 운송용 모바일 로봇을 위한 행동 정책 학습을 수행하는 효과적인 방법을 제시한다. 특히 본 연구에서는 관계형 강화 학습의 효율성을 높이기 위해, 인간 전문가의 사전 도메인 지식을 활용하는 방안들을 제안한다. 여러 가지 실험들을 통해, 본 논문에서 제안하는 도메인 지식을 활용한 관계형 강화 학습 프레임워크의 성능 개선 효과를 입증한다.

• 정보보호학회지
• /
• 제19권4호
• /
• pp.44-52
• /
• 2009

2005년 중국의 Wang 교수 연구팀에 의해 SHA-1에 대한 충돌쌍 공격이 발표됨에 따라, SHA-1 대신 SHA-2를 사용하도록 하였다. 아직까지 SHA-2에는 SHA-1과 같은 문제점이 발생하지 않고 있지만, SHA-1과 설계 논리가 유사한 SHA-2에 문제점이 생겼을 경우 대체 알고리즘이 부재한 현 상황에 따라 SHA-3 알고리즘 개발의 필요성이 제기되었다. 이에 미국 국립기술 표준원 (NIST, National Institute of Standards and Technologies)는 신규 표준 해쉬 알고리즘을 개발을 위하여 2007년부터 2012년까지 6년간의 "SHA-3 프로젝트"를 시작하였다. 2008년 11월 1일 64개의 알고리즘이 제출되었으며, 12월 11일 51개의 알고리즘이 1 후보 알고리즘으로 선정되었다. 2009년 7월 현재, 10개의 알고리즘이 제안자에 의해 철회되어 41개의 알고리즘이 1 라운드에서 심사되고 있다. 본 논문에서는 SHA-3 개발의 요구 사항과 현재까지 SHA-3 개발 동얄을 서술한다.

• 논리연구
• /
• 제21권2호
• /
• pp.207-231
• /
• 2018

진리 동일론자들은 진리담지자와 사실 사이의 동일성을 주장한다. 우선, 본고는 그들의 주장을 어떻게 이해해야 적절할지를 검토한다. 필자는 진리 동일론자들이 주장하는 동일성 관계를 사소한 관계와 사소하지 않은 관계로 분류한 다음, 사소한 동일성 관계로 이해한 동일론 논제가 왜 진리 동일론자들의 주장이 될 수 없는지를 논변할 것이다. 이어서, 사소하지 않은 동일성에 따른 견해를 줄리언 도드의 분류를 따라 다시 강경한 동일론과 온건한 동일론으로 구분한 후, 전자의 동일론이 그 자체로 비일관적인 견해가 됨을 보일 것이다. 그리고 동일론자들에게 남겨진 대안인 온건한 동일론을 진리 축소주의와 비교해야 하는 이유를 해명하고, 그 비교로부터 온건한 동일론자들 앞에 놓인 두 가지 선택지를 귀결로서 이끌어 낼 것이다. 동일론자들이 그 중 한 쪽을 택하면 축소주의보다 온건한 동일론을 더 선호해야 할 정당성은 얻어지지 않는 반면에, 다른 한 쪽의 선택지를 택하는 경우에는 그들에게 어떤 새로운 문제가 해결 과제로 남겨지는지를 서술할 것이다. 끝으로 결론에서는 이 남겨진 과제가 지닌 한계와 전망을 평가할 것이다.

• 한국가정과교육학회지
• /
• 제27권1호
• /
• pp.51-65
• /
• 2015

본 연구는 "가정과 논리 및 논술" 교과목의 운영 실태와 이 과목을 수강한 가정교육과 재학생의 인식을 알아보는데 목적이 있다. 이를 위해 전국 사범대학 가정교육과에서 개설된 "가정과 논리 및 논술" 교과목의 강의계획서를 수합하여 내용 분석하였다. 이를 바탕으로 설문지를 구성하여 사범대학 가정교육과에 재학 중인 학생 가운데 이 교과목을 수강한 학생들을 대상으로 설문조사를 실시하였다. 전체 응답자는 116명이며, SPSS/WIN 21.0으로 분석하였다. 본 연구의 주요결과는 다음과 같다. 첫째, "가정과 논리 및 논술"의 강의계획서 분석 결과, 교과목의 목표는 가정교육과와 관련된 다양한 주제에 대한 논리적 서술 능력 함양의 목표가 가장 많았고, 다음으로 논리적인 설득력 강화를 통한 가정과교사의 전문성 향상, 논리적 글쓰기 함양, 임용고사 준비, 그리고 학교 현장에서 학생들의 글쓰기를 잘 지도할 수 있는 능력 함양의 순이었다. 이 교과목에 대한 강의내용은 가정교과 세부전공 중심의 글쓰기, 일반적인 글쓰기 기초, 가정과 임용고사 준비, 논리논술 관련 이론, 가정과 교육 관련 최근의 이슈, 중등학교 현장에서의 논술교육 및 논술지도 방안의 순이었다. "가정과 논리 및 논술" 강의의 학습평가방법은 대개 출석, 시험, 과제, 토론 및 발표, 수업참여를 중심으로 제시되었으며 이 교과목의 과제는 모두 '글쓰기'였다. 둘째, "가정과 논리 및 논술"과목을 수강한 학생들의 인식 조사에서 강의목표에 대한 만족도가 가장 높았으며, 학습평가방법에 대한 만족은 가장 낮았으나 모두 4점 만점에서 2점 이상으로 나타나 수강생들은 이 교과목에 대해서 대체로 만족하였다. 셋째, 가정교육과 재학생들은 "가정과 논리 및 논술" 교과목이 논리적 비판적 분석 능력의 향상, 가정과교육 및 교육학 관련 글쓰기 실력의 향상, 그리고 자신의 생각을 정확하고 체계적으로 표현하는 능력의 향상이 도움이 되었다고 하였다. 이 교과목 수강 시 어려운 점에 대하여 글쓰기 연습이 가장 어려웠고, 다음으로 잦은 토의 및 토론활동, 모호한 학습평가방법 기준, 빈번한 발표, 교수자의 피드백 부족, 과도한 과제, 어려운 강의내용 순으로 인식하였다. 결론적으로, "가정과 논리 및 논술" 교과목은 논리적 비판적 사고력을 키워 가정과교육에 대한 이해를 넓히는 것을 목표로 하는데, 조사결과 본 교과목은 비교적 목표에 잘 부합되게 운영되고 있었다. 다만 교과교육학영역에 '논리 및 논술에 관한 교육'이 신설된 이후 임용시험 유형도 논술형으로 바뀌면서, 학생들은 이 교과목에서 임용시험을 대비할 수 있기를 기대하고 있다. 따라서 "가정과 논리 및 논술" 교과목의 특성과 목표를 유지하면서 학생들의 임용시험 준비에 대한 요구를 제대로 반영하여 이 교과목에 대한 운영을 보완하여야 할 것이다.

• 한국멀티미디어학회논문지
• /
• 제7권10호
• /
• pp.1496-1504
• /
• 2004

웹 서비스는 인터넷을 통해 기업 상호간에 비즈니스를 연결할 수 있도록 하는 것으로, 서비스 구축의 비용 감소와 속도 증진이 가능하다. 또한, 다른 영역과의 통합이 쉽게 가능하며, 컴포넌트 기반으로 개발할 경우 업데이트나 수정이 재사용성과 대체성을 제공함으로써 용이하다. 본 논문에서는 서비스지향 아키텍처 상에서 공급자 측면에서 구현되는 웹 서비스를 신뢰성과 민첩성을 보장하기 위해 컴포넌트 기반으로 개발하고자 한다. 이를 위해서 구성되는 컴포넌트를 효율적으로 통합하기 위한 아키텍처를 제안하고, 개발 프로세스를 서술한다. 또한, 컴포넌트를 기반으로 웹 서비스를 개발하기 위해 웹 서비스의 구조를 논리적으로 계층화하여 각 계층에서의 기능을 정의하였으며, 논리적 계층을 기반으로 아키텍처를 제시한다. 이들 내부는 크게 Facade와 Backside 컴포넌트로 구성하며, 웹 서비스 기능을 가지고 있는 Facade 컴포넌트를 개발하기 위한 프로세스와 메일링 웹 서비스를 사례로 제시한다. 이를 통해 웹 서비스의 생산비용과 개발시간의 절감을 기대할 수 있으며, 컴포넌트를 기반으로 웹 서비스를 구성하여 재사용성과 대체성에 대한 신뢰성 향상을 가져온다.