云南高校图书馆联盟文献共享服务平台- 缺省逻辑

缺省逻辑: 作品数：39被引量：40H指数：3; 导出分析报告; 相关领域：自动化与计算机技术理学更多>>; 相关作者：张明义丁德成苏开乐傅丽刘瑞胜更多>>; 相关机构：南京大学贵州科学院北京大学吉林大学更多>>; 相关期刊：《上海交通大学学报》《智能计算机与应用》《计算机学报》《江西师范大学学报（哲学社会科学版）》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家社会科学基金国家教育部博士点基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

人工智能中缺省逻辑的可表示性(英文)被引量：1: 《工程数学学报》2006年第5期886-890,共5页傅丽王国俊; The National Natural Science Foundation of China(10331010);Qinghai Nationality College Doctor Scientific Research(06D003); 本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。; 关键词：缺省理论无前提正规扩充表示性