模态逻辑相关论文
人工智能飞速发展,自然语言在人工智能中的表达至关重要。逻辑学通过一阶逻辑和模态逻辑等研究领域,在人工智能语言表达中起着至关......
将不同的逻辑系统进行组合,能够以更加精细的方式来描述现实世界。不同的组合技术,如交融(Fusion),直积(Product),纤维化(Fibring)......
进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。互模拟是进程代数中刻画行为等价的核心概念,......
本文为多智能体系统定义了一个称之为知识结构的逻辑框架，来进行智能体的知识推理.在知识推理过程中，使用”变量忘记”(VariableForg......
基于形式系统的逻辑研究是知识工程研究领域的重要内容。模态逻辑(modal logic)及其各种扩展，如时态逻辑(temporal logic)、认知逻......
共代数是代数的对偶概念，基于观察的角度考察集合及其上操作。计算机科学中很多系统都可以归结为共代数，如自动机、抽象数据类型、面......
学位
故障诊断越来越受到人们的重视。目前，虽然用于故障诊断的方法有很多，但由于种种原因很少能高效地工作。同时，近年来，由于计算机技术、......
近几十年来,可能世界语义学的发展方兴未艾,但由“可能世界”的定义及其本体地位问题引起的纷争一直不断,且有愈演愈烈的趋势。威......
随着现代计算复杂性和信息量的急剧增长，传统的集中计算模式已不能适应大型分布式信息处理的发展。而基于Agent的计算和以Agent为主......
随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为人工智能领域中一个新的研究热点.基于Agent的技术被......
本文从语法角度出发,利用模糊测度定义了一种新的模糊算子Φ,并用其刻划了一种新的模态逻辑,从而对南斯拉夫学者Branislav B.提出......
粗糙集作为一种处理不精确,不确定与不完全数据的新的数学理论,该理论与概率论,模糊数学,信息论和证据理论等其他处理不确定和不精......
随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。本文首先讨论了广义泛代数理论，给出了变......
在Domain理论、粗糙集理论和模态逻辑的研究中，序结构、拓扑结构和代数结构是相互渗透和相互影响的.特别地,由于在Domain理论中，拓扑......
现代模态逻辑是一种扩展逻辑，它是经典逻辑加上模态算子进行扩张而形成的新形式系统，它能适用于经典逻辑先前所不能形式处理的模态论......
莱布尼茨最先提出了“可能世界”概念,并基于这一概念阐发了一些重要思想。20世纪50 60年代,鉴于模态逻辑发展的迫切需要,一批逻辑......
本文尝试先对个人叙事转变现象进行分析和搭建心理学模型，并在此基础上构造形式化语言和建立逻辑模型。个人叙事转变现象，是指在描述......
在20世纪70年代前后，互模拟理论在许多领域被独立建立。自从范本特姆刻画定理问世之后，互模拟被广泛地运用于模态逻辑的研究中;在集......
受“北京大学海外名家讲学计划”资助，应北京大学哲学系陈波教授邀请，英国牛津大学逻辑学讲座教授威廉姆森（Timothy Williamson）于10月......
本文最初写于2001年,旨在探究语言上的、概念上的与本体论中的模糊性问题.文章始于这样一个问题,即模糊性仅仅是一个词的特征,抑或......
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带.可在扩展模态逻辑中证明一些结果,然后通过互模拟运用......
奎因对模态逻辑的批评包括：(i)因为模态语境是指称不透明的，所以对其量化纳入没有意义；(ii)一些关于必然真理的经验知识与关于必然性......
愤怒的博弈者是具有攻击性的，为了减少对手的效用，他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态......
根据牛津哲学词典,模态逻辑是“研究必然性和可能性概念的一种逻辑”.既然模态逻辑以探讨基本哲学范畴及其逻辑关系为目标,那么它......
相干逻辑在20世纪20年代被提出来,目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论.蕴涵怪论,如p→(q→p),......
范·本特姆(J.van Benthem)教授是当今最著名的逻辑学家之一,他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域.从1970年代......
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都......
在多数的综合评价系统和决策系统中,数据信息表现为对象和属性之间的关系,这类数据信息中存在不确定性.不确定性来源有两种,一种来......
克里普克在中提出了历史的因果命名理论,并认为存在必然后验真理、偶然先验真理,这是为模态逻辑作理论上的辩护.其理论是融贯的,奎......
知识和信念是人工智能领域研究中经常涉及到的两个重要概念．本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统EL，讨论了它的语法......
首先介绍模态逻辑的两种语义：克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里......
可能世界语义学是诞生于20世纪50年代的一种内涵语义学,它产生的原因在于模态逻辑的发展遇到了一定的问题,迫切需要这样一种内涵语......
形式化分析方法是目前安全协议验证的主流方法.通过对常用的几种形式化验证方法进行概述和分析,论述了模态逻辑、模型检测技术在安......
通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研......
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr？der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个r......
基于认知逻辑分析了模态逻辑在运用方面具有与一阶逻辑不同的特点,它不仅可以通过系统演绎论证来刻画具体的概念和实质对象,还能够......
含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合a,一个命题变元p在a上真当且仅当p属于a。命题联结词的解......
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑......
人类在思考问题时,常常伴随着对各种可能情形的审视。在经典公开宣告逻辑中,排除掉不可能的情形即实现对信念的修正。为了能够在语......
本文考察模态逻辑树模型上的局部等价以及m-保守的重述。所谓重述指的是将一种语言下的公式翻译到另一种语言中去。这种翻译可以是......
为提高模糊命题模态逻辑（fuzzy propositional modal logic,FPML）的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出......
