Formal approach of chance discovery theory for agents´ interaction

The core capability of an agent is it can be make a rational choice for its action decision, so the cooperation among agents is the key for state transformation in a multi-agent system (MAS). In an open and dynamic system, agents must deal with uncertain factors by model those uncertainties into simplified categories that is significant for decision-making in a specified domain. Chance discovery (CD) theory can be used to formalize, descript and study various aspects of problems in this environment. In this paper we study logical properties of operation chance discovery via structures based on hybrid temporal/modal logic. We introduce and study a logic L_k which can be as a formal tool for the description of general laws that reflect reasoning about chance discovery and can build adequate logical models for CD. Study shows that L_k is decidable.