언어, 규칙, 의미부여, 검증 4가지로 이루어져있으며, 관심대상을 표현할 언어, 언어에서 어떤 사실을 추론하는 규칙, 의미를 부여하고, 표현된 언어에 의미가 정확한지 확인하는 일