时态逻辑作为一种仿真语言-研究论文

我们提倡在基于知识的仿真系统规则中使用时态逻辑而不是一阶逻辑。 我们认为这提供了将在本文中讨论的几个优点。 通过考虑基于时间逻辑编程的语言PTL，我们展示了如何在仿真中使用时间逻辑。