认知时态逻辑,epistemic temporal logic英语短句,例句大全

认知时态逻辑,epistemic temporal logic
1)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.在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作用中能够发生哪些信息事件。
2)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密码协议中的应用来作为一个例子说明该方法的有效性

英文短句/例句

1.Model Checking Web Services Based on Temporal Logic of Knowledge基于时态认知逻辑的Web服务模型检测
2.Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K时态认知逻辑CTL*K的符号化模型检查算法
3.Logic, Mind and Cognition--On the Development of Logic in the post-Frege Time;逻辑、心理与认知——论后弗雷格时代逻辑学的发展
4.Research on Knowledge Reasoning in Multi-Agent System Based on Dynamic Epistemic Logic基于动态认知逻辑的多主体系统知识推理研究
5.Multi-possibility Logic and Aesthetic Logic: --On the Logical Base of Aesthetic Cognition;多值逻辑与审美逻辑——论审美认知的逻辑基础
6.the modal logic of knowledge and uncertainty and ignorance.讨论知识,怀疑,与无知的模态逻辑。
7.logic of understanding and logic of reason知性逻辑与理性逻辑
8.On Logical Acknowledge of Lyric Prose Teaching in Middle School;论抒情散文在中学教学中的逻辑认知
9.THE RELATIONSHIP BETWEEN COLLEGE STUDENTS COGNITIVE STYLE AND REASONING;大学生的认知风格与逻辑推理的关系
10.Tri-partitioning of Epistemic Worlds and Independence of Doubting Logic;三分的认知世界与怀疑逻辑的独立性
11.Cognition Logic and the Development of Ethical Theories;从认知逻辑视角看西方伦理学的发展
12.Non-logic cognition: a cybernetic view on education innovation;非逻辑认知:教育创新的控制论观点
13.Logic Discipline:an Avenue to Better Cognitive Structure;形式逻辑训练:优化认知结构的途径
14.A Solution to Hume s Problem Based on Cognitive Logic;认知逻辑——对休谟问题的一种解决方案
15.The Grammar Logic Orienting the Cognition and Function Features of Chinese Language面向汉语认知与功能特征的语法逻辑
16.Study of an Epistemic Description Logic with Transitive Roles一种带传递关系的认知描述逻辑研究
17.Study on One-agent Cognitive Logic;单主体认知逻辑的研究——全知性和真知性
18.On A.M.S Boethius "Modalities" Logic and God s Omens;论波爱修斯的模态逻辑与上帝的预知

相关短句/例句

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密码协议中的应用来作为一个例子说明该方法的有效性
3)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*基础上描述智能体的知识、目标等意向特征。
4)dynamic epistemic logic动态认知逻辑
1.In this paper,we introduce the cognition of actions on the basis of the commonly dynamic epistemic logics.在通常的动态认知逻辑的基础上,引进对动作的认知。
5)multi-modal epistemic logic多模态认知逻辑
1.The foreign systems of multi-modal epistemic logic present some pitfalls on epistemological base and the uses of axioms.国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足。
6)epistemic logic认知逻辑
1.On some Problems in the Research on Epistemic Logic;试论认知逻辑研究中的若干问题
2.The Problems of the Epistemic Logic and Development认知逻辑存在的问题及发展趋向
3.The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called EL, which can avoid the logical omniscience, and gives its semantic rules and its axioms.分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑ＥＬ，并给出其语义和公理系