MK 퍼지 자동화와 MSO 논리

초록

본 논문은 네 개의 확률값을 합쳐 1이 되도록 하는 이항 구조 K 위에 정의된 MK‑퍼지 자동화를 제안한다. 이 자동화는 McCarthy‑Kleene 논리의 퍼지화에 기반하며, 네 가지 진리값(참, 거짓, 미정, 오류)을 동시에 다룬다. 저자는 인식 가능한 MK‑퍼지 언어들의 닫힘 성질, Nivat‑유사 분해 정리, 결정적 버전의 특성 등을 조사하고, MK‑퍼지 MSO 논리와 자동화 사이의 표현 동등성을 보이는 부치형 정리를 증명한다.

상세 분석

논문은 먼저 기존 퍼지 자동화와 가중 자동화 이론을 검토하고, McCarthy‑Kleene 논리의 네 값 체계(t, f, u, e)를 실수 구간