2物体の同時的運動の定性推論によるモデル化

抄録

To understand the basis of formulae related to velocity and acceleration, it is helpful to consider the simultaneous movements of two objects. The purpose of this paper is to explore these simultaneous movements from the point of view of qualitative reasoning. The simultaneous movements of two objects can be represented by verbal expressions such as, "catch up with" or "draw apart." Verbal expressions are more ambiguous than quantitative expressions, but describe the movements with certain degree of accuracy. In de Kleer's method of qualitative reasoning, the movements can be modeled with the same level of accuracy as with verbal expressions. In this paper, using de Kleer's method, all of the simultaneous movements are represented with the same level of accuracy as verbal expressions. For this method, the manner of recognizing the simultaneous movements of two objects is logically represented. Next, the concept of direct product is introduced in order to understand the model intuitively. Human beings recognize the movements in many ways, according to developmental stages. Most of their recognitions are incomplete. The incomplete recognitions of the movements are modeled in this paper.