• 논리연구
• /
• 제22권1호
• /
• pp.25-42
• /
• 2019

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 준구조 퍼지 논리를 위한 집합 이론적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 세 준구조 퍼지 논리체계들을 상기한 후 이 체계들에 상응하는 크립키형 의미론을 소개한다. 다음으로 집합 이론적 방식을 이용하여 이 체계들이 완전하다는 것을 보인다.

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

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

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

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

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

양은석은 [12]에서 Baaz 사영과 그것의 일반화로 간주될 수 있는 델타 연결사 $\Delta$에 의해 확대된 약화로부터 자유로운 퍼지 논리들을 연구하였다. 이 논문에서 우리는 Baaz 사영의 많은 성질들을 만족하지만 Baaz 사영으로도 그것의 일반화로도 간주될 수 없다는 의미에서 Baaz 사영의 변형에 해당하는 델타 연결사 $\Delta$에 의해 확대된 약화로부터 자유로운 퍼지 논리들을 연구한다. 이를 위하여 먼저 연결사 $\Delta$를 갖는 몇몇 약화로부터 자유로운 퍼지 논리를 소개한다. 다음으로 그에 상응하는 대수적 구조들을 정의한 후, 관련된 대수적 완전성을 증명한다.

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

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

• 논리연구
• /
• 제14권1호
• /
• pp.55-76
• /
• 2011

이 논문은 uninorm의 한 체계인 WUML(Weak Uninorm Mingle Logic)을 다룬다. 먼저 WUML을 도입하고, 그 체계에 상응하는 대수적 구조를 정의한다. 그런 다음 그 체계의 대수적 완전성을 증명한다. 끝으로 WUML과 IUML의 표준적 완전성을 증명한다.

• 논리연구
• /
• 제13권1호
• /
• pp.1-20
• /
• 2010

이 논문에서 우리는 멧칼페와 몬테그나에 의해 [15]에서 소개된 uninorm에 바탕을 두고 있는 논리 UL을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성의 새로운 증명을 연구한다. 즉 [8, 9]에서 소개된 nuclear completion을 사용하여 UL이 표준적으로 완전하다는 것을 보인다.

• 논리연구
• /
• 제12권2호
• /
• pp.115-139
• /
• 2009

이 논문에서는 멧칼페와 몬테그나([8])에 의해 소개된 uninorm logic UL에 (t-weakening, Wt) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$를 더해 얻어질 수 있는 공리적 확장 체계를 연구한다. 구체적으로 먼저 t-weakening uninorm logic ULWt (the UL with Wt)를 소개하고 이 체계에 상응하는 대수적 구조를 정의한 후 ULWt가 대수적으로 완전하다는 것을 증명한다. 다음으로 제네이와 몬테그나가 [3, 6]에서 보여준 표준 완전성 즉 실수 구간 [0, 1] 위에서의 완전성 증명을 사용하여, ULWt가 주어진 실구간 위에서 완전하다는 것을 즉 표준적으로 완전하다는 것을 증명한다.

• 한국산학기술학회논문지
• /
• 제13권8호
• /
• pp.3647-3653
• /
• 2012

능동 소음제어 시스템에 사용되는 IIR 필터 구조는 구조적으로 안정성이 보장되어야 하며 이는 분모 전달 함수의 근이 단위원 내부에 존재하여야 한다. 따라서 이를 결정하는 제어 필터의 계수의 적절한 조정이 중요해 진다. 본 논문에서는 적응과정에서 불안정할 우려가 있는 IIR 필터 구조를 가지는 Filtered_U LMS 알고리즘에 안정화 알고리즘과 수렴속도 향상을 위한 퍼지논리를 이용한 수렴계수 계산 알고리즘을 제안하였다. 제안한 알고리즘이 FIR 필터 구조 알고리즘보다 계산량이 적고 수렴특성이 우수함을 시뮬레이션을 통하여 보였다.