형식논리 기반 1차 완성본 · 동결
36단계 · 2차 확장판 통합 검증·동결
논리 엔진 v2.0 RC
25~35단계의 기능 범위와 의미론 경계를 릴리스 계약으로 고정했습니다.
새 기능을 추가하는 단계가 아니라 현재 엔진이 무엇을 보장하고 어디서 판정을 멈추는지 검증하는 단계입니다. 이후 변경은 이 계약을 깨는지 자동 검사합니다.
릴리스 계약검증 통과2.0.0-rc.1 · stage 36
자연어 브리지·확장 논리 엔진 · 동결
통합 검증·릴리스 계약 · 동결
ACTIVE SYSTEMS
활성 논리 엔진 8개
propositional명제와 논리연결사의 진리값·도출·증명을 계산합니다.
기존 엔진 · readypredicate양화 추론·유한 반모형에 더해 동일성 치환과 관계 성질 분석을 지원합니다.
기존 엔진 · relation-identity-partialmodalK·T·S4·S5 라벨드 타블로 증명과 작은 크립키 반모형 탐색을 함께 수행합니다.
기존 엔진 · proof-countermodel-partialtemporalLTLf 진행 오토마톤으로 타당성을 판정하고 한계 시 제한된 길이의 반례 시간흐름 탐색으로 보조합니다.
기존 엔진 · automaton-decision-partialdeonticO·P·F 규범 표기를 D 직렬 프레임으로 해석하고 부분 증명과 제한 반모형 탐색을 수행합니다.
기존 엔진 · d-proof-countermodel-partialmultivalued참·미정·거짓의 강한 클레이니 3값 의미론으로 논리식과 논증을 전수 판정합니다.
v2 플러그인 · k3-complete-finitefuzzy0부터 1까지의 연속 진리도에서 Zadeh 연산과 Kleene–Dienes 조건문을 계산합니다.
v2 플러그인 · evaluation-complete-grid-analysisprobabilistic명시적 유한 확률모형 또는 사용자가 지정한 독립 원자 확률에서 명제 사건의 확률과 조건부확률을 정확히 계산합니다.
v2 플러그인 · finite-model-exactPLUGIN API
확장 플러그인
다치논리 K3stage 32many-valued
퍼지논리stage 33fuzzy
확률논리stage 34probabilistic
LANGUAGE ROUTING
한국어 브리지 범위
자동 라우팅
propositional · predicate · modal · temporal · deontic
의미 확인 뒤 수동 선택multivalued · fuzzy · probabilistic
SEMANTIC FENCES
의미론 안전장치
준비되지 않은 논리 체계를 다른 논리 엔진으로 조용히 대체하지 않습니다.
확률 입력이 없으면 확률논리는 미확정으로 남습니다.
퍼지 격자 표본에서 반례가 없어도 연속 구간 전체 타당성으로 확정하지 않습니다.
퍼지 진리도와 사건 확률을 같은 수치라는 이유로 서로 변환하지 않습니다.
CROSS LOGIC
교차 논리 보존 규칙
보존classical:T/F -> k3:T/F
보존classical:T/F -> fuzzy:1/0
보존k3:T/U/F -> fuzzy:1/0.5/0
차단fuzzy-truth-degree -> probability
차단probability -> fuzzy-truth-degree