溯因推理问题的碰集求解方法

著录项

• 来源
  《软件学报》 |2015年第8期|1937-1945|共9页
• 作者

  余泉; 李承乾; 申宇铭; 王驹;

  展开▼
• 作者单位

  中山大学计算机科学系;

  广东广州 510006;

  黔南民族师范学院数学系;

  贵州都匀558000;

  广西可信软件重点实验室(桂林电子科技大学);

  广西桂林541004;

  中山大学计算机科学系;

  广东广州 510006;

  广东外语外贸大学思科信息学院;

  广东广州510420;

  广西师范大学计算机科学与信息工程学院;

  广西桂林541004;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 自动推理、机器学习;
• 关键词

  极小碰集; 溯因推理; 本原蕴含式; 素蕴含;