1) model checking temporal logic of knowledge
模型检测时态知识逻辑
2) temporal knowledge model
时态知识模型
1.
In order to effectively detect intrusion in real time, a pattern extraction algorithm based on temporal knowledge model and varying glide time window is provided.
在分析国内外现有入侵检测技术和系统的基础上 ,提出了一种基于时态知识模型和可变滑动窗口的实时模式提取算法 ,并在此基础上 ,实现了基于规则的、层次化的智能入侵检测原型系统 (RIDES) 。
3) temporal logics of knowledge
时态认知逻辑
1.
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
2.
The model checking for temporal logics of knowledge becomes a new and important research domain.
时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“OntheFly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“OntheFly”模型检测时态认知规范,并且算法的复杂性是多项式时间的·最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性
4) epistemic temporal logic
认知时态逻辑
1.
In this thesis,a logic system will be discussed——temporal pubic announcement logic,which can capture both two important ingredients and merges the semantic framework of pubic announcement logic and epistemic temporal logic.
在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作用中能够发生哪些信息事件。
5) Temporal epistemic logic
时态认知逻辑
1.
Temporal epistemic logics have been gradually used in specification of multiple agents system,which are composed by temporal logics and epistemic logics.
讨论了基于CTL*的时态认知逻辑CTL*K的语法、语义和模型,它能够在表达力很强的时态逻辑CTL*基础上描述智能体的知识、目标等意向特征。
6) knowledge logic
知识逻辑
1.
As an organization base on knowledge,the university should implement selection mechanism based on knowledge logic,which is the key element in faculty-management.
作为一个以知识为基础的组织,大学在对教师的管理中,应以知识逻辑为基础进行制度选择,这是做好大学教师管理的关键所在。
2.
The present network poem possesses the characteristics of people s culture no matter in such aspects as culture psychology, knowledge logic, current situation and criticism, affirm people s culture its color to take and belittle to their definitely from objective and just angle, but hope on the basis of defining its cultural level .
目前的网络诗歌无论在文化心理、知识逻辑、现状与批评等方面都具有大众文化特征,从客观公正的角度上肯定其大众文化色彩绝不是要对其进行贬低,而是希望在明确其文化层次和发展趋势的基础上,对其进行规范、扶植和正确的引导,并对网络诗歌、大众文化等一系列概念予以澄清。
补充资料：时态逻辑
| 时态逻辑 tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。早在古希腊时期，麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念，中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年，波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想，于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作，也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年，独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来，时态逻辑的成果逐渐增加，现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面，以及在人工智能、科学哲学等方面都有很大的作用或影响。 构成时态逻辑的基本成分是时态语句。时态语句分为两种：时间上确定的语句；时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造：①把一组语句作为公理，这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造，这叫做语义地构造。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条