A probabilistic approach to automaton-environment systems. (English) Zbl 0308.94045


68Q45 Formal languages and automata
91A99 Game theory
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03D05 Automata and formal grammars in connection with logical questions
Full Text: EuDML


[1] D. Blackwell M. A. Girschick: Theory of Games and Statistical Decisions. John Willey and Sons, New York 1954. · Zbl 0056.36303
[2] W. Feller: An Introduction to Probability Theory and its Applications, vol. I. Second edition. John Willey and Sons, New York 1962. · Zbl 0158.34902
[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. · Zbl 0234.68036 · doi:10.1016/0004-3702(71)90010-5
[4] P. J. Hayes J. McCarthy: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4 (B. Meltzer and D. Michie, Editors). Edinburgh University Press, 1969. · Zbl 0226.68044
[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.
[7] S. C. Kleene: Introduction to Metamathematics. D. Van Nostrand Comp., New York 1952. · Zbl 0047.00703
[8] I. Kramosil: Random Axiomatic Systems. Research Report, Institute of Information Theory and Automation, Prague 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. · Zbl 0412.60002
[10] R. T. C. Lee: Fuzzy Logic and the Resolution Principle. Journal of the Association for Computing Machinery 19 (1972), 1, 109-119. · Zbl 0245.02020 · doi:10.1145/321679.321688
[11] R. Parikh: Existence and Feasibility in Arithmetic. The Journal of Symbolic Logic 36 (1971), 3, 494-508. · Zbl 0243.02037 · doi:10.2307/2269958
[12] E. Sandewall: An Approach to the Frame Problem and its Implementation. Machine Intelligence 7 (B. Meltzer and D. Michie, Editors), Edinburgh University Press, 1972. · Zbl 0249.68035
[13] F. Spitzer: Principles of Random Walk. Princeton University Press, Princeton 1964. · Zbl 0119.34304
[14] L. A. Zadeh: Fuzzy sets. Information and Control 8 (1965), 338-353. · Zbl 0139.24606 · doi:10.1016/S0019-9958(65)90241-X
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.