Abstract
Some criteria based on mode inference for validating inductive hypotheses are presented in this paper. Mode inference is carried out mechanically, thus such kind of validation can result in low overhead in consistency check and high efficiency in performance.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Debray, S. K. and Warren, D., Automatic mode inference for Prolog program. Proc. 1986 Symp. Logic Programming, Sep. 22–25, 1986, Utah Salt Lake City, Utah, 78–88.
Reddy, U. R., Transformation of logic programs into functional porgrams. Proc., 1984 Symp. Logic Programming, Feb. 6–9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey, 187–196.
Mellish, C. S., The automatic generalization of mode declarations for Prolog programs. DAI Research Paper 163, Dept. of Artificial Intelligence, University of Edinburgh, Aug. 1981.
Wang Zhijian, The application of mode inference in inductive program synthesis.Chinese Journal of Computers, 15(9), 1992, 717–721.
Xu Jiafu, Dai Min and Wang Zhijian, On the design of an inductive program synthesizer—-NDIPS.Chinese Journal of Software, 1(1), 1990, 57–62.
Xu Jiafu, Dai Min and Wang Zhijian, An inductive program synthesis system-NDIPS,University Computing, 12(3), 1990, 92–97.
Wang Zhijian and Xu Jiafu, Hypothesis space construction based on generalized subsumption.Progress in Natural Science, 2(3), 1992, 223–229.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zhijian, W. Validating inductive hypotheses by mode inference. J. of Compt. Sci. & Technol. 8, 133–137 (1993). https://doi.org/10.1007/BF02939475
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02939475