• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.359-362
• /
• 2020

본 연구에서는 설명 문장 생성을 통한 해석 가능한 시각적 질의응답 모델을 설계하고 학습 방법을 제시한다. 설명 문장은 시각적 질의응답 모델이 응답을 예측하는 데에 필요한 이미지 및 질문 정보와 적절한 논리적인 정보의 조합 및 정답 추론 과정이 함의되어 있을 것으로 기대한다. 설명 문장 생성 과정이 포함된 시각적 질의응답의 기본적인 모델을 기반으로 여러 가지 학습방법을 통해 설명 문장 생성 과정과 응답 예측 과정간의 상호관계를 분석한다. 이러한 상호작용을 적극적으로 활용할 수 있는 보다 개선 시각적 질의응답 모델을 제안한다. 또한 학습한 결과를 바탕으로 설명 문장의 특성을 활용하여 시각적 질의응답 추론 과정을 개선함으로써 시각적 질의응답 모델의 발전 방향을 논의한다. 본 실험을 통해서 응답 예측에 적절한 설명 문장을 제시하는 해석 가능한 시각적 질의응답 모델을 제공한다.

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

아리스토텔레스 이후부터 프레게와 럿셀의 현대논리학이 등장하기 전까지 가장 중요한 논리학의 저서는 "포트로얄 논리학"이라고 알려진 "논리학 혹은 사유의 기술" 이다. 이 저서는 아리스토텔레스와 중세의 고전논리학적 요소와 프레게의 현대논리학적 요소를 동시에 지니고 있어 고전논리학과 현대논리학의 가교 역할을 하고 있다고 할 수 있다. 이 논문의 목적은 포트로얄 논리학에 나타난 서술문의 계사에 대한 설명과 그에 대한 대립되는 해석들을 살펴보고 포토로얄 논리학전체 체계에 비추어 볼 때 어떠한 해석이 보다 설득력있는 해석인가를 검토해 봄으로써 포트로얄 논리학이 지닌 고전적 요소와 현대적 요소를 대비해 보는 것이다. 즉 포트로얄 논리학의 서술문의 계사에 대한 설명을 통해서 그 저서의 한계와 의미를 알아보고, 논리학사에서 그 저서의 정당한 가치를 평가하는 것이 이 논문의 목적이다. 서술문의 계사에 대한 포트로얄 논리학의 설명은 계사는 주어와 술어 사이의 동일성 기호라는 고전적인 해석을 가능하게 하는 여지를 가지고 있는 것은 분명하다. 동시에 서술문의 계사는 술어의 속성들의 집합(comprehension)에 속한 성질들을 주어의 외연(extension)에 적용시키는 역할을 한다고 주장함으로써 프레게의 개념과 대상에 대한 설명과 유사함도 보이고 있다. 필자는 포트로얄 논리학의 계사에 대한 설명을 주어와 술어의 동일성 기호로 해석하는 최근의 빠리앙뜨의 주장(1978)을 비판적으로 살펴보고, 포트로얄 논리학의 계사에 대한 설명을 보다 정확하게 이해하는 것은 술어의 속성과 주어의 외연 사이의 서술적 기능이라고 보는 것이라고 주장한다. 계사를 동일성 기호로 해석하는 것은 첫째 포트로얄 논리학 전체를 살펴볼 때 빈약한 문헌적 증거밖에 갖지 못하고, 둘째 논리학과 의미론에서 포트로얄 논리학의 가장 중요한 기여라고 평가되는 속성집합과 외연의 구별에 대한 오해를 포함하고 있으며, 마지막으로 이러한 해석은 같은 술어도 주어가 달라짐에 따라 다른 의미를 갖는다는 주장을 포함함으로써 반직관적이다. 반면에 계사를 서술적 기능을 하는 것으로 해석하는 것은 포트로얄 논리학의 외연과 내포 사이의 구별에 대한 보다 정확한 이해에 근거한 것이고 종속절을 갖고 있는 명제에 대한 포트로얄 논리학의 분석에 의해서도 뒷받침됨을 보인다. 그러나 포트로얄 논리학은 주어의 외연이 공집합인 명제에 대한 분석에서 여전히 고전논리학적인 설명을 고수한다. 즉 그러한 면제에 대해 주어의 외연이 존재한다고 가정하는 존재적 관점의 해석만 허락함으로써 전칭명제를 조건적으로 해석하고$[({\forall}x)(Sx{\rightarrow}Px)]$, 특칭명제를 연언적으로 해석함으로써$[({\exists}x)(Sx&Px)]$, 그 문제를 해결하는 현대논리학과는 구별된다. 즉 포트로얄 논리학은 서술문의 계사를 동일성 기호가 아니라 주어와 술어의 외연과 내포사이의 서술적 기능으로 설명한다는 점에서 고전적인 견해와 구별되지만, 여전히 존재적 관점에서 모든 명제를 해석한다는 점에서 고전적이다. 이것이 바로 포트로얄 논리학의 평가를 위해서 주목해야 할 그 논리학의 가치이며 한계인 것이다.

• Annual Conference on Human and Language Technology
• /
• 1997.10a
• /
• pp.233-240
• /
• 1997

일반적으로 전제는 상황에 의해서 취소되지 않는 한, 투사되는 경향이 있다는 것이 관찰되어 왔다. 만족 이론 (satisfaction theory)은 이 경향을 포착하지 못하고. 지시 조응 분석(anaphora analysis)은 이 경향을 설명하려고 했지만 설명이라기 보다는 규정에 가깝다. 본 논문에서는 전제가 정보전달의 한 방법으로서 문장의 다양한 해석을 야기하고, 그 중 정보성이 높은 해석이 선호된다는 주장을 함으로써 이 경향을 설명한다. 이를 위해 어떻게 다양한 해석이 도출되는가를 보여주고, 정보성의 척도를 소개하며, 문장 해석의 정보성을 결정하는 연산자들의 정보성에 관련된 특성을 살핀다. 이로부터 관찰된 전제의 투사 현상을 설명한다. 끝으로 정보성이 높은 해석을 선호하는 것은 경제성과 합리성에 근거한다는 것을 지적한다.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.9-17
• /
• 2000

본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.

• Computational Structural Engineering
• /
• v.10 no.3
• /
• pp.30-38
• /
• 1997

본 논문에서는 선형파괴역학의 관점에서의 파괴강도해석 기법들에 대해서 포괄적으로 논의하였다. 파괴강도해석을 위하여 규정되어야 할 파라메타들의 결정방법들에 대하여 설명하고 이들 파라메타들을 파괴강도설계에 적용시키는 과정들을 압력용기를 예를 들어 체계적으로 설명하였다. 선형파괴강도해석을 근간으로 한 파괴강도설계 방법으로 구조물을 설계하면 파괴응력에 대한 안전계수를 정확하게 산정할 수 있어서 안전성이 제고된 구조물을 설계.제작할 수 있게 될 것이다.

• Proceedings of the Korean Geotechical Society Conference
• /
• 1999.07a
• /
• pp.65-91
• /
• 1999

말뚝기초의 지지력예측방법 중 신뢰도가 가장 높은 것은 말뚝정재하 시험방법이므로 말뚝기초의 경제적이고 신뢰성있는 설계를 위하여 하중전이의 측정이 수반된 말뚝재하시험을 실시하여야 할 것이다. 따라서, 말뚝재하시험 방법들에 대하여 고찰하고, 시험결과의 해석사례를 설명하였다. 또한, 신뢰성있는 말뚝재하시험 수행을 위하여 고려해야 할 점들도 설명하였다. 또한, 하중전이측정실험에 대한 기본개념을 고찰하였으며, 이 결과의 활용방안에 대한 설명도 부가하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.3
• /
• pp.123-129
• /
• 2002

본 논문에서는 다목적실용위성 1호 개발 과정 중에 수행했던 연성 하중 해석에 대하여 소개하였다. 먼저 일반적인 연성 하중 해석 과정과 다목적실용위성 개발시 수행한 실제의 과정을 비교하였다. 그리고, 다목적실용위성 1호의 유한요소모델과 본 해석에 관련된 각 기관들의 역할을 설명하였다. 준비행모델의 진동 시험 결과를 이용한 유한요소모델의 조정에 대하여 설명하고, 또한, 해석에 입력으로 사용되는 외력함수에 해당하는 하중들에 대하여 설명하였다. 대표적인 해석 결과들을 제시하여 위성이 발사하중에 대하여 안전하다는 것이 예측되었음을 보여 주었다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1990.10a
• /
• pp.15-19
• /
• 1990

기계신호를 처리분석하기 위하여 개발된 MSAMODAL 프로그램에 대하여 그 기능 및 특성을 설명한다. 모듈 프로그램중 신호 해석 모듈은 시간영역해 석과 주파수 영역해석, 확률 해석의 부모듈로 나뉘며 모우드 해석 모듈은 모 우드 매개변수 추출과 모우드 에니메이션 부모듈로 나뉘는데 각각에 대하여 간략한 설명과 함께 결과를 보인다.

• Journal of the KSME
• /
• v.24 no.3
• /
• pp.193-202
• /
• 1984

본고에서는 피로파괴에 관하여 크게 두가지로 나누어서 설명한다. 첫째 피로현상에 의하여 생기는 피로파면형태 및 전위조직에 관하여 설명하고 그 다음에는 피로균열의 생성기구에 관하여 피로균열의 각 단계별로 설명하고 파면의 특성에 관하여 파괴역학적인 수법도 사용하여 설명한다.

• Annual Conference on Human and Language Technology
• /
• 2003.10d
• /
• pp.134-136
• /
• 2003

본 논문은 Grosz et al(1995)의 중심화이론(centering theory)을 바탕으로 목적어의 생략의 동기를 설명할 수 있는가를 검증하였다. 한국의 민담에 나타난 431개의 절과 신문사설 249개의 절을 분석한 결과 공목적어(zero object)의 17%만이 중심유지변이(continue transition)에 사용되었으며, 이는 중심화이론의 기존 세 가지 제약만으로는 공목적어의 분포를 설명할 수 없음을 보여주는 것이다. 본 연구에서는 중심화이론 내에서 공목적어의 분포를 설명하기 위하여 Kameyama(1998)의 평행선호조건(Parallelism Preference Condition)을 도입할 것을 제안하였다. 평행선호조건의 도입은 세 가지 측면에서 지지된다. 첫째, 중심변이 개념만으로 설명이 불충분한 공목적어의 분포를 중심화이론 내에서 설명할 수 있다. 둘째, 순조로운 중심이동변이(smooth-shift transition)에 나타나는 공주어의 분포를 설명할 수 있다. 셋째, 평행선호조건은 공명대명사의 해석뿐만 아니라 시제의 생략이나 동사의 생략을 설명하기 위해서 독립적으로 지지되는 조건이다.