Spatial and Temporal Reasoning about Machines

该项目的目标是开发一种算法， 从以下导出机器行为的简明行为描述： 机器结构 过去的工作已经导致了一个模拟器， 从运动学角度分析各种机构，并进行仿真 他们中的许多人都想看看他们会做什么。 模拟器将 一般化，并用于运行循环分析器， 为了产生假设， 关于这个机制在未来很长一段时间内 未来

The objective of this project is to develop an algorithm for deriving concise behavioral descriptions of machine behavior from machine structure. Past work has led to a simulator that can analyze a wide variety of mechanisms kinematically, and simulate many of them to see what they will do. The simulator will be generalized, and used to run a loop analyzer that posits and tests regularities in behavior in order to produce hypotheses about what the mechanism will do indefinitely far into the future.