“Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia"(Shanahan, M. MIT Press, 1997) Event calculusが使えるかどうか確認するために読まなければ…