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