基于Horn子句集Pr%2fT网可达树方案求解.pdfVIP

  • 8
  • 0
  • 约2.32万字
  • 约 3页
  • 2015-07-19 发布于江苏
  • 举报

基于Horn子句集Pr%2fT网可达树方案求解.pdf

Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 163 基于Horn 子句集的Pr/T 网可达树的方案求解 1,2 1 1 方 欢 吴哲辉 崔焕庆 1 山东科技大学 信息科学与工程学院, 山东 青岛 266510; 2 安徽理工大学数理系, 安徽 淮南 232001 摘 要 问题求解是当今人工智能领域研究的重点 在文中对于能用Horn 子句集表示问题求解情

文档评论(0)

1亿VIP精品文档

相关文档