Game Semantics and Linear Logic in the Cognition Process

Dmitry Maximov

A description of the environment cognition process by intelligent systems with a fixed set of system goals is suggested. Such a system is represented by the set of its goals only w…