论文部分内容阅读
归纳结论正确性的自动确认是归纳学习用于软件自动化必须解决的首要问题。本文针对自学习软件自动化系统ＮＤＳＡＩＬ的需要，提出了保证归纳结论正确性的一致性准则和可满足性准则以及用多层次的演绎推理加以自动确认的方法。其主要特点是：（１）面向应用的归纳结论正确性准则；（２）验证功能与修正功能相结合的确认方法；（３）基于自动演绎机制的自动实现。