• 논리연구
• /
• 제8권2호
• /
• pp.109-141
• /
• 2005

이 논문에서, 필자는 지식귀속이 발화 또는 주체의 문맥에 민감하다고 보는 '안다'에 대한 '민감주의'를 비판한다. Peter Unger는 '평평한', '확실한'과 같은 절대적 용어에 대한 둔감주의를 바탕으로 '안다'에 대한 둔감주의를 제안한 반면, David Lewis는 절대적 용어에 대한 민감주의를 바탕으로 '안다'에 대한 민감주의를 제시한 바 있다. 두 견해 모두 '안다'가 절대적 용어의 집합에 속한다는 것에 근거하고 있기 때문이다. 필자는 '안다'에 대한 Unger-식의 둔감주의에 반대한다. 필자의 주장에 의하면, '의미론적 면도날'이라고 부를 원칙에 입각할 때 우리는 절대적 용어와 관련해선 둔감주의보다 민감주의를 택할 이유를 가지기 때문이다. 다른 한편, 필자는 '안다'에 대한 민감주의적 접근에 대해서도 반대한다. 잘 살펴보면 '안다'와 절대적 용어(또는 민감한 용어 일반) 간에는 근본적인 차이가 있어서, 절대적 용어(또는 민감한 용어 일반)와는 달리 '안다'는 맥락에 민감한 것으로 취급될 수 없기 때문이다. 필자의 이런 주장들은 민감주의 의미론이 다른 많은 경우들에서 성공적일지라도 '안다'는 둔감한 용어로 간주되어야 함을 시사한다.

• 논리연구
• /
• 제19권1호
• /
• pp.49-82
• /
• 2016

크립키는 비트겐슈타인의 회의론적 역설을 다룸에 있어서 규칙 따르기에 대한 어떤 특정한 개념을 처음부터 전제하고 시작한다. 그런데 문제는 크립키가 자신이 이런 전제를 가정한다는 것을 전혀 명시적으로 밝히지 않고 있으며 더 나아가 크립키가 전제하는 규칙따르기에 대한 개념은 후기 비트겐슈타인이 옹호하고자 하는 규칙 따르기의 개념과 완전히 반대되는 개념이라는 것이다. 크립키가 전제하는 개념은 전기 비트겐슈타인이 옹호하는 비맥락주의적 의미론에 근거하는 '무한적이고 결정지어진' 규칙 따르기 개념이다. 비트겐슈타인의 회의론적 역설은 바로 이런 전기 비트겐슈타인적인 의미론과 규칙 따르기 개념으로부터 발생한다고 볼 수 있다. 따라서 크립키가 비트겐슈타인의 역설은 직접적인 해결이 아닌 회의론적 해결만이 가능하다고 주장한 것은 그가 여전히 전기 비트겐슈타인적인 의미개념과 규칙 따르기 개념을 받아들이기 때문이라고 볼 수 있다. 즉, 크립키는 후기 비트겐슈타인과는 달리 여전히 한 발을 트락타투스적 의미론에 담근 채 비트겐슈타인의 역설을 논하고 있기 때문에 회의론적 해결에 머문다는 것이다. 필자는 이를 크립키가 암묵적으로 가정하는 또 하나의 전제인 진리 대응론에 연결시킴으로써 크립키와 후기 비트겐슈타인의 차이점을 분명히 하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제14권2호
• /
• pp.169-180
• /
• 2009

기존의 논문검색은 키워드 기반 검색이고, 발간된 자료의 양이 방대해 짐에 따라 사용자가 원하는 정보를 검색하는데 어려움이 가중되고 있다. 사용자의 의도에 맞는 정보를 검색하기 위해서는 인터넷 환경에서 웹 문서 자원 사이의 의미 정보를 온톨로지로 표현하고, 이 온톨로지를 컴퓨터가 이해할 수 있게 하는 시맨틱 웹의 도입이 필요하다. 따라서 본 논문에서는 OWL 온톨로지 기반의 추론을 통한 논문정보 검색시스템에 대하여 논한다. 시맨틱 웹의 새로운 온톨로지 언어로 부상한 OWL기반의 논문 온톨로지를 구축하고, 논문 속성들 간의 다양한 상관관계를 서술논리 쿼리로 작성한다. 검색시스템은 이 쿼리를 기반으로 논문 온톨로지에 대하여 추론함으로써 지능적인 정보검색이 가능하도록 하였다. 마지막으로 기존 논문 검색 방법과 본 논문의 실험 결과를 비교하였다.

• 한국철학논집
• /
• 제31호
• /
• pp.87-111
• /
• 2011

도덕과 수업의 주요한 목적 중 하나는 의미 있는 도덕적 앎을 형성하는 것으로 도덕적 의미는 인식주체에게서 발생하는 것이며, 의미 발생에서 우연은 배제될 수 없다. 만약 우연을 배제하고 조작적이고 공학적으로 도덕과 수업에 접근한다면, 학습내용이 전달 될 수는 있어도 의미 있게 수용되기는 어렵다. 이러한 난점으로 인해 도덕과 수업에서는 체제적 접근에 대한 대안적 관점을 요청한다. 그 대안을 찾기 위해서는 체제적 접근에 전제된 설명의 논리부터 재고할 필요가 있다. 도덕과 수업이 체제적이고 조작적인 행위로 이해되는 배경에는 설명의 논리가 있기 때문이다. 설명의 논리는 학생보다 우월한 지능을 가진 교사가 학생에게 지식을 전달하는 행위로 교육을 이해하며, 이 과정에서 교사의 전달에 대한 학생의 번역은 간과된다. 도덕과 수업에서 도덕에 대한 교사의 번역은 학생의 번역에 의해 의미가 발생하며, 나아가 새로운 의미로 확장된다. 이처럼 도덕과 수업을 번역과 번역으로 연결된 과정으로 이해할 때, 체제적 접근에서 간과하는 상징으로서의 교수, 공백으로서의 교수텍스트 구성, 우연으로서의 학습이라는 측면은 재조명될 수 있다. 도덕과 수업에서 이러한 측면들을 부각시키면, 도덕과 수업은 일종의 시 행위와 같다. 이러한 이해에 터하여 시 행위와 도덕과 수업의 닮음을 도출할 수 있다. 시 행위와 닮은 도덕과 수업에서 교수텍스트는 불변체적 의미와 더불어 불확정성을 전제하는 변체적 의미를 갖는다. 도덕과 교수텍스트가 갖는 불변체적 의미라는 제약성과 변체적 의미에서 가능한 개방성은 학생의 반응에 의해 도덕적인 수업으로 전환된다. 이 전환은 텍스트와 독자가 심미적으로 상호 교통하는 의식에서 비롯되듯이, 도덕과 학습에서 교수텍스트가 의미 있는 앎으로 수용되기 위해서는 학습목표를 의식하지 않는 학습이 가능해야 한다.

• 한국정보통신학회논문지
• /
• 제10권10호
• /
• pp.1773-1778
• /
• 2006

본 논문에서는 개선된 자동정리증명 기법에 기초하여 유한체상의 디지털논리 시스템을 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체상의 중요한 학적 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇 가지 정의를 하였으며 이를 근간으로 디지털논리 시스템의 Building Block을 제안하였다. 또한, 디지털논리 시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리 증명 기법에 의해 구성하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권5호
• /
• pp.411-419
• /
• 2009

현재 온톨로지의 논리적 오류와 개념들 간의 포함 관계를 탐지하는 추론 엔진들이 소개되고 있다. 대부분의 서술 논리 기반 온톨로지 추론 엔진은 태블로 알고리즘을 기반으로 구축되었다. 그러나 태블로 알고리즘 기반의 온톨로지 추론은 인스턴스 추론에 있어서 한계를 보인다. 이에 본 논문에서는 Medusa 시스템을 제안한다. Medusa는 서술 논리로 표현된 온톨로지의 정형화된 의미를 기반으로 시맨틱 웹 규칙 언어(SWRL)를 지원하는 확장된 서술 논리 추론 엔진이다. 대부분의 서술 논리 기반 추론 엔진은 효과적으로 온톨로지 스키마 모델을 추론하지만 인스턴스(Assertional Knowledge) 정보를 추론하기 위한 규칙 기반 추론 기능을 제공하지는 않는다. 이러한 문제를 해결하기 위해서 Medusa는 서술 논리의 추론 방식과 규칙 기반 추론 방식을 동시에 사용한다. 본 논문에서 설명하는 Medusa의 프로토타입은 $Prot{\acute{e}}g{\acute{e}}$ API[1]를 사용하여 시맨틱 웹 규칙 언어 추론 엔진과 서술 논리 추론 엔진간의 상호작용을 제어한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -1
• /
• pp.556-559
• /
• 2002

The Call Processing Language (CPL, in short), recommended in RFC 2824 of IETF, is a service description language for the Internet Telephony. The CPL allows users to define their own services, which dramatically improves the choice and flexibility of the users. The syntax of the CPL is strictly defined by DTD (Document Type Definition). However, compliance with the DTD is not a sufficient condition for correctness of a CPL script. There are enough rooms for non-expert users to make semantical mistakes in the service logic, which could lead to serious system down. In this paper, we present six classes of semantic warnings for the CPL service description: MF, IS, CR, AS, US, OS. For each class, we give the definition and its effects with an example script. These warnings are not necessarily errors. However, these warnings will help users to find ambiguity, redundancy and inconsistency in their own service description.

• Journal of Information Processing Systems
• /
• 제15권3호
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• 한국컴퓨터정보학회논문지
• /
• 제16권3호
• /
• pp.35-44
• /
• 2011

차세대 웹 기술로 각광 받고 있는 시맨틱 웹에서 웹 리소스는 온톨로지에 기술된 다양한 메타데이타에 의해 가용하게 되며 이러한 온톨로지를 대상으로 한 검색을 위해 SPARQL과 같은 여러 시맨틱 질의 언어가 제안되었다. 그러나 이러한 시맨틱 질의 언어를 사용자가 습득하였다 하더라도 올바른 정보를 찾기 위해서는 사용자가 온톨로지의 구조와 어휘를 잘 파악하고 있어야 한다는 어려움이 있다. 특히 사용자가 질의 언어의 문법과 복잡한 형식 논리 이론에 익숙하더라도 온톨로지 리소스 표기에 사용된 어휘를 모를 경우에는 질의 언어 작성 시 전혀 다른 어휘를 사용할 수 있으며 그에 따라 원하는 정보를 찾지 못하는 어휘 상이성 문제를 해결하여야 한다. 본 논문은 이러한 어휘 상이성 문제의 해소에 주안점을 두고 질의어의 의미와 온톨로지 어휘 사이의 의미 유사도를 이용하여 사용자가 온톨로지에 없는 질의어를 사용하였을 경우 그와 의미가 가장 가까운 온톨로지 어휘로 변환하여 줌으로써 어휘 상이성 문제를 해결하는 방안을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제14권9호
• /
• pp.1-10
• /
• 2009

웹 서비스 조합 분야는 단일 서비스를 재사용하여 가치 있는 서비스를 생성하기 위해 등장했으며, 최근에는 차세대 웹 서비스인 시멘틱 웹을 구현하기 위해 IOPE를 기반으로 단순 검색 및 조합 대신에 규칙이나 AI를 통한 검색 및 조합 방법이 제안되고 있다. 또한 보다 효율적인 모듈화를 위해 기존의 객체지향 프로그래밍 방식보다는 관점지향 프로그래밍 방식이 도입되고 있다. 본 논문에서는 시멘틱 웹을 위해 관점지향 프로그래밍(Aspect-Oriented Programming, AOP) 및 리플렉션(Reflection)을 적용한 동적 웹 서비스 조합 및 실행 기법을 설계한다. 제안하는 기법은 웹 서비스의 메타 데이터를 동적으로 획득하기 위해 리플렉션 기법을 사용하고 아울러 동적으로 웹 서비스를 조합하기 위해 AOP 기반 접근방식을 통해 바이트 코드를 생성한다. 또한 리플렉션을 이용한 동적 프록시 객체를 통해 조합된 웹 서비스를 실행하는 방식을 제안한다. 제안하는 기법의 성능 평가를 위해 비즈니스 로직 계층과 사용자 뷰 계층 측면에서 조합된 웹 서비스를 검색하는 것에 대한 실험을 수행한다.