任务逻辑相关论文
随着现代计算机系统的发展以及计算机软件在社会各领域中的广泛应用,软件的规模不断扩大,复杂度越来越高,不免会存在一些缺陷。随......
要生成合理的群体行为需要在群体的协同行为规划中考虑实体之间的临场交互并对之进行验证,现有的方法无法满足需求.使用任务逻辑中......
针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义。无法描述任......
在经典命题逻辑语言中引入附加算子几,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”,介绍了“任务逻辑”的语......
基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。......
为满足武器装备和系统使用安全分析的需要,基于组织协同行为目的分析,将组织协同行为分为信息交流、任务交互以及行为干预三类.给出......
技术知识观是制约高职专业课程发展的重要变量。在高职专业课程的改革中,必须依据当代技术知识观,确立与之相适应的培养完整“职业人......
自线性逻辑的概念诞生以来,关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。线性逻辑最初形成时源于把公式看成“资源”,因而......
军事群体协同行为建模仿真是行为建模与仿真在军事领域中的一个重要分支,也是计算机生成兵力的理论基础、重要方法和技术前沿。由于......