<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Game Task of Ontological Project Coverage</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Petro Kravets</string-name>
          <email>Petro.O.Kravets@lpnu.ua</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vasyl Lytvyn</string-name>
          <email>vasyl.v.lytvyn@lpnu.ua</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Victoria Vysotska</string-name>
          <email>victoria.a.vysotska@lpnu.ua</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yevhen Burov</string-name>
          <email>yevhen.v.burov@lpnu.ua</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ivanna Andrusyak</string-name>
          <email>andrusyak.ivanna@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Lviv Polytechnic National University</institution>
          ,
          <addr-line>S. Bandera street, 12, Lviv, 79013</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>In this work, a multi-agent game model is developed to form virtual teams of project implementers based on subject ontology libraries. The competencies and abilities of agents required to execute projects are defined by subsets of ontologies from ontology library. Intelligent agents randomly, simultaneously and independently select one of the projects at discrete times. Agents that choose the same project determine the current composition of the team for its execution. For agent teams, the current loss is calculated for not covering the required project competencies by the agents' combined capabilities. This penalty is used to adaptively adjust mixed player strategies. The likelihood of formation of teams whose current composition has led to the reduction in the penalty for not covering ontologies is increasing. During the repetitive stochastic game, agents form vectors of mixed strategies that minimize average losses for non-coverage of projects. To solve the problem of game-based project coverage, an adaptive recurrent Markov method is developed based on a stochastic approximation of the modified condition of complementary non-rigidity, which holds in Nash equilibrium points. Computer simulation has confirmed the viability of using stochastic game model to form project teams having the necessary ontological support under uncertainty. The convergence of the game method is ensured by conforming to fundamental conditions and limitations of stochastic optimization. The validity of the experimental results is confirmed by the repeatability of results obtained for different sequences of random variables.</p>
      </abstract>
      <kwd-group>
        <kwd>1 Multi-agent system</kwd>
        <kwd>ontology</kwd>
        <kwd>project</kwd>
        <kwd>stochastic game</kwd>
        <kwd>adaptive game method</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        In today's information society with advanced means of communication through mobile devices and
computer networks, the formation of various virtual organizations and communities is relevant. Such
virtual associations of people for professional or other interests are intended to solve promptly and
efficiently a variety of problems, such as completing regular project tasks, creating start-ups for
attracting investors, organizing network marketing or distance learning, solving complex issues in
science, economics and public administration, building various Internet services, discussing political
and social processes, etc. [
        <xref ref-type="bibr" rid="ref1 ref2 ref3">1 - 3</xref>
        ].
      </p>
      <p>Virtual communities as project execution teams provides such advantages as geographical
distribution, decentralization, lack of departmental barriers, high mobilization ability, integration of
the best experience and modern technologies for the implementation of project, the possibility to
attract specialists with diverse expertise, resulting in the creation of favorable conditions for
professional partnership. Furthermore, they provide better coordination of efforts to achieve the goal,
competitiveness, prompt resolution of urgent problems, flexibility of structure and function,
adaptability to changes in the outside world, remote access to computing and information resources.</p>
      <p>
        The modeling of the dynamics of virtual associations in a distributed environment can performed
using multi-agent systems [
        <xref ref-type="bibr" rid="ref4 ref5 ref6 ref7">4 - 7</xref>
        ]. An agent is an informational object with elements of artificial
intelligence that can make autonomous decisions, interact with other agents and a human person to
achieve its goal. A group of such agents that solve a common problem in a computer information
network is called a multi-agent system.
      </p>
      <p>
        In order to accomplish their task the agents need to have some knowledge in one or more subject
areas represented formally in the form of ontologies. Interacting with each other, agents can query,
compare ontologies, and integrate them to gain new knowledge, intersect ontologies to discover
shared knowledge, enrich or correct them. [
        <xref ref-type="bibr" rid="ref10 ref11 ref12 ref8 ref9">8 - 12</xref>
        ].
      </p>
      <p>Generally, agents' knowledge is highly specialized. Several ontologies, which describe different
subject areas, are usually required to complete the project. On the other hand, for the full intellectual
and informational support of the project, the agents must be able to form teams (communities, groups,
coalitions). A team is a community of agents formed to reach a goal or to accomplish a task using
shared knowledge and collaboration. In order for the project to be successful, the combined
capabilities of the agent team in knowledge of domain-specific ontologies must cover the
competencies required to complete the project. In addition, the team facilitates the organization and
coordination of agents, decreases the complexity of the communication process and reduces the
reaction time when changes in the information environment occur.</p>
      <p>
        In order to create a team, agents must be able to find and identify each other on the network by
negotiating goals and attributes. Centralized team formation limits agent autonomy and is problematic
when using distributed data sources. Ideally, ontology agents should be able to group themselves
based on self-organizing mechanisms because their coordinated interaction and the application of
adaptive decision-making rules using only local information [
        <xref ref-type="bibr" rid="ref13 ref14 ref15">13 - 15</xref>
        ].
      </p>
      <p>Ontological project support is a dynamic process with elements of uncertainty, coming from not
clearly defined goals, uncertain initial data, changes in the process of project implementation,
development of ontologies over time, imperfect knowledge of project contractors, uncontrolled
external factors. [16 - 19]. Therefore, ontology agents involved in project implementation must built
as adaptive, self-learning systems.</p>
      <p>Multi-agent support for virtual communities has received considerable attention in the current
scientific literature [20 - 22]. However, the problem of adaptive ontology project coverage based on
the formation of teams of agents with problem-oriented knowledge is not sufficiently researched.</p>
      <p>Project coverage belongs to the class of NP-complex combinatorial optimization problems.
Approximate algorithms, such as greedy, genetic, ant colony, artificial neural networks, and others
[23 - 28] are used to solve such problems in the allowed polynomial time.</p>
      <p>In this paper, we propose a new method of approximating the solution of the problem of project
coverage based on the results of stochastic game theory [29 - 31]. The formation of agent teams to
execute projects is formulated as a competitive task of securing an agent for one of the projects. In the
process of finding the optimal coverage, it is possible to move an agent from one project to another,
which may temporarily disrupt the ontological support of the project and make it impossible to
execute. Competition problems are studied by game theory and under uncertainty by stochastic game
theory. A discrete deterministic game can solved in a finite number of computational steps. Discrete
stochastic repetitive game unfolds for an unlimited period. This game provides multi-step adaptive
search for one of the solutions of the problem with a given accuracy and within practically acceptable
time limit. It can used to solve deterministic or stochastic multiple-criteria optimization problems, but
it is especially useful and efficient in stochastic uncertainty conditions, when a complete iteration over
variants cannot performed due to random response of a controlled system to the choice of the same
strategy at different times. The adaptive stochastic game mechanism compensates for the lack of a
priori information by collecting and processing current data at each step of the game. Considering the
presence of competitive goals and a priori uncertain factors in project management, it is important to
apply stochastic game methods for ontological support of projects.</p>
      <p>The purpose of this work is to develop a self-learning game model for ontological project support
by forming teams of agents in an uncertain environment.</p>
      <p>To achieve this goal it is necessary to do the following:
• Formulate a stochastic game problem of covering projects by ontology agents,
• Create an adaptive method and algorithm for game problem solution,
•
•</p>
      <p>Develop a computer program model of game-based selection of ontology agents to execute
projects,</p>
      <p>Analyze and discuss the results obtained.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Mathematical model of stochastic game</title>
      <p>Let’s start with a library of ontologies  = {O1, O2 ,..., Oq} , where each element specifies
knowledge in specific subject area. It is required to organize the development of m projects
 = {1, 2 ,..., m} with corresponding ontological support. Each project has an associated set of
ontological knowledge (competence) i = {O1, O2,..., Or}   , required for its execution.</p>
      <p>The set of agents A = {A1, A2 ,..., An} , n  m defines the qualified labor on the market. The
capabilities of each agent are determined by a set of ontologies Ai = {O1i , O2i ,..., Osi}   . In general
case, Ai  Aj   , so the agents can have the same capabilities in one or several knowledge areas.</p>
      <p>Let’s assume the completeness of the capabilities for the set of agents and set of competencies
required to execute projects. Without loss of generality, we will assume also that the knowledge of all
agents covers the library of ontologies AiA Ai =  , required for projects execution  k =  .
k
Therefore, the agents’ ontological knowledge is sufficient for all projects execution.</p>
      <p>We will need to form a set of virtual agent teams  = {G1, G2 ,..., Gm} for the execution of all
projects. Each team corresponds to the agent group Gk = {A1k , A2k ,..., Agk } , k = 1..m , where
k=1..m Gk = A , Gk k j G j =  . The capabilities of the agent teams must meet the competency
requirements for the respective projects.</p>
      <p>The formation of virtual teams of agents will performed by the stochastic game method, which is
specified by a tuple</p>
      <p>( A,U i , i |Ai  A) ,
where A – is the set of agents or players; U i = {u1i , u2i ,..., umi} – is the set of pure strategies of player
i , which determines his affiliation with one of the teams; i :U → R1 – the cost function of player i ;
U =  U i – set of combined strategies obtained by the joint choice of all players..</p>
      <p>AiA</p>
      <p>Agents can choose one of the teams themselves. Possible choices are given by strategy vectors
U i . The choices are made independently and randomly at times t = 1, 2,... . An agent Ai  A is
included in group Gk , if its selected pure strategy uti corresponds to the strategy of the group utk :
Gk =   (uti = utk )  Ai , k = 1..m ,</p>
      <p>
        AiA
tk [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] = k \ AkjGk Akj
k , k = 1..m ,
where |  | – is the cardinality of the set, i   ,  tk [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ][
        <xref ref-type="bibr" rid="ref1">0,1</xref>
        ] .
where  () {0,1} – indicator event function, 1 Ai = Ai , 0  Ai =  .
      </p>
      <p>A prerequisite for successful completion of the project is its full ontological support by a team of
agents. The capabilities of the agent team should cover the competencies required to complete the
project:</p>
      <p>It is advisable to ensure the perfect coverage of all projects, when  =  .</p>
      <p>For the breach of project coverage, a penalty is assigned, which the relative number of uncovered
project ontologies (dimensionless value) measures:</p>
      <p>
AkjGk</p>
      <p>Akj  k , k = 1..m .
(1)
(2)
(3)
(4)</p>
      <p>The formula (4) does not rule out the possibility that all agents will select one or more projects and
the remaining projects will remain uncovered. Thus, by selecting only one of the projects, the agents
knowingly (due to the completeness of the ontology library's coverage of the agents' capabilities and
competencies required to execute the projects) ensure its coverage and receive a minimum loss, which
further encourages them to remain on the project. Therefore, such an assessment is insufficient when
all projects coverage is required.</p>
      <p>Since several agents may have knowledge of the same subject areas, the problem of combinatorial
optimization appears related to the minimum required project coverage. This problem belongs to the
class of NP-complex problems.</p>
      <p>
        Instead of solving the complex problem of minimum coverage of sets, we introduce a payment for
deviation from the planned cost of the project (dimensionless relative value):
 tk [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] = (C (k ) − C (k )) max C (k ) , C (k ) ,
      </p>
      <p>AkjGk
where C ( ) =
k</p>
      <p>
         C ( Akj ) – is the cost of coverage for project k , C ( Akj )  0 – is the cost of
services of agent j , taking part in execution of project k (self-assessment of the agent's abilities in
monetary terms), C ( )  0 – is the cost of execution of project k ,  tk [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] [
        <xref ref-type="bibr" rid="ref1">−1,1</xref>
        ] .
      </p>
      <p>k</p>
      <p>
        If  tk [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]  0 , then we have an incentive (a negative penalty), otherwise – a penalty. This
encourages the selection of a team of agents with a minimum total cost of services offered.
      </p>
      <p>If the total cost of the offered services exceeds the planned cost of the project, the selection of such
team members will penalized. Thus we avoid the ontological over-coverage of the project by team of
the contractors (within the project's estimated cost), or otherwise by duplication of the capabilities of
the agents who selected the specific project.</p>
      <p>
        The combined fine for failure to organize the project k implementation consists of penalties (4)
 tk [
        <xref ref-type="bibr" rid="ref1">−1,1</xref>
        ] .
(6):
where  [
        <xref ref-type="bibr" rid="ref1">0,1</xref>
        ] – is the weight coefficient,  t – is the random value (additive white Gaussian
noise), which reflects the stochastic uncertainty of the task. If t = 0 t = 1, 2,... , then current loss
      </p>
      <p>
        All agent of the team Gk , taking part in the execution of project k , obtain the same current loss
and (5):
 tk =  tk [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] + (1−  ) tk [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] + t ,
 ti =  tk
Ai  G , Gk   .
      </p>
      <p>k</p>
      <p>We assume that random losses { ti (u)} of players are independent u U , i = 1..m , t = 1, 2,... ,
have
a
constant
mean
value</p>
      <p>E{ ti (u)} = v(u) = const
and limited
second
moment
sup E{[ ti (u)]2} =  2 (u)   . The stochastic parameters of random losses are not known by players
t
apriori.</p>
      <p>
        The course of the game is evaluated by the functions of the average losses of the agents:
1 t
Zti =  i = it [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] + (1−  )it [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] + t Ai  A , (8)
      </p>
      <p>
        t  =1
where it [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] =
project, it [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] =
1 t
      </p>
      <p>
        i[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] – is the average losses function for insufficient ontological support for the
t  =1
1 t
      </p>
      <p>
        i[
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] – is the average losses function for deviation from the projected cost of
t  =1
(5)
(6)
(7)
      </p>
      <p>Thus, the stochastic game of ontological support for projects is as follows. By calculating current
losses{ ti} , each player Ai  A should learn how to choose the pure strategies {uti} to ensure that
the criteria system (9) is met over time: t = 1, 2,... .</p>
      <p>The quality of the formation of agent teams in game is evaluated by the following characteristics:
1) the system function of the average losses of a multi-agent system:</p>
      <p>
        1 n
Zt =  Zti = t [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] + (1 −  )t [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] + t ,
n i=1
(10)
1 n
      </p>
      <p>
         it [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] – is the systemic component of losses
n i=1
1 n
      </p>
      <p>
         it [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] – is the systemic component of losses
n i=1
where n – is the number of agents, t [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] =
reflecting the lack of project coverage, t [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] =
reflecting the deviation from project cost balance;
2) the average norm for players’ mixed strategies:
      </p>
      <p>1 t n
t =  </p>
      <p>nt  =1 i=1
where   R1 – is the Euclidean vector norm.
pi ,</p>
      <p>Game solutions should satisfy one of the conditions of equilibrium, such as Nash, Pareto, or
another, depending on the method of strategy sequencing{uti}Ai  A .</p>
    </sec>
    <sec id="sec-3">
      <title>3. Stochastic game solving method</title>
      <p>
        We are creating the sequences of pure strategies {uti} necessary for the solution of the game task
based
on
random
distributions,
obtained
from
dynamic
vectors
of
mixed
strategies pti = ( pti[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], pti[
        <xref ref-type="bibr" rid="ref2">2</xref>
        ],... pti[m]) i  D , which contain the conditional probabilities of agent
i being in team k :
      </p>
      <p>pti[k ] = P uti = ui[k ] ui , i ( = 1, 2,..., t −1) , k = 1..m ,
where {ui } – is the history of strategies chosen by player i ; { i } – is the history of losses associated
with those choices.</p>
      <p>We construct the stochastic game solving method on the basis of a stochastic approximation of the
complementary non-rigidity of the deterministic game, which holds for mixed strategies at Nash
equilibrium points [32].</p>
      <p>To do this, we define the polylinear function of the average losses for the deterministic game:
V i ( p) =  vi (u) p j (u j ) , (13)
uU</p>
      <p></p>
      <p>AjA;u ju
where v(u) = M { ti (u)} .</p>
      <p>Then the condition of complementary non-rigidity in the vector form will look like:
 piV i ( p) − emV i ( p) = 0 Ai  A ,
(11)
(12)
where diag ( pi ) – is square diagonal matrix of order m , comprised of elements of vector p i</p>
      <p>diag ( pi )[ piV i − emV i ] = E{ ti[e(uti ) − pti ] | pti = pi} ,
and using the stochastic approximation method [34 – 36] we get such recurrent expression:
pti+1 =  m  pti − t ti (e(uti ) − pti ) Ai  A ,</p>
      <p>t+1
where E – is the sign for mathematical mean;  mt+1 – is projection on m -dimensional unitary simplex
S m [33];  t  0 and  t  0 – is monotonically declining sequences of positive numbers; e(ut i ) – is
a vector indicating the agent’s choice of pure strategy uti = u i U i .</p>
      <p> m</p>
      <p>t+1
The projection
on
expendable
 t -simplex</p>
      <p>S m
t+1
 S m
ensures the adherence to
condition pti[k ]   t , k = 1..m , necessary for completeness of statistical information on the choice of
pure strategies, and parameter  t → 0 is used as an additional control element for the recurrent
where  piV i ( p) – is the gradient of polylinear function of average losses; em = ( (1)k | k = 1..m) – is
the all-ones vector; p  S M – is a combined mixed strategy set on a unitary simplex S M ( M = mn ).</p>
      <p>To account for solutions on the boundaries of unitary simplex, let us weigh the complementary
nonrigidity vector by the elements of the mixed strategy vector:
diag ( pi ) ( iV i ( p) − emV i ( p)) = 0 ,
p
(15)
(16)
(17)
(18)
(19)
method convergence.</p>
      <p>Parameters  t and  t can calculated as follows:</p>
      <p> t =  t − ,  t =  t − ,</p>
    </sec>
    <sec id="sec-4">
      <title>4. Stochastic game solving algorithm</title>
      <p>Step 1. Set the initial parameter values:
where   0 ;   0 ;   0 ;   0 .</p>
      <p>The convergence of mixed strategies (17) to optimal values with probability 1 and in RMS sense is
determined by the ratios of parameters  t and  t , those that must satisfy the fundamental conditions
of stochastic approximation [33 - 35].</p>
      <p>The choice of pure strategy uti[k ] Ai  A is accomplished by players based on dynamic random
distribution (17):</p>
      <p> k 
k = arg  min  pti (uti[ j])    {1..m},</p>
      <p>
         k =1..m j=1 
where  [
        <xref ref-type="bibr" rid="ref1">0, 1</xref>
        ] – is the real random number with a uniform distribution.
      </p>
      <p>Stochastic game begins with untrained mixed strategies with element values
p0i[k ] = 1/ m ,
where k = 1..m . Later, the dynamics of vectors of mixed strategies are determined by the Markov
recurrent method (17) – (19).</p>
      <p>Therefore, in moments of time t = 1, 2,... each player using the mixed strategy pti selects the pure
strategy uti (19) and up to the time moment t +1 gets current losses  ti (7). After this, it calculates
the mixed strategy pti+1 according to (17) – (18).</p>
      <p>
        Due to the purposeful dynamic restructuring of mixed strategies based on the processing of current
losses, method (17) - (19) provides an adaptive choice of pure strategies over time.
t = 0 – is starting time moment;
m – is the number of projects, or the number of virtual teams, or the number of pure strategies of
game agents;
n – is the number of agents;
 = {O1, O2 ,..., Oq} – is the library of ontologies;
k = {O1, O2 ,..., Or}   , k = 1..m – is the sets of ontological domain knowledge or competencies,
needed for project execution;
Ai = {O1i , O2i ,..., Osi}   , i = 1..n – is the sets of ontologies, describing the capabilities of agents;
C ( ) = (C(1), C( 2 ),..., C( m )) – is the costs of projects;
C ( A) = (C( A1), C( A2 ),..., C( An ) ) – is the costs of services, provided by agents;
U i = {u i[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], u i[
        <xref ref-type="bibr" rid="ref2">2</xref>
        ],..., u i[m]}, i = 1..n – is the vectors of pure strategies for agents;
p0i = ((1/ m)k k = 1..m) , i = 1..n – is the initial values for agent’s mixed strategies;
  0 – is parameter of learning step;
  (0,1] – is learning step order coefficient;
 – is parameter of  -simplex;
  0 – is expansion order factor for -simplex;
 [
        <xref ref-type="bibr" rid="ref1">0,1</xref>
        ] – is weight coefficient;
tmax – is the maximal number of steps for method.
      </p>
      <p>Step 2. Choose the pure strategies (teams) uti U i of agents i = 1..n according to (19).
Step 3. Calculate the current losses values  ti , i = 1..n according to (7).</p>
      <p>Step 4. Calculate the values of parameters  t and  t according to (18).</p>
      <p>Step 5. Calculate the elements of mixed strategies vectors pti , i = 1..n according to (17).
Step 6. Calculate the quality characteristics Z t (10) and  t (11) of project coverage.
Step 7. Move to the next time moment t := t +1 .</p>
      <p>Step 8. If t  tmax , than continue from step 2, otherwise – game is completed.</p>
    </sec>
    <sec id="sec-5">
      <title>5. A test case</title>
      <p>Agents need to be selected to carry out two projects  = {1,  } with ontological library
2
 = {O1, O2 , O3, O4 , O5}. Knowledge (competencies) required for the execution of projects are given
by sets of ontologies: 1 = {O1, O3 , O5} , 2 = {O2 , O4} . The applicants for participation in projects
are described by the set of agents A = {A1, A2 , A3, A4 , A5, A6} . For each agent the subset of
ontologies, describing its capabilities is given: A1 = {O1, O2} ,
A2 = {O2 , O3} ,</p>
      <p>A3 = {O3, O4},
A4 = {O4 , O5} , A5 = {O1, O4} , A6 = {O2 , O5} . The planned costs for the implementation of projects
are C ( ) = (10000, 6000) money units. The cost of skilled labor in the labor market is determined
by this array C ( A) = ( 4000, 2500,1500, 3500, 2500, 2000) .</p>
      <p>It is needed to form two virtual teams of agents  = {G1, G2}, with ontological knowledge
covering every project with project cost constraints C (  )  C () , where C (  ) – is the array of
project coverage costs.</p>
      <p>The ontological support of projects problem can have several solutions. For a considered test case
such options of project coverage are possible    :</p>
      <p>All options provide redundant coverage of both projects by teams of agents representing
ontologies. Redundant coverage is determined by external circumstances, because agents have
knowledge of more than one subject area.</p>
      <p>Options 1 and 9 determine the quasi-optimal solution of the problem because they are constrained
by the cost of projects, but in both cases, there is redundancy of project coverage by agent groups:
• option 1:
•</p>
      <p>option 9:
1(G1) = A1  A2  A4 = {O1, O2 , O3, O4 , O5}   ,
1
2 (G2 ) = A3  A5  A6 = {O1,O2 ,O3,O4 ,O5}   ,
2
1(G1) = A1  A3  A5  A6 = {O1, O2, O3, O4, O5}   ,
1
2 (G2 ) = A2  A4 = {O2 , O3, O4 , O5}   .</p>
      <p>2</p>
      <p>In addition, if multiple agents have knowledge of the same subject area, competition may arise
within the team for applying this knowledge to the project. Thus, in option 1, agents A1 and A2 from
group G1 compete on the ontology O2 application to execute the project 1 , and agents A3 and A5
from group G2 compete on the ontology O4 for project 2 execution. In option 9, in group G1
executing project 1 there is competition for the use of ontology O4 by agents A1 and A5 , the use of
ontology O2 by agents A1 and A6 , the use of ontology O4 by agents A3 and A5 . An alternative to
competition is the cooperation and mutual enhancement of agents' knowledge in the same subject
area. Options 2 – 4, 6, 7 exceed the cost of the project G2 . In options 5, 8, 10 – 13, the project
G1 implementation cost is exceeded.</p>
      <p>The game algorithm must learn how to choose one of the described project coverage options
(within their stated cost) by the contracting agents, which have the necessary knowledge the form of
ontology sets.</p>
    </sec>
    <sec id="sec-6">
      <title>6. The results of computer simulation</title>
      <p>Computer simulation was performed using game method (17) – (19) with such parameters:
U i = {u1i , u2i} ,  = 1,  = 0.999 / m ,  = 0.01,  = 2 ,  = 0.5 , tmax = 104 .</p>
      <p>
        Fig. 1 and fig. Fig. 2 present, on a logarithmic scale, the graphs of the functions of the average
losses of players Z t , t [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] , t [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] , and the average norm of mixed strategies  t that characterize the
convergence of the stochastic game of ontological project support. The choice of logarithmic scale is
due to the need for a compact representation of simulation results with a large range of values.
Exceptions when the current values of the game's characteristic functions are less than zero or equal to
zero, were programmatically processed for the logarithmic scale.
      </p>
      <p>
        As can be seen in Fig. 1 and fig. 2, the game method (17) – (19) minimizes the average losses
functions Z t , t [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] , t [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] over time. The function of average norm of mixed strategies  t reaches
logarithmic zero, which illustrates how the game is solved in pure strategies
      </p>
      <p>
        The linear (on logarithmic scale) drop in the graphs of the players' systemic losses functions Z t ,
t [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] , t [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] shown on Fig. 1a, indicates the achievement of a quasi-optimal solution of the ontology
project coverage problem. The computer simulation shows that in almost 90% of the experiments,
methods (17) – (19) provide a quasi-optimal coverage corresponding to options 1 or 9.
      </p>
      <p>
        For other permissible coverage options, for example, for option 10, the value of the average loss
function t [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] for project coverage deviations decreases linearly, indicating that all projects are
covered (Fig. 1b). The value of the average losses function t [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] for disrupting the projects’ cost
balance goes to a stable value, which indicates the deviation of project implementation costs from the
projected cost.
      </p>
      <p>The convergence of game method (17) – (19) to the optimal collective solution depends on the
accuracy of its parameters tuning, the ratios of which should satisfy the fundamental requirements of
stochastic approximation. It has been experimentally found that reducing the parameter  (0, 2]
slows down the rate of expansion of the  -simplex and leads to an increase in the number of
stochastic game steps required to find one of the project coverage options. A similar effect is observed
with the increase of the parameter   (0,1] , which accelerates the decrease of the search step of the
recurrent method. In other words, for the implemented recurrent transformation (17) with the stated
method of formation of penalties (7), the expansion of the  -simplex should be fast enough, and the
reduction of the search step should be slow. The rapid extension of the  -simplex practically does not
limit the magnitude of the search method step. The initially large value of the search step leads to
significant dynamics of mixed strategy vectors, enabling players to randomly choose other pure
strategies (moving from one project to another), looking for the optimal ontology coverage of the
projects. Over time, the magnitude of the search step becomes smaller, and the dynamics of vectors of
mixed strategies stabilize, securing the formed agent teams to execute specific projects.</p>
      <p>
        The progress of stochastic game under the conditions of interference is shown in Fig. 2. The
stochastic uncertainty of project coverage is given by a normal distribution t ~ Normal(e, d ) with
mathematical expectation e = 0 and variance d = 0.25 . The empirical normal distribution is obtained
using the formula:
 12 
t = e + d   j,t − 6  ,
 j=1 
where  [
        <xref ref-type="bibr" rid="ref1">0,1</xref>
        ] – is a real random number with uniform distribution.
(20)
      </p>
      <p>The effect of random noise causes an irregularity in the magnitude of the search step of the
recurrent method, which at each step of the stochastic game changes further in proportion to the
variance of the interference. This is reflected in the form of a systemic average losses function Z t ,
which behaves as a more pronounced random process.</p>
      <p>The additional randomization of current losses with white Gaussian noise with small variance (for
example, d = 0.25 ) does not have a significant impact on the learning outcome of the stochastic
game. However, increasing the variance of noise causes the solution process to be slowed down or
makes it impossible to reach the solution.</p>
    </sec>
    <sec id="sec-7">
      <title>7. Conclusions</title>
      <p>In today's information society with advanced telecommunications through mobile devices and
computer networks, it is important to form a variety of virtual organizations and communities. Such
virtual associations of people by professional or other interests are designed to quickly solve various
tasks: to perform project tasks, create start-ups to attract investors, network marketing, distance
learning, solving complex problems in science, economics and public administration, construction of
various Internet services, discussion of political and social processes, etc. Objective of the study is to
develop an adaptive Markov recurrent method based on the stochastic approximation of the modified
condition of complementary non-rigidity, valid at Nash equilibrium points for solving the problem of
game coverage of projects. This paper proposes a new self-learning game based method of forming
virtual agent teams to execute projects under uncertainty. At the beginning of the game, mixed game
agent strategies are untrained and provide an equal choice of projects. The agent training process
consists in the purposeful change of vectors of mixed strategies at each step of the game in order to
minimize the functions of average losses for insufficient ontological support for projects. At the final
stage of learning a stochastic game, stabilization of mixed strategies of agents occurs. The elements of
the learned mixed strategies set the probabilities of agents belonging to one of the teams. The result of
the game is the formation of teams of agents whose ontological knowledge covers the competencies
needed to complete the projects. The adaptive multi-step stochastic game solving method is based on a
stochastic approximation of the modified Nash equilibrium complementary non-rigidity condition. The
convergence of the game is determined by the fundamental conditions of stochastic approximation and
depends on the size of the game (number of players and strategies) and the ratios of the parameters of
the recurrent solution method. The proposed method is based on the processing of reactions of the
game environment under a priori uncertainty and therefore has a slow convergence rate, offset by the
high computing power of modern computer systems.</p>
      <p>In this work the multi-agent game model for formation of virtual teams of executors of projects
based on libraries of subject ontologies is developed. The competencies and abilities of agents
required to carry out projects are specified by sets of ontologies. Intelligent agents randomly,
simultaneously and independently choose one of the projects at discrete times. Agents who have
chosen the same project determine the current composition of the team of its executors. For agents'
teams, a current penalty is calculated for insufficient coverage of competencies by the combined
capabilities of agents. This penalty is used to adaptively recalculate mixed player strategies. The
probabilities of selecting those teams whose current composition has led to a reduction in the fine for
non-coverage of ontologies are increasing. During the repetitive stochastic game, agents will form
vectors of mixed strategies that will minimize average penalties for non-coverage of projects.</p>
      <p>For solve the problem of game coverage of projects, an adaptive Markov recurrent method based
on the stochastic approximation of the modified condition of complementary non-rigidity, valid at
Nash equilibrium points, was developed.</p>
      <p>Computer simulation confirmed the possibility of using the stochastic game model to form teams
of project executors with the necessary ontological support in conditions of uncertainty. The
convergence of the game method is ensured by compliance with the fundamental conditions and
limitations of stochastic optimization. The reliability of experimental studies is confirmed by the
repeatability of the results obtained for different sequences of random variables.</p>
      <p>The disadvantage of the proposed game method is that, in general, it does not guarantee perfect
coverage, since it does not provide the elimination of agents whose capabilities are excessive for
project execution. Alternatively, as a solution, the additional dummy projects could created with
proposals that will be attractive to the redundant workforce from other projects.</p>
    </sec>
    <sec id="sec-8">
      <title>8. References</title>
      <p>[16] O. Perminova-Harikovski, M. Gustafsson, K. Wikstrom, Defining Uncertainty in Projects – A
New Perspective, volume 26(1) of International Journal of Project Management, 2008, pp. 73-79.
doi: 10.1016/j.ijproman.2007.08.005.
[17] E.Z.H. Zheng, M.M. Carvalho, Managing Uncertainty in Projects: A Review, Trends and Gaps,
vol. 7(2) of Revista de Gestao e Projetos GeP. Journal of Business and Projects, 2016, pp. 95-99.
[18] D. Cleden, Managing Project Uncertainty (Advances in Project Management). 1st Edition.</p>
      <p>Routledge, 2017.
[19] K. Macedo, M. Marinho, S. Santos, Uncertainty Management in Software Projects: A Case</p>
      <p>Study in a Public Company. Journal of Convergence Information Technology 14(1)(2019) 61-67.
[20] V. Bryl, P. Giorgiani, S. Fante, ToothAgent: A Multi-agent System for Virtual Communities
Support. In: Kolp M., Henderson-Sellers B., Mouratidis H., Garcia A., Ghose A.K., Bresciani P.
(eds) Agent-Oriented Information Systems IV. AOIS 2006, volume 4898 of Lecture Notes in
Computer Science, Springer, Berlin, Heidelberg, 2008, pp. 212-230. doi:
https://doi.org/10.1007/978-3-540-77990-2_13.
[21] M. Fahad, O. Boissier, P. Maret, N. Moalla, C. Gravier, Smart Places: Multi-Agent based Smart
Mobile Virtual Community Management System, volume 41 (4) of Applied Intelligence,
Springer Verlag, Germany, 2014, pp. 1024-1042. doi: 10.1007/s10489-014-0569-2.
hal01015456.
[22] Y. Lee, Q. Chong, Multi-agent Systems Support for Community-Based Learning, volume 15(1)
of Interacting with Computers, 2003, pp. 33-55. doi:
https://doi.org/10.1016/S09535438(02)00057-7.
[23] M. Hidalgo-Herrero, P. Rabanal, I. Rodriguez, F. Rubio, Comparing problem solving strategies
for NP-hard optimization problems, vol. 124 (1-2) of Fundamenta Informaticae, 2013, pp. 1-25.
[24] S.M. Abdulrahman, Using Swarm Intelligence for Solving NP-hard Problems, volume 6 (3) of</p>
      <p>Academic Journal of Nawroz University, 2017, pp. 46-50.
[25] X. Huang, A polynomial-time algorithm for solving NP-hard problems in practice, volume 34 (1)
of ACM SIGACT News, 2003, pp. 101-108.
[26] B. Reus, How to Solve NP-Complete Problems. In: Limits of Computation. Undergraduate
Topics in Computer Science, Springer, Cham, 2016, pp. 275-297. doi:
https://doi.org/10.1007/978-3-319-27889-6_21.
[27] G. Panchal, D. Panchal, Solving NP hard Problems using Genetic Algorithm, volume 6 (2) of</p>
      <p>International Journal of Computer Science and Information Technology, 2015, pp. 1824-1827.
[28] M. Prates, P.H.C. Avelar, H. Lemos, L.C. Lamb, M.Y. Vardi, Learning to solve NP-complete
problems : A graph neural network for decision TSP. Proceedings of the AAAI Conference on
Artificial Intelligence, volume 33, 2019, pp. 4731-4738. doi : 10.1609/aaai.v33i01.33014731
[29] L. Chyrun, E. Leshchynskyy, V. Lytvyn, A. Rzheuskyi, V. Vysotska, Y. Borzov, Intellectual
analysis of making decisions tree in information systems of screening observation for
immunological patients, CEUR Workshop Proceedings 2488 (2019) 281–296.
[30] M. Ummels, Stochastic Multiplayer Games: Theory and Algorithms. Amsterdam University</p>
      <p>Press, 2014.
[31] V. Ungureanu, Pareto-Nash-Stackelberg Game and Control Theory: Intelligent Paradigms and</p>
      <p>Applications, Springer, 2018. doi : 10.1007/978-3-319-75151-1
[32] S. K. Neogy, R. B. Bapat, D. Dubey, Mathematical Programming and Game Theory. Springer,
2018. doi : 10.1007/978-981-13-3059-9
[33] A. Rzheuskyi, O. Kutyuk, V. Vysotska, Y. Burov, V. Lytvyn, L. Chyrun, The Architecture of
Distant Competencies Analyzing System for IT Recruitment, in: Proceedings of the 14th
International Scientific and Technical Conference on Computer Sciences and Information
Technologies, CSIT 2019, 2019, pp. 254–261.
[34] H. Kushner, G. G. Yin, Stochastic Approximation and Recursive Algorithms and Applications.</p>
      <p>Springer Science &amp; Business Media. 1997. doi : 10.1007/978-1-4899-2696-8
[35] A. Benveniste, M. Metivier, P. Priouret, Adaptive Algorithms and Stochastic Approximations,</p>
      <p>Springer-Verlag Berlin Heidelberg, 1990. doi : 10.1007/978-3-642-75894-2
[36] V. Lytvyn, V. Vysotska, V. Mykhailyshyn, A. Rzheuskyi, S. Semianchuk, System Development
for Video Stream Data Analyzing. Advances in Intelligent Systems and Computing 1020 (2020)
315–331.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>IGI</given-names>
            <surname>Global</surname>
          </string-name>
          ,
          <article-title>Virtual Communities: Concepts, Methodologies, Tools and Applications (4 Volumes)</article-title>
          .
          <source>Information Resources Management Association (USA)</source>
          ,
          <year>2011</year>
          . doi:
          <volume>10</volume>
          .4018/978-1-
          <fpage>60960</fpage>
          -100-3.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>T.</given-names>
            <surname>Hutchings</surname>
          </string-name>
          , Real Virtual Community, volume
          <volume>35</volume>
          (
          <article-title>2</article-title>
          ) of Word &amp; World,
          <year>2015</year>
          , pp.
          <fpage>151</fpage>
          -
          <lpage>161</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>A.</given-names>
            <surname>Roy</surname>
          </string-name>
          ,
          <article-title>A Typology of Virtual Communities on the Internet: Contingency Marketing Approaches</article-title>
          .
          <source>Proceedings of the First International Academic Research Conference on Marketing &amp; Tourism</source>
          , MTCI15Dubai Conference, Dubai-UAE,
          <fpage>22</fpage>
          -24 May,
          <year>2015</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>11</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>G.</given-names>
            <surname>Weiss</surname>
          </string-name>
          ,
          <source>Multiagent Systems. Second Edition</source>
          . The MIT Press,.
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>A</given-names>
            ,
            <surname>Byrski</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Kisiel-Dorohinicki</surname>
          </string-name>
          ,
          <source>Evolutionary Multi-Agent Systems: From Inspirations to Applications</source>
          . Springer,
          <year>2017</year>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>319</fpage>
          -51388-1
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>N.</given-names>
            <surname>Radley</surname>
          </string-name>
          ,
          <string-name>
            <surname>Multi-Agent Systems</surname>
          </string-name>
          - Modeling, Control, Programming,
          <source>Simulations and Applications</source>
          . Scitus
          <string-name>
            <surname>Academics</surname>
            <given-names>LLC</given-names>
          </string-name>
          ,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>F.</given-names>
            <surname>Dignum</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Bradshaw</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.G.</given-names>
            <surname>Silverman</surname>
          </string-name>
          , W. Doesburg,
          <article-title>Agent for Games and Simulations: Trends in Techniques, Concepts</article-title>
          and
          <source>Design</source>
          . Springer,
          <year>2009</year>
          . doi :
          <volume>10</volume>
          .1007/978-3-
          <fpage>642</fpage>
          -11198-3
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>P.</given-names>
            <surname>Kravets</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Burov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Lytvyn</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Vysotska</surname>
          </string-name>
          , Gaming Method of Ontology Clusterization, volume
          <volume>16</volume>
          (
          <article-title>1</article-title>
          ) of Webology,
          <year>2019</year>
          , pp.
          <fpage>55</fpage>
          -
          <lpage>76</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>D.</given-names>
            <surname>Stuart</surname>
          </string-name>
          ,
          <article-title>Practical Ontologies for Information Professionals</article-title>
          .
          <source>Facet Publishing</source>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Aleman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. J.</given-names>
            <surname>Somodevilla</surname>
          </string-name>
          ,
          <article-title>A proposal for domain ontological learning</article-title>
          , volume
          <volume>133</volume>
          of Research in Computing Science,
          <year>2017</year>
          , pp.
          <fpage>63</fpage>
          -
          <lpage>70</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>C. M. Keet</surname>
          </string-name>
          , An introduction to Ontology Engineering,
          <year>2018</year>
          , http://hdl.handle.net/11427/28312.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>C.</given-names>
            <surname>Thomas</surname>
          </string-name>
          , Ontology in Information Science. IntechOpen,
          <year>2018</year>
          . doi:
          <volume>10</volume>
          .5772/65599.
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Sun</surname>
          </string-name>
          ,
          <article-title>Cooperative Coordination and Formation Control for Multi-agent Systems</article-title>
          . Springer,
          <year>2018</year>
          . doi :
          <volume>10</volume>
          .1007/978-3-
          <fpage>319</fpage>
          -74265-6
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>S.</given-names>
            <surname>Yang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.-X.</given-names>
            <surname>Xu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Shen</surname>
          </string-name>
          ,
          <article-title>Iterative Learning Control for Multi-agent Systems Coordination</article-title>
          . Wiley-IEEE Press,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>P.</given-names>
            <surname>Scerri</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Vincent</surname>
          </string-name>
          , R.T. Mailler,
          <source>Coordination of Large-Scale Multiagent Systems</source>
          . Springer,
          <year>2010</year>
          . doi :
          <volume>10</volume>
          .1007/0-387-27972-5
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>