申宇铭 作品数:16 被引量:57 H指数:4 供职机构: 广东外语外贸大学思科信息学院 更多>> 发文基金: 国家自然科学基金 广西壮族自治区自然科学基金 广西青年科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 生物学 更多>>
溯因推理问题的碰集求解方法 被引量:2 2015年 溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴含式和素蕴含,证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题.给出了求解溯因问题的一种新方法. 余泉 李承乾 申宇铭 王驹描述逻辑εLU概念及术语公理集的表达能力刻画 被引量:4 2014年 表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——van Benthem刻画定理.给出了描述逻辑εLU(含构造子:原子概念、顶概念、概念交、概念并、完全存在约束)的模拟关系,建立了εLU中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与εLU中概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持. 申宇铭 王驹 唐素勤关键词:描述逻辑 描述逻辑εL~■和εLU~■表达力的刻画与比较 被引量:1 2018年 逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,解释之间的互模拟关系是刻画表达力的一个有效途径,其较具代表性的结论是刻画命题模态逻辑表达力的van Benthem定理.文中主要研究了包含顶概念、原子概念、原子概念否定、概念交和完全存在约束等5个概念构造子的描述逻辑εL~■,给出了εL~■模拟关系,建立了刻画εL~■表达力的van Benthem定理.在εL~■基础之上,再增加概念并构造子,还给出了刻画εLU~■表达力的van Benthem定理.在这些工作的基础上,给出了εL、εL~■、εLU和εLU~■等4个系统表达力之间的比较结果.再依据若干概念包含关系问题的计算复杂性结果,明确了如下结论:在表达力要求不高的情形下,可以优先选择εL作为知识的表示语言.而对表达力要求较高的情形下,应该优先选择ALC作为知识的表示语言.同时,在没有特殊要求的情况下,应尽量避免使用εL~■、εLU和εLU~■作为知识的表示语言. 申宇铭 郝天永 郝天永关键词:描述逻辑 表达力 描述逻辑εVL的保守扩充 被引量:3 2016年 在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充,但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点。在Lutz等人研究的基础上探究εVL的保守扩充问题,构建了εVL的典范模型,将包含推理问题转换为典范模型的模拟问题;由典范模型之间的最大模拟是多项式时间复杂的,证明了εVL的包含推理是多项式时间复杂的;给出了描述逻辑εVL的保守扩充及其判定算法,证明了εVL的保守扩充的判定算法是指数时间复杂的。 聂登国 余泉 张维 申宇铭关键词:描述逻辑 本体 多媒体辅助教学在《数学分析》中的利与弊及改进措施 被引量:7 2012年 通过分析多媒体辅助教学在《数学分析》教学实践中所体现的现代化教育技术的优势和存在的一些问题,提出了科学实践多媒体辅助教学的建议,将多媒体辅助教学和传统教学方式有机整合,取长补短,充分发挥多媒体辅助教学在教学中的辅助功能。 韦煜明 申宇铭关键词:数学分析 多媒体辅助教学 描述逻辑FL_0概念及术语公理集的表达能力刻画 被引量:2 2014年 表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。 申宇铭 文习明 王驹关键词:描述逻辑 不同逻辑间翻译的逻辑性质 被引量:4 2009年 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的. 申宇铭 马越 曹存根 眭跃飞 王驹关键词:翻译 一阶逻辑 基于进化计算的三倍体个体单体型检测算法研究 吴璟莉 刘广海 申宇铭 何冬黎 王华 单核苷酸多态性(Singlenucleotidepolymorphism,SNP)是生物基因组多态性中最显著的一种形式,研究SNPs在阐明生物个体的表型差异,不同群体或个体对疾病,尤其对复杂疾病的易感性和对环境因子的不同...关键词:关键词:单核苷酸多态性 生物学实验 论文式合作学习在高等数学教学中的实践与思考 被引量:1 2013年 合作学习是我国新一轮基础教育课程改革中广泛使用的教学方法。论文式合作学习是开展合作学习的方式之一,其特点是:(1)合作学习的时间和地点灵活,不必局限于课堂有限的教学时间;(2)培养学生查阅科学文献,完成论文的能力。文中介绍了论文式合作学习教学方式在高等数学中的实践经验与思考。 申宇铭 韦煜明关键词:高等数学 教学思考 谓词模态逻辑到对应物理论的翻译 被引量:2 2012年 对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况.针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的. 申宇铭 王驹 唐素勤 蒋运承