복잡한 수학 문제 해결을 위한 다중 에이전트 시스템을 활용한 조건 마이닝

복잡한 수학 문제를 해결하기 위해 조건과 목표를 추출하고, 다중 에이전트 상호작용 시스템을 통해 점진적으로 새로운 조건을 발견하여 문제를 해결하는 방법을 제안한다.