模态算子相关论文
通过在卢卡西维茨(Lukasiewicz)的三值命题逻辑系统之上添加“相信(B)”、“怀疑(D)”和“无知(U)”三个认知模态算子。一个形式的......
编队协同作战决策过程的形式化是实现编队协同作战指挥自动化和智能化的前提和基础．通过对Wooldridge和Jennings的合作问题求解模态......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)......
随附性是个意蕴丰富的哲学概念,金在权依据不同的模态强度区分了强随附性和弱随附性。但是,金在权对随附性的双条件句描述犯有错误......
本文介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、......
BDI（belief,desire,intention)是基于Agent计算的理论模型，BDI语义关系着Agent计算的发展，通过把相信划分为主观相信和客观相信，把可能......
意图是Agent的一个关键的意识属性，在决定理性Agent的行为中起着重要作用。为了克服现有意图逻辑中存在的缺陷，建立了适用于意图的语......
进一步研究了模态R0代数的一些重要性质,证明了：当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使（[0,1]R0,□）成......
<正> 我们在社会生活中,要遇到各种不同的情况,与各式各样的人交往。我们想实现的目的,也是各不相同的。如时而申述自己的主张,时......
【正】 模态逻辑是研究含有“必然”、“可能”等模态算子的命题及其推理的逻辑学科。在传统逻辑学中,逻辑学家们把简单模态命题之......
作为生成语法“核心功能语类”之一的标句词(Complementizer)是指某些分句的引导词,因其在英语这类语言中常常引导补语从句,所以又......
随着模态逻辑在思维科学、计算机科学等领域内的应用日益广泛,讨论模糊模态逻辑就显得很有意义.许多学者利用不同的方法研究了模糊......
本文通过对亚里士多德的模态算子、模态命题、必然模态三段论、偶然模态三段论进行分析、评价，进而说明亚里士多德的模态逻辑理论虽......
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换......
多模态逻辑是关于“包含多种模态的逻辑”的研究,它的系统内包含两种或两种以上模态算子,并且算子间不可归约。多模态逻辑旨在为研......
