- 1.Barzdin, J., "Two theorems on the limiting synthesis of functions," Latvic. Gosudarst. Univ. ucenye Zapiski, 210 (1974), 82-88 (Russian).Google Scholar
- 2.Blum, L. and Blum M., "Toward a mathematical theory of inductive inference," Information and Control, 28, (1975), 125-155.Google Scholar
- 3.Case, J., "Periodicity in generations of automata," Mathematical Systems Theory, 8 (1974), 15-32.Google Scholar
- 4.Chen, K.J., private communication.Google Scholar
- 5.Feldman, J., "Some decidability results on grammatical inference and complexity," Information and Control, 20 (1972), 244-262.Google ScholarCross Ref
- 6.Gold, M., "Language Identification in the limit," Information and Comtrol, 10 (1967), 447-474.Google ScholarCross Ref
- 7.Harrington, L., private communication.Google Scholar
- 8.Minicozzi, E., "Some natural properties of strong-identification in inductive inference," Theoretical Computer Science, 2 (1976), 345-360.Google ScholarCross Ref
- 9.Newton, I., Mathematical Principles of Natural Philosophy, translated by A. Motte, 1792, edited by F. Cajori, University of California Press, Berkeley, 1946.Google Scholar
- 10.Popper, K., The Logic of Scientific Discovey (2nd edition), Harper Torch Books, N.Y., 1934.Google Scholar
- 11.Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill, N.Y., 1967. Google ScholarDigital Library
- 12.Smith, C., Hierarchies of Identification Criteria for Mechanized Inductive Inference, Ph.D. Dissertation, SUNY at Buffalo, Buffalo, N.Y., in preparation. Google ScholarDigital Library
- 13.Steel, J., private communication.Google Scholar
- 14.van Leeuwen, J., private communication.Google Scholar
Index Terms
- Anomaly hierarchies of mechanized inductive inference
Recommendations
Case-based learning in inductive inference
COLT '92: Proceedings of the fifth annual workshop on Computational learning theoryThere is proposed a formalization of case-based learning in terms of recursion-theoretic inductive inference. This approach is directly derived from some recently published case-based learning algorithms. The intention of the present paper is to exhibit ...
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic
Logical Foundations of Computer ScienceAbstractArtemov and Protopopescu proposed intuitionistic epistemic logic (IEL) to capture an intuitionistic conception of knowledge. By establishing completeness, they provided the base for a meta-theoretic investigation of IEL, which was continued by ...
Bayesian Statistical Inference in Machine Learning Anomaly Detection
ICCIIS '10: Proceedings of the 2010 International Conference on Communications and Intelligence Information SecurityIntrusion Detection is an important component of the security of the Network, through the critical information of the network and host system, it can determine the user’s invasion of illegal and legal acts of the user misuse of resources, and make an ...
Comments