论文部分内容阅读
逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.在文章中,作者研究了稳定模的分裂性质.这性质表明当逻辑程序分裂成部分时候,它的稳定模的计算可以得到简化.
稳定模的分裂性
【摘 要】
：
逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.在文章中,作者研究了稳定模的分裂性质.这性
【机 构】
：
广州大学计算机科学与教育软件学院,广州大学广东省数学教育软件工程技术研究中心
【出 处】
：
广州大学学报：自然科学版
【发表日期】
：
2016年1期
【基金项目】
：
National Science Foundation of China （NSFC） under Grant No. 11271097. Natural Science Foundation of China underGrant No. 61472092, Guangdong Provincial Science and Technology Plan Project under Grant
其他文献
上下文无关文法借助有限规则集和递归手段实现语言生成问题的刻画.这一形式系统多以符号串集形式呈现,并因递归技术的应用而渐变复杂,晦涩难懂.文章探讨其可视分析问题,涉及文法到有限状态变迁系统的构造、理论证明和应用方法.这项工作不仅有助形式系统各要素间的关系的直观刻画,而且为结构化推导分析、语义重用奠定基础.
为了解医疗风险决策的心理机制，以大学生为研究对象，通过情景模拟医疗决策，探讨社会距离与认知重评情绪调节策略对负性情绪下医疗风险决策的影响．实验采用2×2组间设计，通过电
电子商务与物业管理的结合成为了当今物业管理的发展趋势.在此背景下,针对物业管理收费难、成本高、用户满意度低等问题,根据信任、TAM理论提出多个研究假设,提出信任和TAM对
0-1测试法是通过离散数据转化变量的线性增长率K（c）的输出值是否趋近于1或0来判断离散序列是否具有混沌特性的新方法.以经典Verhulst种群模型生成的3组时间序列（弱混沌、完全混
文章对随机激励下结构振动声辐射问题进行研究,利用ACTRAN软件对简单结构体的振动声辐射问题进行了系统的分析,运用有限元-无限元方法对不同监测点进行定义加载,分析了声辐射
建立一类新的由传染病引起严重疾病或并发症的传染病动力学模型.研究该模型平衡点的存在性和稳定性,运用Schauder不动点定理证明连接2个平衡点的行波解的存在性.该结果揭示了
河口近岸海域面积广阔，生物生产力高，受人类活动及陆源物质的影响较大，是自然因素和人为因素共同影响水体生态环境的典型区域．文章研究了珠江口近岸海域水体叶绿素a浓度和悬浮物
通过研究辐射谱和流量密度之间的关系，可以分析与辐射有关的辐射过程以及其中蕴含的辐射理论．文章利用UMRAO（美国密歇根大学射电天文台）数据库，从中挑选了1个具有比较多观测数据的
城市污泥制备污泥炭,实现污泥的无害化和资源化,受到广泛的关注.文章以棉纤维为内核,涂覆混有氯化锌的污泥浆,通过热解处理,制备污泥炭为外壳,棉纤维为内核的类中空颗粒污泥
以往研究大多仅关注单一中介模型或并行多重中介模型,在一定程度上忽视了多个中介变量在自变量和因变量的中介作用是顺序性的可能性.文章试图探讨员工感知的新创企业高绩效工