论文部分内容阅读
EPDL 系统是PDL 和EL 的混合系统。EPDL 的框架同时包含用于表示知识和用于表示动作的两种二元关系。完美记忆公理和无奇迹公理刻画了这两种关系的交互。本论文证明了含有完美记忆公理和无奇迹公理的EPDL 系统相对于具有这两种交互性质的EPDL 框架类的弱完全性。
带有完美记忆公理和无奇迹公理的EPDL 系统的完全性
【摘 要】
：
EPDL 系统是PDL 和EL 的混合系统。EPDL 的框架同时包含用于表示知识和用于表示动作的两种二元关系。完美记忆公理和无奇迹公理刻画了这两种关系的交互。本论文证明了含有完
【机 构】
：
南开大学哲学院
【出 处】
：
逻辑学研究
【发表日期】
：
2019年3期
【基金项目】
：
the National Social Science Foundation of China(Grant No.18CZX062).
其他文献
信息技术课程与当今快速发展的计算机技术保持着高度的相关性。所以信息技术教师必须不断地创新教学的方式，激发学生学习信息技术知识的主动性和积极性，让学生能够体会到信息技
一、多传感器多目标跟踪与融合1.用于弱信号地面目标的多模型非线性滤波技术(C.M.Kreucher等,美国Veridian系统公司)
【摘 要】我国走可持续发展的基本道路，针对青少年学生的管理与引导，在传授课内基础知识的同时，培养学生的环境保护意识也是十分关键的。地理课程教材内容与环境保护相关的知识内容相对较多，在绿色产业发展理念的引导之下，教师需要改进教学理念，理清地理课程的侧重点，才能够在良好教学方式方法之下，做好学生环保意识与教学目标的契合。 【关键词】高中地理;环境保护意识;教学引导 【中图分类号】G633.5 【文
混合问题是说,如何确定涉及不同领域的语句是真的。这个问题是多元真理论所面临的一个严峻问题。首先,多元真理论的动机可以被归结为范围投射论证。虽然这种论证存在不合理之
医学影像归档与通信系统(PACS)是医学影像信息学研究的一个重要领域.PACS服务器又是PACS系统的核心部分.面对中小规模医院实现医学信息无胶片化和网络化管理的要求,相应地需
一、苗床地的选择和管理1.选地应选光照充足,土壤肥沃,疏松透气,地势平坦,水源方便的菜地或水浇旱地作苗床.2.培肥每年冬前,按每平方米苗床用5kg碎秸秆加上2～3kg家畜粪肥和200
红外成像装置作为以遥感方式测定物体表面辐射温度分布的测定器,在工业界得到了广泛应用.利用这种装置测定缺陷存在的方法-热成像法目前颇受关注.这种测定方法是一种向物体照
近年来,电动汽车的发展规模越来越大,随之而来的是在电动汽车接入电网后,充放电特性对电网在运行与规划等方面带来了一些新的问题和影响。经研究发现,对于碳的产出量、机组系
NPC三电平逆变器相对两电平逆变器具有输出电压谐波含量低等优点,在光伏逆变器、储能逆变器等领域具有广泛的应用价值。为了满足NPC三电平逆变器运行工况多样和安全运行的双
目的：探讨在低文化程度农村中年女性患者中健康教育的内容、实施方法及其效果。方法：收集50例符合CCMD-3精神分裂症诊断标准的低文化住院患者随机分组．按照自编的健康教育计划，于