【摘 要】
：
本文提出了信念逻辑RB，其特点是将关系信念，将信念看作是引用的公式和信念背景。其主要谓词是三元组：Bxyb，读作：“在背景b下，x最多与y同样可信。”背景在语义及认知语用目的上起作
论文部分内容阅读
本文提出了信念逻辑RB，其特点是将关系信念，将信念看作是引用的公式和信念背景。其主要谓词是三元组：Bxyb，读作：“在背景b下，x最多与y同样可信。”背景在语义及认知语用目的上起作用。RB的表达力足以表达对角线引理。因此，RB也许被认为是不一致的，如共同认知逻辑。但是，从RB的公理中并不能推出矛盾。事实上，可以找到RB合理有趣的模型。
其他文献
中考政治复习中,教师实施分阶段复习策略,在"夯实基础,抓重点"、"专题讲解,求突破"、"加强练习,求提高"三个方面下功夫,既可以节省大量的时间,减轻了学生复习的负担,又可以在
【摘 要】物理是一门以实验为基础的学科，物理实验教学既是初中物理实验教学中的重要教学内容，同时也是物理教学的一个重要手段。物理实验教学旨在提高学生的动手能力与独立思考的能力，在此过程中學生能够更加直观地了解物理现象，在一定程度上加深对基础知识的理解，激发学生的求知欲，使学生学习到更多的物理知识，培养学生的探索能力。因此，研究初中物理实验教学方法具有重要的理论和现实意义，本文重点探讨了初中物理分组实
多面体外接球的问题,逐渐成为近几年高考的热门考点.为了强化多面体外接球问题的教学效果,需要对这类问题做一个详细的分析,总结求解策略并推广应用.
中国特色社会主义理论体系可以区分为＂硬核＂和＂保护带＂。有效整合理论体系,既坚持体系的＂硬核＂,又不断调整和完善体系的＂保护带＂,增强体系的科学性和合法性,是体系自身发展的需要,也
目的:检测微小RNA-338-3p(miR-338-3p)在卵巢上皮性癌组织中的表达情况,探讨其在卵巢癌发生发展中的作用。方法:采用qRT-PCR检测20例正常卵巢组织、20例良性卵巢上皮性肿瘤组
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
2019年5月14日,中国农药工业协会联合30家行业内的优势企业在合肥成立知识产权保护委员会。中国农药工业协会会长孙叔宝表示,知识产权委员会成立后将着重以下几个方面工作:1,
1999～2001年我们在使用有效抗生素的基础上,应用硝苯地平治疗53例喘息性支气管炎,疗效满意.现报告如下:
人工诱导的多倍体品种大部分都具有自交不亲和特点，自交不亲和性研究对育种工作具有很强的指导意义。四倍体茄子比二倍体茄子品种具有果实肉质细腻，口感好等特点。同源四倍体茄