知识表示的F—K系统

来源 :南京航空航天大学学报 | 被引量 : 0次 | 上传用户:leave2009418
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对经典知识表示系统(多系统)进行了扩充,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统F-K,该公理系统除包含“F”外也包含经典模态词“K”。同时,基于滤子对经典Kripke框架及模型进行了扩充,从而给出了“F”的语义,并证明了该语义下F-K的完备性与可靠性。
其他文献
总结了38例儿童阻塞性睡眠呼吸暂停低通气综合征的围手术期护理经验。对患儿采取充分的术前准备及术后护理、严密观察生命体征、实施有效的护理措施、预防感染等并发症和积极
近年来,彩超显像对肝癌门静脉癌的诊断已受到临床医师的重视,彩超诊断门静脉癌栓的敏感性、准确性不断提高,笔者就我院彩超诊断,并经CT确诊、手术、病理证实的1组病例进行回顾性
作为壮族民族文化符号的典型代表,壮锦是壮族历史文化发展的深厚积淀,从艺术人类学的角度阐释其精湛而复杂的织造技艺、丰富而多元的装饰母题、绚丽而朴实的色彩语言,不仅能
目的探讨慢性肝病患者血糖变化与病情发展的关系及其护理方法。方法对112例慢性肝病患者于入院第2天清晨采集静脉血,分别采用ELISA法、自动生化分析仪检测其肝功能及血糖,依
新民主主义革命时期,以毛泽东为代表的中国共产党人领导水口山工人开展轰轰烈烈的工人运动,进行了英勇顽强的革命斗争。水口山工人运动开启了中国工人运动的两次重要转折,形
目的探讨认知护理在早期乳腺癌治疗中的作用。方法采用抑郁、焦虑症状自评量表和简易应对方式问卷,评定并比较54例早期乳腺癌症患者进行认知护理前后的心理状况。结果实施认知
随着人们物质和文化生活水平和生存质量的提高,人口老龄化给医疗护理工作提出了新的课题。股骨颈骨折是老年人的常见病,因为老年人股骨颈骨质疏松脆弱,髋周肌群退变,加上局部
目的 探讨重型颅脑损伤患者气管切开后降低并发症的方法.方法对气管切开患者实施保持呼吸道通畅、加强气道湿化、氧气雾化吸入、气管套管的护理等护理措施.结果对37例气管切
目的观察耳穴贴压配合心理干预治疗维持性血液透析并发抑郁症的疗效。方法将60例维持性血液透析并发抑郁症的患者随机分为22,每组各30例。治疗组在常规血液透析的基础上采用耳
党员党费信息管理是各高校党建工作中一项非常重要且繁琐的工作,随着互联网技术的不断发展,原始人工管理党员党费的方式已不再适合当前高效率的工作要求。基于微信小程序的党