排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。 相似文献
1