• 논리연구
• /
• 제19권2호
• /
• pp.295-322
• /
• 2016

이 글에서 우리는 유니놈에 기반한 퍼지 논리를 위한 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 유니놈에 기반한 논리체계들을 위한 대수적 의미론을 재고한다. 다음으로 유니놈에 기반한 체계들의 일반적 구조에서 다양한 종류의 일반적 대수적 크립키형 의미론을 소개하고 그것들을 대수적 의미론과 연관 짓는다. 마지막으로 우리는 유사하게 특수한 대수적 의미론을 소개하고 이를 또한 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제21권3호
• /
• pp.353-371
• /
• 2018

이 글에서 우리는 대수적 루트리-마이어형 의미론이라고 불릴 의미론을 연구한다. 이를 위하여 먼저 퍼지 논리 체계 MTL과 대수적 의미론을 소개한다. 다음으로 이 체계를 위한 대수적 루트리-마이어형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제3권
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• 논리연구
• /
• 제15권1호
• /
• pp.1-16
• /
• 2012

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 이를 위한 한 예로 UL을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 UL 채계를 소개하고 그에 상응하는 UL-대수를 정의한 후 UL이 대수적으로 완전하다는 것을 보인다. 다음으로 UL을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제17권3호
• /
• pp.441-461
• /
• 2014

이 글에서 우리는 3치 초일관 논리를 위한 한 종류의 크립키형 의미론 즉 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개하고 그에 상응하는 대수를 정의한 후 이 두 체계가 대수적으로 완전하다는 것을 보인다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관짓는다.

• 논리연구
• /
• 제17권1호
• /
• pp.181-196
• /
• 2014

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제18권3호
• /
• pp.437-456
• /
• 2015

이 글에서 우리는 연관 논리 R의 두 버전을 위한 루트리-마이어 의미론을 다룬다. 이를 위하여 먼저 R의 두 버전 $R^t$와 $R^T$를 그리고 그것들에 상응하는 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 루트리-마미어 의미론을 제공한다.

• 논리연구
• /
• 제21권2호
• /
• pp.155-174
• /
• 2018

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 퍼지 논리를 위한 대수적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 퍼지 논리의 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.

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

Statecharts는 UML에서 시스템의 행위를 표현하기 위한 핵심적인 언어로서 다양한 분야에 응용되고 있다. 그 의미론은 수학적인 방법으로 기술되어 있으나 실제로 응용하여 구현하는데에는 상당히 많은 과정을 거쳐야 한다. 본 논문에서는 UML Statecharts와 유사한 언어인 SyncCharts로 정의한다. SyncCharts는 Esterel의 정형명세 언어에 기반한 도식적인 언어로서 그 의미론은 물론 내장형 시스템의 코딩을 위해 잘 정의되고 진화된 언어이다. 본 논문에서는 SyncCharts를 이용하여 Statecharts의 의미론을 정의한다. 특히 실시간적인 행위 측면에서의 동기적 시간 의미론과 비동기적 시간 의미론을 모두 정의한다. 이렇게 함으로써 UML Statecharts의 실시간과 관련된 의미론을 정의한다. 그에 더하여 SyncCharts의 명세를 통해 어떻게 구현이 가능한지를 보임으로서 실제 Statecharts를 이용한 검증 및 구현 과정을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권2호
• /
• pp.148-154
• /
• 2010

불확실성 데이터베이스의 의미론 정의는 보통 주어진 불확실성 데이터베이스를 여러 개의 관계형데이터베이스로 변환하는 산술적 접근방법을 취한다. 이 논문에서는 불확실성데이터베이스를 논리이론으로 변환하는 논리적 접근방법을 통해서 불확실성 데이터베이스의 의미론을 정의하고자 한다. 본 논문에서 제안하는 의미론의 가장 특징적인 면은 기존의 논리적 접근방법에서 사용해온 명제논리 대신에 선형논리를 논리적 근간으로 이용한다는 점이다. 선형논리는 논리식을 불변진리가 아닌 소비가능한 자원으로 해석하기 때문에 불확실성 데이터베이스의 의미론을 정의하는데 적합하다. 본 논문의 핵심 결과는 선형논리에 기반한 불확실성 데이터베이스의 의미론이 산술적 접근방식에서 설명하는 불확실성 데이터베이스의 의미론과 동등하다는 것이다.