A probabilistic approach to automaton-environment systems

 Access to full text

 Full (PDF)

1. D. Blackwell M. A. Girschick, Theory of Games and Statistical Decisions, John Willey and Sons, New York 1954. (1954) MR0070134
2. W. Feller, An Introduction to Probability Theory and its Applications, vol. I, Second edition. John Willey and Sons, New York 1962. (1962) MR0270403
3. R. Fikes N. Nilsson, STRIPS - New Approach to the Application of Theorem-Proving to Problem-Solving, Proceedings of the Second International Joint Conference on Artificial Intelligence, Imperial College, London 1971. (1971) 
4. P. J. Hayes J. McCarthy, Some Philosophical Problems from the Standpoint of Artificial Intelligence, In: Machine Intelligence 4 (B. Meltzer and D. Michie, Editors). Edinburgh University Press, 1969. (1969) 
5. P. J. Hayes, Frame Problem and Related Problems in Artificial Intelligence, Research Report, Department of Computational Logic, Edinburgh University. 
6. H. W. Göttinger, Toward a Fuzzy Reasoning in the Behavioral Sciences, Ekonomicko-matematický obzor 9 (1973), 4, 404-422. (1973) MR0475713
7. S. C. Kleene, Introduction to Metamathematics, D. Van Nostrand Comp., New York 1952. (1952) Zbl0047.00703MR0051790
8. I. Kramosil, Random Axiomatic Systems, Research Report, Institute of Information Theory and Automation, Prague 1973. (1973) 
9. I. Kramosil, Gentzen-like Random Axiomatic Systems, To appear in the Transactions of the European Meeting of Statisticians and Seventh Prague Conference, held in Prague, August 1974. (1974) MR0491008
10. R. T. C. Lee, Fuzzy Logic and the Resolution Principle, Journal of the Association for Computing Machinery 19 (1972), 1, 109-119. (1972) Zbl0245.02020MR0383856
11. R. Parikh, Existence and Feasibility in Arithmetic, The Journal of Symbolic Logic 36 (1971), 3, 494-508. (1971) Zbl0243.02037MR0304152
12. E. Sandewall, An Approach to the Frame Problem and its Implementation, In: Machine Intelligence 7 (B. Meltzer and D. Michie, Editors), Edinburgh University Press, 1972. (1972) Zbl0249.68035
13. F. Spitzer, Principles of Random Walk, Princeton University Press, Princeton 1964. (1964) Zbl0119.34304MR0171290
14. L. A. Zadeh, Fuzzy sets, Information and Control 8 (1965), 338-353. (1965) Zbl0139.24606MR0219427

1. Ivan Kramosil, A selection-based formal description of an environment
2. Havel, Ivan M., Ivan Kramosil, A stochastic approach to robot plan formation
3. Ivan Kramosil, Mechanized experiment planning in automaton-environment systems
4. Ivan Kramosil, Statistical approach to proof theory