• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1992년도 제4회 한글 및 한국어정보처리 학술대회
• /
• pp.615-627
• /
• 1992

연결주의적 선회'(the connectionistic turn)를 말할 만큼 학문적 방법론과 이론적 관점에 중요한 변화를 가져오고 있는 연결주의를 철학에서의 원자주의와 대비시켜서 고찰한다. 특히 원인론, 실재론 및 의미론의 문제에 관하여 연결주의적 관점이 어떤 의미를 갖는지 검토해 본다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권1호
• /
• pp.29-34
• /
• 2016

다중에이전트 시스템에서 매우 중요한 연구 분야 중 하나는 에이전트소통언어(ACL)의 정의와 ACL의 적당한 공식적 의미론의 제시이다. 본 논문에서는 기존의 두 개의 의미론적 접근방식을 뛰어넘는 언표내적 효과 기반의 FIPA-ACL의 의미론을 제안한다. 제안한 의미론의 주요 개념은 언화행위이론의 언표내적 행위의 성공과 만족조건에 대한 의미론적 개념과 공통근거 기반의 프레임워크에 기초하고 있다. 제안한 의미론을 사용하여 사례연구로 inform과 request와 같은 FIPA-ACL의 대표적인 언화행위를 정의한다. 제안된 의미론의 강점을 보이기 위하여 자동차 판매자와 잠재 고객 간의 전자상거래 에이전트 구매협상을 응용 예로 제시한다. 그리고 기존의 의미론적 방식들과의 비교를 보인다.

• 논리연구
• /
• 제7권2호
• /
• pp.1-14
• /
• 2004

현재의 언어철학에서 거의 지배적인 위상을 갖고 있는 의미 전체론이 직면하는 중요한 문제 중의 하나는 '의미 불안정성 문제'이다. 의미 전체론에 의하면, 한 진술의 동일성 조건이 그 진술이 속한 이론에 상대적이기 때문에 전체 이론이 조금만 바뀌어도 그 진술의 의미가 바뀌게 되는 의미 불안정성의 문제가 발생한다. 필자는 이 논문에서 이 문제에 관한 기존의 해결 방식의 일부를 소개한 후 브랜덤이 그의 책 Making It Explicit (1994)에서 제시한 새로운 해결책을 소개하고 이를 옹호한다. 브랜덤은 이 문제를 해결하기 위해, 커뮤니케이션은 어떤 공통적인 것을 공유하는 것이라는 커뮤니케이션에 관한 기존 모델을 거부하고, "실천 속에서의 일종의 협동"으로서의 새로운 커뮤니케이션 모델을 제시한다. 필자는 이 논문에서 브랜덤이 제시하는 새로운 커뮤니케이션의 모델을 적극 옹호한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2018년도 추계학술대회
• /
• pp.84-86
• /
• 2018

요즘 자율주행과 같은 최신 기술의 발전과 더불어 촬영된 영상 장면에 대한 깊이있는 이해가 필요하게 되었다. 특히, 기계학습 기술이 발전하면서 카메라로 찍은 영상에 대한 의미론적 분할 기술에 대한 연구도 활발히 진행되고 있다. FuseNet은 인코더-디코더 구조를 이용하여 장면 내에 있는 객체에 대한 의미론적 분할 기술을 적용할 수 있는 신경망 모델이다. FuseNet은 오직 RGB 입력을 받는 기존의 FCN보다 깊이정보까지 활용하여 RGB 정보를 기반으로 추출한 특징지도와의 요소합 연산을 통해 멀티 모달 구조를 구현했다. 의미론적 분할 연구에서는 객체의 전역 컨텍스트가 고려되는 것이 중요한데, 이를 위해 여러 계층을 깊게 쌓으면 연산량이 많아지는 단점이 있다. 이를 극복하기 위해서 기존의 합성곱 방식을 벗어나 새롭게 제안된 팽창 합성곱 연산(Dilated Convolution)을 이용하면 객체의 수용 영역이 효과적으로 넓어지고 연산량이 적어질 수 있다. 본 논문에서는 컨볼루션 연산의 새로운 방법론적 접근 중 하나인 팽창된 합성곱 연산을 이용해 의미론적 분할 연구에서 새로운 멀티 모달 네트워크의 성능 향상 방법을 적용하여 계층을 더 깊게 쌓지 않더라도 파라미터의 증가 없이 해상도를 유지하면서 네트워크의 전체 성능을 향상할 수 있는 최적화된 방법을 제안한다.

• 정보처리학회논문지B
• /
• 제15B권4호
• /
• pp.293-300
• /
• 2008

본 논문에서는 상향식 방식의 주의모듈을 사용하여 얻어지는 의미론적으로 중요한 영역에 워터마킹을 삽입하는 새로운 방법을 제안한다. 본 논문에서는 저작물을 공격하는 제3자가 영상 전체 정보가 아닌 몇몇 영역 및 물체에 관심을 가지고 있다는 사실에 착안하여 의미론적으로 중요하다고 생각되는 영역에 워터마크 정보를 삽입한다. 이는 전통적인 워터마킹 방법이 영상의 전체 영역에 걸쳐 워터마크를 삽입하는 것과는 다른 접근방법이다. 워터마크가 삽입되는 관심영역은 인간의 상향식 방식의 시각적 주의에 기반하여 모델링 된 주의모듈을 통해 얻는다. 본 논문을 통해 제안되는 워터마크 기법은 워터마크가 전체 영상이 아닌 몇몇 주요영역에 삽입되므로 중요부분이 공격당하기 어렵게 되며, 워터마크를 확인하여 소유권자를 구분할 때에도 워터마크가 관심영역 안에 있기 때문에 삽입된 워터마크의 탐지율이 높아진다. 실험결과를 통해 제안하는 방법의 효용성을 확인하였다.

• 논리연구
• /
• 제17권2호
• /
• pp.233-253
• /
• 2014

엘드리지-스미스가 제시한 피노키오 역설은 거짓말쟁이 역설과 같은 의미론적 역설의 변형이지만, 의미론적인 술어를 포함하고 있지 않다는 점에서 독특하다. 언어의 위계를 이용하여 의미론적 역설을 해결하려는 타르스키의 해결책이나, 진리 술어를 부분적으로 정의되는 것으로 보고 거짓말쟁이 문장에 대해서 진리 틈새를 인정하는 크립케의 초완전성 견해는 피노키오 역설에 대한 적절한 해결 방안이 아니다. 피노키오 역설을 통해서 양진주의에 대해서 비판하는 엘드리지-스미스의 시도가 성공적이지 않음과 함께 이 역설의 중요한 함축은 진리 술어에 관한 규칙이 비일관적이라는 것을 논증한다. 이 역설에 대한 적절한 진단은 이 역설을 낳는 피노키오 원리가 잠재적으로 비일관적임을 인정하는 것이고, 이 점은 거짓말쟁이 역설과 같은 의미론적 역설이 발생하는 이유는 진리 술어에 대한 규칙이 비일관적이기 때문이라는 점을 시사한다. 피노키오 역설을 통해서 우리가 알 수 있는 것은 의미론적 역설에 대한 진리 일관성주의적 해결책은 성공할 수 없고 진리 비일관성주의를 받아들여야 한다는 것이다.

• 논리연구
• /
• 제16권2호
• /
• pp.233-271
• /
• 2013

본고에서는 콰인의 존재론적 기획의 윤곽을 보이고자 했다. 이 기획의 핵심에는 존재론적 개입의 기준이 있다. 그의 존재론적 개입의 기준에 관한 논의는 20세기 영미 철학계에서 존재론 탐구의 기준과 방법에 방향을 제시할 정도로 큰 영향을 주었으나, 다른 한편으로 더 큰 궁금증을 유발한다. 이 기준을 제시할 때 그는 진정으로 존재론에 종사한 것인가? 이런 의문에 답하기 위해서 본고에서는 존재론이 철학의 다른 분야와 마찬가지로 여러 층위를 갖고 있다는 점을 부각시켜, 콰인의 논의가 어떤 성격을 갖는지 밝히고자 한다. 이를테면, 존재론적 개입의 적절한 기준을 찾아나가는 일은 상위 존재론에 속하는 작업이며, 실질 존재론인 이런 기준을 이용하여 이루어진다. 전자를 위해서는 의미론적 상승이 필요하며, 후자를 위해서는 존재론적 하강이 필요하다고 주장했다. 그리고 이런 논의의 결과, 콰인의 존재론 관련 논의에 대한 몇 가지 사소하거나 중요한 오해도 제거될 수 있다. 존재론적 개입이 진리조건을 요구한다는 오해가 가장 심각하지만, 이 오해를 통해 성공한 존재론적 개입의 조건이 분명해질 것이다. 이런 해명이 진행되면서, 더 일반적으로는 존재론의 범위와 책무도 자연스럽게 드러날 것이다.

• 논리연구
• /
• 제2권
• /
• pp.35-61
• /
• 1998

개최들의 개별화를 위한 대표적인 법칙으로 간주되고 있는 라이프니츠의 법칙은 철학에서만 아니라 수학이나 논리학과 같은 순수과학에서도 중요한 법칙으로 사용되고 있다. 그러나 최근에 들어서 라이프니츠의 법칙은 그 논리적 위상과 관련하여 심각한 논란의 대상이 되고 있다. 이러한 논란의 근본적 원인은 칸트나 블랙과 같은 철학자들에 의해 라이프니츠의 법칙이 적용되지 않을 기능성을 보이는 반례가 제시되었고, 많은 철학자들이 이에 동조한 데에서 찾을 수 있다. 라이프니츠의 법칙의 논리적 위상과 관계된 철학자들의 입장은 크게 두 가지로 구분된다. 첫 번째 입장은 블랙 등에 의해 제시된 예들을 라이프니츠의 법칙에 대한 정당한 반례로 간주하는 입장이고, 두 번째 입장은 이러한 예들은 리이프니츠의 법칙에 대한 반례로 간주될 수 없다는 입장이다. 두 번째 입장을 쥐이는 대표적 철학자는 헷킹이다. 헷킹은 시공간에 대한 인습주의에 입각하여 블랙 등에 의해 제시된 예는 완전한 가능성을 나타내는 것이 아니고 라이프니츠의 법칙은 가능세계에 대한 메타 원칙으로 간주되어야 한다고 주장하고 있다. 본고에서 필자는 리이프니츠의 법칙을 옹호하려는 헷킹의 시도는 성공적이지 못하고, 또한 블랙 등에 의해 제시된 예들은 라이프니츠의 법칙에 대안 정당한 반례로 간주되어야 한다는 입장을 개진하고 있다. 필자가 이러한 입장을 취하게 된 것은 헷킹의 입장은 논리적 기능성과 물리적 기능성 사이의 구별을 어렵게 한다는 문제점 이외에도 가능세계 의미론과 관련된 중요한 문제점들을 야기하고 있기 때문이다. 가능세계 의미론과 관련된 문제점은 이러한 시도는 가능세계 의미론에 입각한 양상명제들의 해석의 범위를 제한하게 만들고 De-Re 양상명제에 대한 해석을 위해 필수적인 헤세이티즘의 수용을 불가능하게 한다는 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.241-243
• /
• 2003

지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 오순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 막장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방범이 고려되지 않았다. 최근에 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분야가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 정의하였다.

• 대한수학교육학회지:학교수학
• /
• 제5권1호
• /
• pp.59-76
• /
• 2003

학교수학에서 학생들이 수학을 학습하고 문제해결을 하는 데에는 기호가 중요한 역할을 한다. 본 연구는 기호학의 분야인 구문론, 의미론, 화용론의 관점에서 수학 7-가 문자와 식 영역의 교과서 내용을 분석하고, 교수학적으로 대수 기호가 도입되고 전개하는 과정을 살펴보았다. 또한 기호학 관점에서 교과서의 대수 기호를 분류하고 문제 구성 분포에 대해서도 조사하였다. 그 결과 교과서의 대수 개념 설명과 문제들은 주로 구문론과 의미론의 관점이 많았으며, 화용론적 관점의 언급은 거의 없었다. 마지막으로, 대수 기호에 의한 학습을 통해 학생들의 문제해결을 예측하기 위하여 회귀 분석을 실시한 결과, 구문론과 화용론의 점수가 대수적 문제해결 점수의 예측 변수였다.