...cription logics, temporal logics, spatial logics, combining logics, decidability. [gap=347]关键词：描述逻辑，时态逻辑，空间逻辑，组合逻辑，可判定性。
基于14个网页-相关网页
Temporal logics in AI 人工智能中的时序逻辑研究
Modal and Temporal Logics 模态和时态逻辑
Temporal belief logics 时态信念逻辑
temporal epistemic logics 时态认知逻辑
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
There are a variety of temporal logics appropriate for a variety of reasoning tasks.
不同的时态逻辑能够适应不同的推理任务。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
应用推荐