본문으로 건너뛰기

피드 트렌딩 커뮤니티 공지사항 기술 태그 AI 용어 사전 서비스 소개 문의 운영 정책 개인정보 처리방침

매일 업데이트되는 글로벌 소스의 AI/ML 뉴스를 수집하고 한국어로 요약합니다.

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

정형 추론 (formal-reasoning) 용어 설명 | AI Trends

formal-reasoning

정형 추론

고급

수학적 논리와 엄격한 규칙을 사용하여 시스템의 동작이 명세에 부합하는지 증명하는 방법이다. 소프트웨어나 알고리즘의 오류가 없음을 논리적으로 보장하기 위해 사용된다.

비슷한 개념

formal-methods formal-language theorem-proving automated-reasoning formal-semantics formal-verification formal-specification mathematical-verification

← 용어 사전 전체 보기