본문으로 건너뛰기

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

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

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

자동 추론 (automated-reasoning) 용어 설명 | AI Trends

automated-reasoning

자동 추론

중급

컴퓨터 프로그램을 사용하여 논리적 추론을 수행하고 시스템이 의도한 대로 작동하는지 수학적으로 증명하는 기술이다. 보안 정책 검증이나 코드 오류 탐지에 필수적이다.

비슷한 개념

automatic-deduction automated-theorem-proving program-logic formal-reasoning mathematical-verification theorem-proving auto-formalization smt-solving

← 용어 사전 전체 보기