【免费】基于Horn子句集的Pr/T网可达树的方案求解-发表之家

基于Horn子句集的Pr/T网可达树的方案求解

作者：方欢; 吴哲辉; 崔焕庆山东科技大学; 信息科学与工程学院; 山东; 青岛; 266510; 安徽理工大学数理系; 安徽; 淮南; 232001山东科技大学; 信息科学与工程学院; 山东; 青岛; 266510山东科技大学; 信息科学与工程学院; 山东; 青岛; 266510

horn子句可达树方案求解

摘要：问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社

学术咨询免费咨询杂志订阅

热门期刊服务

影响因子：0.55

期刊级别：北大期刊

发行周期：月刊

服务介绍