...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 时态认知逻辑
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.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
应用推荐