Per ardua ad astra.

추론 컴퓨터 시스템으로 구현한 것 중, 인간의 학습, 추론, 지각 등의 능력을 구현한 것이 인공지능(AI)인데, 인공지능은 이미 참(T)으로 판별된 명제와 반박할 수 없는 논리 규칙을 이용하여 새로운 참(T)인 명제를 정보로 획득하는 방식으로 지능을 높인다. 이처럼 참(T)인 명제와 논리 규칙을 이용하여 또 다른 참(T)인 명제를 유도해나가는 과정을 추론이라고 한다. 추론의 개념 추론(Inference) / 논증(Reasoning) 참(T)인 명제를 근거로 하여 다른 명제가 참(T)임을 유도하는 과정 또는 방식 전제(Hypothesis)와 결론(Conclusion) 추론에서 사용하는 명제는 추론의 근거로 사용하는 명제와 결론으로 나오는 명제로 구성된다. ① 전제(Hypothesis) : 결론의 근거가 되..