Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity
Fuente:
Redalyc
Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | en |
| Published: |
Asociación Española para la Inteligencia Artificial
2009
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1876478414382170112 |
|---|---|
| author | Vladik Kreinovich |
| author_facet | Vladik Kreinovich |
| contents | Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity Vladik Kreinovich Ingeniería Non Typical Monotonic Reasoning Kolmogorov Complexity When a physicist writes down equations, or formulates a theory in any other terms, he or she 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-LÄof definition of a random sequence. The existing formalisms, however, have di±culty formalizing, e.g., the standard physicists' argument that a kettle on a cold stove cannot start boiling by itself, because the probability of this event is too small. We present a new formalism that can formalize this type of reasoning. This formalism also explains "physical induction" (if some property is true in suficiently many cases, then it is always true), and many other types of physical reasoning. 2009 artículo científico 1137-3601 https://www.redalyc.org/articulo.oa?id=92513168002 en http://www.redalyc.org/revista.oa?id=925 Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial application/pdf Asociación Española para la Inteligencia Artificial Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.41 Vol.13 |
| format | Artículo científico |
| id | redalyc_92513168002 |
| institution | Redalyc |
| language | en |
| publishDate | 2009 |
| publisher | Asociación Española para la Inteligencia Artificial |
| spellingShingle | Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity Vladik Kreinovich Ingeniería Non Typical Monotonic Reasoning Kolmogorov Complexity Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity Vladik Kreinovich Ingeniería Non Typical Monotonic Reasoning Kolmogorov Complexity When a physicist writes down equations, or formulates a theory in any other terms, he or she 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-LÄof definition of a random sequence. The existing formalisms, however, have di±culty formalizing, e.g., the standard physicists' argument that a kettle on a cold stove cannot start boiling by itself, because the probability of this event is too small. We present a new formalism that can formalize this type of reasoning. This formalism also explains "physical induction" (if some property is true in suficiently many cases, then it is always true), and many other types of physical reasoning. 2009 artículo científico 1137-3601 https://www.redalyc.org/articulo.oa?id=92513168002 en http://www.redalyc.org/revista.oa?id=925 Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial application/pdf Asociación Española para la Inteligencia Artificial Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.41 Vol.13 |
| title | Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity |
| topic | Ingeniería Non Typical Monotonic Reasoning Kolmogorov Complexity |
| url | https://www.redalyc.org/articulo.oa?id=92513168002 |