模态算子相关论文
编队协同作战决策过程的形式化是实现编队协同作战指挥自动化和智能化的前提和基础．通过对Wooldridge和Jennings的合作问题求解模态......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)......
文章对科学哲学和心灵哲学的一个重要概念,即依随性概念进行分析。指出依随性概念具有“不可分辨性”、“非对称性”、“多重实现......
BDI（belief,desire,intention)是基于Agent计算的理论模型，BDI语义关系着Agent计算的发展，通过把相信划分为主观相信和客观相信，把可能......
意图是Agent的一个关键的意识属性，在决定理性Agent的行为中起着重要作用。为了克服现有意图逻辑中存在的缺陷，建立了适用于意图的语......
作为生成语法“核心功能语类”之一的标句词(Complementizer)是指某些分句的引导词,因其在英语这类语言中常常引导补语从句,所以又......
随着模态逻辑在思维科学、计算机科学等领域内的应用日益广泛,讨论模糊模态逻辑就显得很有意义.许多学者利用不同的方法研究了模糊......
本文通过对亚里士多德的模态算子、模态命题、必然模态三段论、偶然模态三段论进行分析、评价，进而说明亚里士多德的模态逻辑理论虽......
多模态逻辑是关于“包含多种模态的逻辑”的研究,它的系统内包含两种或两种以上模态算子,并且算子间不可归约。多模态逻辑旨在为研......
