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

【文件属性】：

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

文件大小：1.91MB

文件格式：PDF

更新时间：2024-06-09 04:24:30

论文研究

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