【摘 要】
：
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.
论文部分内容阅读
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与之不同的结论,那就是模态逻辑用于agent形式化研究并不会带来所谓的逻辑全知问题.得出这一不同结论的意义主要在于,它彻底排除了影响模态逻辑用于agent或多agent系统形式化研究的一个重大理论障碍.另外还得出,忽视将逻辑理论用于agent研究的实现意义、忽视意识系统和单纯逻辑系统之间的差异,以及忽视逻辑推理操作实现的过程意义,是上述不可靠结论的三个最主要的原因.
其他文献
针对单一评判准则较难适应复杂环境下的目标跟踪问题,提出了一种基于双评判准则自适应融合的跟踪算法。在该算法中,空间直方图被用作目标表示模型,候选目标与目标模板之间的
BCD码也称二进码十进数。根据实际需求,BCD码产生了多种编码形式。选择不同的BCD码来完成电路设计,则逻辑电路会呈现出不同的结构和工作过程。本文选择同步时序逻辑电路设计
将基于属性且无可信第三方的平台验证协议以及基于身份的加密协议应用到无线网络环境下节点接入认证模型中,提出一个无线网络环境下的可信移动节点接入认证方案。与现有的认
<正>当前,核心区"疏整促"和老城保护提升等工作正处于爬坡过坎、全面提升的攻坚期,政协工作面临新任务新要求。去年以来,东城区政协认真学习贯彻习近平总书记关于加强和改进
人民生活水平的不断提高，作为人们休养生息的避风港，居民楼也变得越来越现代化了。但富丽堂皇的室内装修，应有尽有的家用电器，却导致了居民楼致灾因素的增多，给人们安居乐业的生活
随着商业应用和科学计算对计算能力要求的不断提高,传统的单核处理器已经不能够满足各类应用对计算能力的要求,多核处理器应运而生。多核处理器与单核处理器相比,具有容易获
该文应用快原子轰击质谱(FAB-MS)与电喷雾质谱(ESI MS)技术对不同聚合度的表面活性剂聚丙二醇(PPG)进行分析,并讨论了其质谱特征.
为了将温室气体CO2进行资源化利用,综述了太阳能转化CO2制取高值化工品和替代燃料的最新研究进展.介绍光电催化还原CO2的反应原理,指出与其他转化方式相比的优势.对于光催化
金融是现代经济的核心,金融稳定对国民经济的发展起着举足轻重的作用。新《中国人民银行法》赋予中国人民银行维护金融稳定的重要职责,必将对我国金融业的发展产生重大影响。
伴随着社会主义民主与法制建设进程的推进,纳税人的法律意识得到不断提升,税务机关及其执法人员的执法风险正在日益突显；行政复议、行政诉讼、国家赔偿,责任人受到党纪政纪处