一种描述逻辑与逻辑程序相结合的杂合系统DLclog

面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统.在DLclog中,负DL原子可以出现在逻辑程序规则体中,并且使用McCarthy的并行限制(parallel circumscription)对其进行非经典解释,即出现在规则体中的DL谓词在其他DL谓词的解释任意发生变化的情况下,其外延在DL本体的模型中被解释为最小.使用这种方法,DL+log的非单调语义(NM-semantics,简称NM语义)被扩展成了DLclog的非单调限制语义(nonmonotonic circumscriptive semantics,简称NMC语义),从而成为目前表达能力和推理能力最强的杂合系统.此外,在DL本体使用ALCIO和ALCQO书写,且不允许属性(role)出现在规则中的失败否定(NAF)之后时,还给出了可靠完全的推理算法和NMC语义下可满足性的判定复杂度.

坚持“五个基于” 优化教学设计——以“让家更美好”教学为例

优秀教学设计是优质课的基础。做出优秀教学设计,不仅要求教师潜心体味新课标,更要基于单元视野,整体理解教材内容;基于核心素养,科学制订教学目标;基于生活情境,丰富充实教学内容;基于活动引领,有效推进教学实施;基于实践体验,助力实现知行合一。

公路工程机械设备使用效率的影响因素及对策

在公路工程的施工建设中,需要使用各种专业化的机械设备,此类设备的使用效率、使用状态等也直接影响着整体公路工程建设质量水平。基于此,本文将参考相关研究资料,并结合笔者多年工作实践,在阐明影响公路工程机械设备使用效率的影响因素的基础上,提出几点相应的解决对策以供参考。

祖国完全统一进程不可阻挡--聚焦《台湾问题与新时代中国统一事业》白皮书

【热点材料】2022年8月10日,国务院台湾事务办公室、国务院新闻办公室发表《台湾问题与新时代中国统一事业》白皮书,进一步重申台湾是中国的一部分的事实和现状,展现中国共产党和中国人民追求祖国统一的坚定意志和坚强决心,阐述中国共产党和中国政府在新时代推进实现祖国统一的立场和政策。白皮书指出,实现祖国完全统一,是中华民族的历史和文化所决定的,也是中华民族伟大复兴的时和势所决定的。我们比历史上任何时期都更接近、更有信心和能力实现中华民族伟大复兴的目标,也更接近、更有信心和能力实现祖国完全统一的目标。我们愿意为和平统一创造广阔空间,但绝不为各种形式的“台独”分裂活动留下任何空间。

构筑牢不可破的海洋生态安全屏障——聚焦《中国的海洋生态环境保护》白皮书

【热点点击】2024年7月11日,国务院新闻办公室发布《中国的海洋生态环境保护》白皮书。《中国的海洋生态环境保护》白皮书系统介绍了中国构建人海和谐的海洋生态环境的政策理念,全面阐述了中国统筹推进海洋生态环境保护、系统治理海洋生态环境、提升海洋绿色低碳发展水平的重要举措,展示了中国广泛开展海洋生态环境保护国际合作、推动构建海洋命运共同体的实际行动和世界贡献。