摘要
本文给出了利用模式推理技术检查归纳假设合理性的若干判定条件.由于这种检查属于语法范畴,故能由系统自动完成,从而降低了假设相容性测试的开销,提高了逻辑程序归纳综合的效率.
Some criteria based on mode inference for checking the reasonableness of inductive hypotheses are presented in this paper. Since the judgement is on the syntactical level, it can be accomplished automatically by the system. This results in low overhead on testing hypothesis consistency, and high efficiency on inductive synthesis.
出处
《计算机学报》
EI
CSCD
北大核心
1992年第9期712-716,共5页
Chinese Journal of Computers
基金
国家863高科技项目资助
关键词
模式推理
归纳程序综合
Mode inference, inductive program synthesis, consistency test, logic programming.
