AI in Arbitrary World
In order to build AI the authors have to create a program which copes well in an arbitrary world. In this paper, they will restrict their attention on one concrete world, which represents the game Tick-Tack-Toe. This world is a very simple one but it is sufficiently complicated for their task because most people cannot manage with it. The main difficulty in this world is that the player cannot see the entire internal state of the world so he has to build a model in order to understand the world. The model which they will offer will consist of final automata and first order formulas.