时态逻辑方法

 针对现实生活中信息的时间性和模糊性,在模糊描述逻辑和时态逻辑的基础上,提出了一种模糊时态描述逻辑FTDL,并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比,FTDL的提出

传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务

摘要：通过分析自动信任协商系统中的行为抽象，形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型，分析了模型的语法和语义，为实现自动信任协商系统提供了有效的工具。

时态的呼应 某些从句(主要是宾语从句)中谓语动词的时态,常受主句中谓语动词的时态的影响,这种现象叫做时态的呼应.如果主句中谓语动词为现在时将来时,从句中谓语

时态GIS，关于ARCGIS的时态开发，很好

时态手册 aplikasi时态手册untuk belajar时态bahasa inggris

智能主体获取信念的途径主要有两种：一种为他省，通过外界交互，从其他主体获取信息；另一种为自省，通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画，两种途径缺一不可，但当前的BDI理论模型中较多

Object-Z是形式规格说明语言Z的面向对象扩充，适合描述大型面向对象软件规格说明，但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统，但不能很好地处理连续时间关系，也不能很好

时态数据库

英语时态总结