기하 논증 학습을 위한 ICAI 시스템 = A Study on ICAI System for Learning Geometry Proof

국문 초록 (Abstract)

최근 컴퓨터 H/W 및 S/W의 괄목할 만한 발전의 영향으로 교육현장에서 컴퓨터가 활용되면서 교육의 질적 변화를 가져오고 있다. 더우기 기존의 CAI 그로그램에서 탈피하여 animation 및 multi media의 도입 이외에 초보적 자연 언어 처리와 인간의 유사한 지적 성능을 가지고 사고할 수 있는 인공지능의 개념을 시뮬레이션 함으로써 지적 CAI(Intelligent CAI) 개념으로 발전되고 있다.
본 연구에서는 Euclid 기하학상에서 중요시 되고 그 응용범위가 넓은 피타고라스 정리에 관련된 제반 지식과 논증 학습을 위한 ICAI 시스템의 INSLEP에 대해 논하고자 한다.

목차 (Table of Contents)

• 요약
• Ⅰ. 서론
• Ⅱ. INSLEP의 구조
• Ⅲ. INSLEP의 구현단계
• Ⅳ. INSLEP의 구현
• Ⅴ. 결론
• 참고문헌