Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity
Владик Крейнович · INTELIGENCIA ARTIFICIAL · 2009
Abstract. To formalize some types of non-monotonic reasoning in physics, researchers have proposed an approach based on Kolmogorov complexity. Inspired by Vladimir Lifschitz's belief that many features of reasoning can be described on a purely logical level, we show that an equivalent formalization can be described in purely logical terms: namely, in terms of physical induction. One of the consequences of this formalization is that the set of not-abnormal states is (pre-)compact. We can therefore use Lifschitz's result that when there is only one state that satises a given equation (or system of equations), then we can algorithmically nd this state. In this paper, we show that this result can be extended to the case of approximate