• Home
• io.github.jason-lang
• jason
• 3.1.2
• source code
• mind1.out.html

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

xml.mind1.out.html Maven / Gradle / Ivy

                    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



Sel
Trigger
Intention


+!contract(pc)[source(self)]
11


+!contract(oven)[source(self)]
12


+state(contract)[source(self)]
10


X
+!contract(tv)[source(self)]
10





Options



App
Sel
Plan
Unifier



                    X
                
X
+!contract(Ns)

            {
            Ns
                =
                tv, _232
                =
                propose
            }
        



                    X
                
+!contract(_185)

            {
            _185
                =
                tv
            }
        





Intentions



Sel
Id
Pen
Intended 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
            }