통합 논리 계산실
논리 체계 선택
논리식 편집실열기
논리식·증명·관계도 자유 작성
한국어 · English · Français언어 확장열기
한국어·영어·독일어·프랑스어·스페인어·이탈리아어·포르투갈어·네덜란드어·일본어·중국어
L1~L12 · 직접 분석·의미 검증·출력 복원복합 논리열기
분해·복수 태깅·기호 공유·실행 계획
37~46단계 · v3.0 RC실행 오케스트레이터열기
실행·증거·인증서·최소 반례
47~60단계 · v3.2 알파배치 실행현재
다중 작업·외부 비교·설명 품질·RC 검증
61~66단계 · v3.2 RC외부 연동열기
TPTP·QMLTP·독립 증명 검사·모호성 병렬 실행
67~70단계 · v4.0 외부 검증 알파대규모 운영열기
실행 시각화·영속 캐시·작업 큐·shard 배치
71~73단계 · v4.1 운영 확장 알파v4 검증열기
감사·사람 검토·조정·RC 동결
74~80단계 · 사람 검토 운영·RC 동결한국어 입력열기
문장 분석·형식화 후보·의미 분기·엔진 연결
25~29 + 58~59단계 · 의미 확인 강화논리학 훈련실열기
형식화·증명·오류 진단·맞춤 재훈련
학습 엔진 1~22단계 · 대규모 운영·공개 베타·RC명제논리열기
진리값·반례·진리표·자연연역
완전 의미론 판정술어·관계·동일성열기
양화사·동일성·유한 반모형
부분 증명 + 제한 반모형양상논리열기
K·T·S4·S5 타블로·크립키 모형
부분 증명 + 제한 반모형시간논리열기
LTLf X·F·G·U·진행 오토마톤
오토마톤 판정 + 반례 시간흐름의무논리열기
O 의무·P 허용·F 금지
30단계 · D 직렬 프레임다치논리 K3열기
참·미정·거짓의 3값 의미론
32단계 · 첫 확장 플러그인퍼지논리열기
0~1 연속 진리도
33단계 · Zadeh + KD확률논리열기
사건 확률·조건부확률
34단계 · 명시 확률모형교차 논리열기
고전·K3·퍼지·확률 비교
35단계 · 비교·안전 변환3차 작업 · v3.2 RC 검증 계층
여러 논리 작업을 안전하게 묶어 실행합니다
작업은 순서를 보존하고, 중복 계산은 한 번만 수행하며, 개별 오류는 기본적으로 다른 결과를 지우지 않습니다.
61~63단계는 대규모 실행과 경계 검증을 담당하고, 64~66단계는 외부 기준과의 제한적 비교, 설명 품질 평가, v3.2 RC 통합 검증을 담당합니다.
61대규모 배치 실행62캐시·중복 계산 제거63공격적 경계·오류 테스트64외부 표준·벤치마크 비교65설명 품질 평가66v3.2 RC 통합 검증
63단계
경계 테스트 현황
64~66단계
v3.2 RC 검증 현황
외부 자료는 지원하는 의미론 하위 범위만 비교합니다. TPTP 전체 문법, QMLTP 600문제 전체 수입, LTLf 학습 벤치마크와의 직접 점수 동등성은 주장하지 않습니다.
61~62단계
중복 계산 제거 시범
같은 도출 작업 3개, 같은 반례 작업 2개, 의도적으로 잘못된 빈 입력 1개를 한 묶음으로 실행합니다. 동일 계산은 캐시에서 재사용합니다.