Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity to Formalize the Notions "Typically" and "Normally" (2004)
Cached
Download Links
| Venue: | Proceedings of the Workshops on Intelligent Computing WIC’04 associated with the Mexican International Conference on Artificial Intelligence MICAI’04 |
| Citations: | 9 - 7 self |
BibTeX
@INPROCEEDINGS{Kreinovich04towardformalizing,
author = {Vladik Kreinovich},
title = {Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity to Formalize the Notions "Typically" and "Normally"},
booktitle = {Proceedings of the Workshops on Intelligent Computing WIC’04 associated with the Mexican International Conference on Artificial Intelligence MICAI’04},
year = {2004},
pages = {187--194}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
When a physicist writes down equations, or formulates a theory in any other terms, he usually means not only that these equations are true for the real world, but also that the model corresponding to the real world is "typical" among all the solutions of these equations. This type of argument is used when physicists conclude that some property is true by showing that it is true for "almost all" cases. There are formalisms that partially capture this type of reasoning, e.g., techniques based on the Kolmogorov-Martin-Lof definition of a random sequence.
