| Title:
|
Mechanized experiment planning in automaton-environment systems (English) |
| Author:
|
Kramosil, Ivan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
13 |
| Issue:
|
4 |
| Year:
|
1977 |
| Pages:
|
(225)-244 |
| . |
| Category:
|
math |
| . |
| MSC:
|
62C99 |
| MSC:
|
68Q45 |
| MSC:
|
68T05 |
| MSC:
|
68T20 |
| MSC:
|
90A05 |
| MSC:
|
90B99 |
| idZBL:
|
Zbl 0392.68045 |
| idMR:
|
MR0469188 |
| . |
| Date available:
|
2009-09-24T16:57:14Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125063 |
| . |
| Reference:
|
[1] А. Н. Богомолов В. А. Твердохлебов: Целанаправленное поведение автоматов.Наукова думка, Киев 1975. Zbl 1231.90252 |
| Reference:
|
[2] I. M. Havel I. Kramosil: Randomized Incidental Phenomena: A New Tool for Robot Decision Making.In preparation. |
| Reference:
|
[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. |
| Reference:
|
[4] I. Kramosil: Statistical Estimation of Deducibility in Formalized Theories.Proceedings of the Fourth Conference on Probability Theory, 1971, Brasov, 281 - 298. MR 0432414 |
| Reference:
|
[5] I. Kramosil: A Method for Statistical Testing of an at Random Sampled Formula.Kybernetika 9 (1973), 3, 162-173. Zbl 0275.02018, MR 0343415 |
| Reference:
|
[6] I. Kramosil L. Zwinogrodzki: Statistical Methods for Comparing Theorem Proving Algorithms.Kybernetika 10 (1974), 3, 221-240. MR 0345460 |
| Reference:
|
[7] I. Kramosil: A Probabilistic Approach to Automaton-Environment Systems.Kybernetika 11 (1975), 3, 173-206. Zbl 0308.94045, MR 0444347 |
| Reference:
|
[8] I. Kramosil: A Selection-Based Formal Description of an Environment.Kybernetika 12 (1976), 3, 127-150. Zbl 0329.94031, MR 0439294 |
| Reference:
|
[9] L. Siklóssy J. Dreussi: Simulation of Executing Robots in Uncertain Environments.Research Report TR-16, Computer Science Department, University of Texas, 1973. |
| Reference:
|
[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 0123477 |
| Reference:
|
[11] O. Štěpánková I. M. Havel: A Logical Theory of Robot Problem Solving.Artificial Intelligence 7 (1976), 129-161. MR 0413627 |
| Reference:
|
[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 0468377 |
| . |
