Inspection of agent alice (cycle #2)
Beliefs
default
tv nb_participants(6)[source(self)].
propose(10.50586843741821)[source(company_A2)].
propose(12.852959654105087)[source(company_A3)].
propose(12.964993705838628)[source(company_A1)].
#8priv state(propose)[source(self)].
pc nb_participants(6)[source(self)].
propose(10.812170227162138)[source(company_A1)].
propose(12.253141211695096)[source(company_A3)].
propose(12.440947231224444)[source(company_A2)].
#6priv state(contract)[source(self)].
oven nb_participants(6)[source(self)].
propose(10.364209843805531)[source(company_A2)].
propose(10.46471827797219)[source(company_A1)].
propose(11.018512441302288)[source(company_A3)].
#7priv state(propose)[source(self)].

Rules
all_proposals_received[source(self)] :-
(nb_participants(NP) & (.count(propose(_180)[source(_181)],NO) & (.count(refuse[source(_182)],NR) & (NP = (NO+NR))))).
all_proposals_received[source(self)] :-
(nb_participants(NP) & (.count(propose(_189)[source(_190)],NO) & (.count(refuse[source(_191)],NR) & (NP = (NO+NR))))).
all_proposals_received[source(self)] :-
(nb_participants(NP) & (.count(propose(_198)[source(_199)],NO) & (.count(refuse[source(_200)],NR) & (NP = (NO+NR))))).

Events
SelTriggerIntention
+!contract(pc)[source(self)]11
+!contract(oven)[source(self)]12
+state(contract)[source(self)]10
X+!contract(tv)[source(self)]10
Options
AppSelPlanUnifier
X X+!contract(Ns) { Ns = tv, _232 = propose }
X +!contract(_185) { _185 = tv }
Intentions
SelIdPenIntended Means
10
+!#6priv::contract(tv)[source(self)] 
+!#6priv::contract(tv)[source(self)]
     <- ... -+state(contract); .findall(offer(Price,A),propose(Price)[source(A)],L); .print("Offers in CNP taking place in ",Ns," are ",L); (L \== []); .min(L,offer(WOf,WAg)); +winner(WAg); !announce_result(Ns,L); -+state(finished)

{ Ns = tv, _232 = propose } 
+!tv::startCNP(fix(tv))[source(self)]
     <- ... !contract(tv)

{ Task = fix(tv), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3], _183 = 8552 }
11
+!pc::startCNP(fix(pc))[source(self)] 
+!pc::startCNP(fix(pc))[source(self)]
     <- ... !contract(pc)

{ _192 = 8541, Task = fix(pc), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3] }
12
+!oven::startCNP(fix(oven))[source(self)] 
+!oven::startCNP(fix(oven))[source(self)]
     <- ... !contract(oven)

{ Task = fix(oven), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3], _201 = 8538 }
10
+!#6priv::contract(tv)[source(self)] 
+!#6priv::contract(tv)[source(self)]
     <- ... -+state(contract); .findall(offer(Price,A),propose(Price)[source(A)],L); .print("Offers in CNP taking place in ",Ns," are ",L); (L \== []); .min(L,offer(WOf,WAg)); +winner(WAg); !announce_result(Ns,L); -+state(finished)

{ Ns = tv, _232 = propose } 
+!tv::startCNP(fix(tv))[source(self)]
     <- ... !contract(tv)

{ Task = fix(tv), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3], _183 = 8552 }