Mechanized experiment planning in automaton-environment systems

Ivan Kramosil

Kybernetika (1977)

  • Volume: 13, Issue: 4, page (225)-244
  • ISSN: 0023-5954

How to cite

top

Kramosil, Ivan. "Mechanized experiment planning in automaton-environment systems." Kybernetika 13.4 (1977): (225)-244. <http://eudml.org/doc/28218>.

@article{Kramosil1977,
author = {Kramosil, Ivan},
journal = {Kybernetika},
keywords = {Stochastic Automata; Mechanized Experiment Planning; Propositional Logic; Learning Automata; Decision Making; Statistical Decision Theory; Automaton-Environment Systems},
language = {eng},
number = {4},
pages = {(225)-244},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Mechanized experiment planning in automaton-environment systems},
url = {http://eudml.org/doc/28218},
volume = {13},
year = {1977},
}

TY - JOUR
AU - Kramosil, Ivan
TI - Mechanized experiment planning in automaton-environment systems
JO - Kybernetika
PY - 1977
PB - Institute of Information Theory and Automation AS CR
VL - 13
IS - 4
SP - (225)
EP - 244
LA - eng
KW - Stochastic Automata; Mechanized Experiment Planning; Propositional Logic; Learning Automata; Decision Making; Statistical Decision Theory; Automaton-Environment Systems
UR - http://eudml.org/doc/28218
ER -

References

top
  1. А. Н. Богомолов В. А. Твердохлебов, Целанаправленное поведение автоматов, Наукова думка, Киев 1975. (1975) Zbl1231.90252
  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. (1976) 
  4. I. Kramosil, Statistical Estimation of Deducibility in Formalized Theories, Proceedings of the Fourth Conference on Probability Theory, 1971, Brasov, 281 - 298. (1971) MR0432414
  5. I. Kramosil, A Method for Statistical Testing of an at Random Sampled Formula, Kybernetika 9 (1973), 3, 162-173. (1973) Zbl0275.02018MR0343415
  6. I. Kramosil L. Zwinogrodzki, Statistical Methods for Comparing Theorem Proving Algorithms, Kybernetika 10 (1974), 3, 221-240. (1974) MR0345460
  7. I. Kramosil, A Probabilistic Approach to Automaton-Environment Systems, Kybernetika 11 (1975), 3, 173-206. (1975) Zbl0308.94045MR0444347
  8. I. Kramosil, A Selection-Based Formal Description of an Environment, Kybernetika 12 (1976), 3, 127-150. (1976) Zbl0329.94031MR0439294
  9. L. Siklóssy J. Dreussi, Simulation of Executing Robots in Uncertain Environments, Research Report TR-16, Computer Science Department, University of Texas, 1973. (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. (1960) MR0123477
  11. O. Štěpánková I. M. Havel, A Logical Theory of Robot Problem Solving, Artificial Intelligence 7 (1976), 129-161. (1976) MR0413627
  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. (1976) MR0468377

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.