• 한국논리학회:학술대회논문집
• /
• 한국논리학회 2009년도 동계학술 발표회
• /
• pp.38-66
• /
• 2009

Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

• 논리연구
• /
• 제12권1호
• /
• pp.89-110
• /
• 2009

This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.

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

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

• 논리연구
• /
• 제11권1호
• /
• pp.131-156
• /
• 2008

This paper first investigates several uninorm logics (introduced by Metcalfe and Montagna in [8]) as fuzzy-relevance logics. We first show that the uninorm logic UL and its extensions IUL, UML, and IUML are fuzzy-relevant; fuzzy in Cintula's sense, i.e., the logic L is complete with respect to linearly ordered L-matrices; and relevant in the weak sense that ${\Phi}{\rightarrow}{\Psi}$ is a theorem only if either (i) $\Phi$ and $\Psi$ share a sentential variable or constant, or (ii) both $\sim\Phi$ and $\Psi$ are theorems. We next expand these systems to those with $\triangle$.

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

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

• 논리연구
• /
• 제22권3호
• /
• pp.397-415
• /
• 2019

이 글에서 우리는 퍼지 논리의 선표성 성질을 다룬다. 이를 위하여 먼저 누승적 멱등 유니놈 논리 IdIUL과 IUML 체계를 소개하고 IdIUL 체계와 우리에게 이미 알려진 $RM^T$ 체계의 관계를 다룬다. 다음으로 IUML은 선표성을 만족하지만 IdIUL은 그렇지 않다는 것을 보인다.

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

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2420-2422
• /
• 2003

In this paper, two Fuzzy Logics for path planning of an autonomous mobile robot are proposed. If a target point is given, such problems regarding the velocity and object recognition are closely related with path to which the mobile robot navigates. Therefore, to ensure safety navigation of the mobile robot for two fuzzy logic parts, path planning considering the surrounding environment was performed in this paper. First, feature points for local and global path are determined by utilizing Cell Decomposition off-line computation. Second, the on-line robot using two Fuzzy Logics navigates around path when it tracks the feature points. We demonstrated optimized path planning only for local path using object recognition fuzzy logic corresponds to domestic situation. Furthermore, when navigating, the robot uses fuzzy logic for velocity and target angle. The proposed algorithms for path planning has been implemented and tested with pioneer-dxe mobile robot.

• 논리연구
• /
• 제19권3호
• /
• pp.437-461
• /
• 2016

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 약화 없는 퍼지 논리를 연구한다. 이를 위하여 먼저 wta-유니놈에 기반 한 체계 $WA_tMUL$과 이의 두 공리적 확장 체계들을 약화 없는 약한 결합 원리를 갖는 퍼지 논리로 소개한다. 그리고 각 체계에 상응하는 대수적 구조를 정의한 후, 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 제네이-몬테그나 스타일의 구성방식을 사용하여 체계 $WA_tMUL$과 추가적 공리를 갖는 두 확장 체계들이 표준적으로 완전하다는 것을 보인다.

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

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