물체의 공간에서의 운동을 다루는 공간 추론의 연구에서 충돌을 이해하는 것은 중요하다. 본 논문에서는 정성적 충돌 이론과 추론 기법을 소개하고자 한다. 충돌 해석에 있어 관련된 물체의 공간적 속성과 운동방향의 상호작용을 분석하여 충돌로 인한 힘과 운동 방향의 전달을 계산하였다. 추론 과정에 있어서는 충돌이 갖는 특성인 불연속적인 변화에 대한 분석과 회전 운동으로 인한 변화의 분석이 소개되었다. 제안된 충돌 이론과 추론 기법은 구현되어 자동차 충돌 사고의 충돌에 적용되어 유효성을 입증할 수 있었다. Abstract Understanding collision is important in spatial reasoning problems that study the motions of objects. This paper introduces qualitative collision theory and reasoning techniques. Force and motion transfers are computed by analyzing the interactions of the spatial properties and motions of the objects. This paper also presents inference techniques for handling discontinuous changes and angular changes by rotation. These theories and inference techniques are implemented and applied to real car-to-car collision accidents. The test results verify the reliabilities of our techniques.