【摘 要】
：
模态逻辑是逻辑学中的一个重要的分支,它是自然语言中有关模态部分的数理模型.目前,模态逻辑已经被广泛用于人工智能的知识表示以及计算机科学的其他领域. 信念逻辑是一类
论文部分内容阅读
模态逻辑是逻辑学中的一个重要的分支,它是自然语言中有关模态部分的数理模型.目前,模态逻辑已经被广泛用于人工智能的知识表示以及计算机科学的其他领域.
信念逻辑是一类特殊的模态逻辑.信念逻辑研究自然语言中由信念模态词(比如"我相信")构成的模态命题以及这些命题之间的逻辑关系.
Quine在1956提出了有关信念模态的Cicero难题,该难题受到了许多模态逻辑学家和哲学家的关注和讨论.如何解释Cicero难题中涉及到的信念模态命题对一阶信念逻辑语义的发展具有重要的意义.目前的一阶信念逻辑语义给予Cicero难题的解读普遍基于对信念模态进行的从物(de re)模态和从言(de dicto)模态的区分.本文指出目前的重要一阶信念逻辑语义对Cicero难题的解释,特别是对Cicero难题中的从言模态命题的解释,存在一些缺陷;并且认为为了在一阶信念逻辑语义中真实的解释从言模态命题,需要在模型中引入一个认知反映关系.在此观点下,本文提出了一个新的一阶信念逻辑语义--基于认知反映的一阶信念逻辑语义.
其他文献
随着信息技术的不断发展,现代社会对信息的需求量越来越大,大屏幕显示设备由于其固有的信息容量大且便于信息共享的特点,广泛应用于家用电视、商业展示、视频娱乐、工程控制
随着互联网的飞速发展,以互联网、信息技术为基础的在线学习变得越来越普遍。在线学习可以克服地域差异,并且可以让用户根据自身情况,自主灵活的安排学习时间,极大方便了用户
信息检索(Information Retrieval)是互联网和企业应用的重要研究课题之一。信息检索是处理海量文本的重要手段，其主要解决从大量文档集合中找到与给定的查询(Query)请求相关的
存储管理的复杂性已经成为阻碍SAN(Storage Area Network)在企业中获得广泛应用的一个重要原因.为此,存储网络工业协会(Storage Network IndustrvAssociation,SNIA)制定了Sto
近年来，随着数据库技术的完善和应用需求的日益复杂，应用系统对数据访问的功能和性能要求也越来越高。同时，人们越来越希望能够实现对异构数据库的透明访问和共享位于不同数据库
我国自主研发的嵌入式实时操作系统Hopen，随着其应用领域的不断扩展，系统内核面临着从软实时向实时性要求更高的硬实时的转变。Hopen现有的调度算法是一种简单的基于固定优先级
蛋白质科学是生物科学的重要组成部分,蛋白质分类是蛋白质科学的热点研究领域。如今,模式识别与机器学习的广泛研究,快速的推动了蛋白质分类的发展。在模式识别领域,大部分数
隔行视频(Interlaced Video)信号在电视广播领域内得到广泛应用.然而,随着计算机和多媒体技术的发展,逐行视频(Progressive Video)在互联网上应用非常普及.在电视广播、通信
网格从最开始的理论设想发展到现在的具体应用，它的内涵经历了不断的演化和变迁。最早是“电网”比喻，像用电一样来使用网格资源，不管是火电还是水电，不管生产经过了什么样的工序