Geodesic
Mechanized experiment planning in automaton-environment systems
Kybernetika, Tome 13 (1977) no. 4, pp. 225-244 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 62C99, 68Q45, 68T05, 68T20, 90A05, 90B99 
@article{KYB_1977_13_4_a0,
     author = {Kramosil, Ivan},
     title = {Mechanized experiment planning in automaton-environment systems},
     journal = {Kybernetika},
     pages = {225--244},
     year = {1977},
     volume = {13},
     number = {4},
     mrnumber = {0469188},
     zbl = {0392.68045},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1977_13_4_a0/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - Mechanized experiment planning in automaton-environment systems
JO  - Kybernetika
PY  - 1977
SP  - 225
EP  - 244
VL  - 13
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/KYB_1977_13_4_a0/
LA  - en
ID  - KYB_1977_13_4_a0
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T Mechanized experiment planning in automaton-environment systems
%J Kybernetika
%D 1977
%P 225-244
%V 13
%N 4
%U http://geodesic.mathdoc.fr/item/KYB_1977_13_4_a0/
%G en
%F KYB_1977_13_4_a0
Kramosil, Ivan. Mechanized experiment planning in automaton-environment systems. Kybernetika, Tome 13 (1977) no. 4, pp. 225-244. http://geodesic.mathdoc.fr/item/KYB_1977_13_4_a0/

[1] А. Н. Богомолов В. А. Твердохлебов: Целанаправленное поведение автоматов. Наукова думка, Киев 1975. | Zbl

[2] I. M. Havel I. Kramosil: Randomized Incidental Phenomena: A New Tool for Robot Decision Making. In preparation.

[3] I. M. Havel I. Kramosil: Probabilistic Methods in Robot Decision Making. In: Celostátní konference o kybernetice, Praha, listopad 1976, sborník prací, 66-80.

[4] I. Kramosil: Statistical Estimation of Deducibility in Formalized Theories. Proceedings of the Fourth Conference on Probability Theory, 1971, Brasov, 281 - 298. | MR

[5] I. Kramosil: A Method for Statistical Testing of an at Random Sampled Formula. Kybernetika 9 (1973), 3, 162-173. | MR | Zbl

[6] I. Kramosil L. Zwinogrodzki: Statistical Methods for Comparing Theorem Proving Algorithms. Kybernetika 10 (1974), 3, 221-240. | MR

[7] I. Kramosil: A Probabilistic Approach to Automaton-Environment Systems. Kybernetika 11 (1975), 3, 173-206. | MR | Zbl

[8] I. Kramosil: A Selection-Based Formal Description of an Environment. Kybernetika 12 (1976), 3, 127-150. | MR | Zbl

[9] L. Siklóssy J. Dreussi: Simulation of Executing Robots in Uncertain Environments. Research Report TR-16, Computer Science Department, University of Texas, 1973.

[10] A. Špaček: Statistical Estimation of Provability in Boolean Logic. Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions, Random Processes, Prague 1960, 609-626. | MR

[11] O. Štěpánková I. M. Havel: A Logical Theory of Robot Problem Solving. Artificial Intelligence 7 (1976), 129-161. | MR

[12] O. Štěpánková I. M. Havel: Incidental and State-Dependent Phenomena in Robot Problem Solving. In: Proceedings of the AISB Summer Conference, Edinburgh 1976, 266 - 278. | MR