Package it.unito.di.logic.expression

Examples of it.unito.di.logic.expression.Fact

69
70
71
72
73
74
75
76
77
78
79
80
      // la release ad es. viene fatta creando un nuovo commitment, quello che si vuole porre in stato released.
     
      // togliere new commitment e mettere i singoli paramtri di costruzione
     
      createCommitment(new Commitment(initiator, dest, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject"))));
      assertFact(new Fact("cfp", initiator, task));
      logger.trace("OPERATION PERFORMED: CFP by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    } catch (WrongOperandsNumberException e) {
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
     accept.setRoleReceiver(dest);
     accept.setPerformative(ACLMessage.ACCEPT_PROPOSAL);
    send(accept);
   
    try {
      assertFact(new Fact("accept"));
      logger.trace("OPERATION PERFORMED: ACCEPT by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    }
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
     reject.setPerformative(ACLMessage.REJECT_PROPOSAL);
    send(reject);
   
    try {
      releaseCommitment(new Commitment(proposal.getRoleId(), initiator, "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      logger.trace("OPERATION PERFORMED: REJECT by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    } catch (WrongOperandsNumberException e) {
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
147
     proposal.setPerformative(ACLMessage.PROPOSE);
    send(proposal);
   
    try {
      createCommitment(new Commitment(participant, new RoleId(INITIATOR_ROLE, RoleId.GENERIC_ROLE), "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      assertFact(new Fact("propose", participant, prop));
      logger.trace("OPERATION PERFORMED: PROPOSE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    } catch (WrongOperandsNumberException e) {
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
     done.setRoleReceiver(initiator);
     done.setPerformative(ACLMessage.INFORM);
    send(done);
   
    try {
      assertFact(new Fact("done", initiator, task));
      logger.trace("OPERATION PERFORMED: DONE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    }
View Full Code Here
181
182
183
184
185
186
187
188
189
190
191
    failure.setRoleSender(participant);
    failure.setRoleReceiver(initiator);
    failure.setPerformative(ACLMessage.FAILURE);
    send(failure);
    try {
      assertFact(new Fact("failure"));
      logger.trace("OPERATION PERFORMED: FAILURE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    }
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
    super();
    this.elType = SocialStateElementType.COMMITMENT;
    debtor = d;
    creditor = c;
    try {
      antecedent = new Fact(ant);
    } catch (MissingOperandException e) {
      logger.error("Error in creating a commitment with "+ant+" antecedend"+e.getCause());
      e.printStackTrace();
    }
    consequent = cons;
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
    this.elType = SocialStateElementType.COMMITMENT;
    debtor = d;
    creditor = c;
    antecedent = ant;
    try {
      consequent = new Fact(cons);
    } catch (MissingOperandException e) {
      logger.error("Error in creating a commitment with "+cons+" consequent"+e.getCause());
      e.printStackTrace();
    }
   
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
    this.elType = SocialStateElementType.COMMITMENT;
    debtor = d;
    creditor = c;
   
    try {
      antecedent = new Fact(ant);
      consequent = new Fact(cons);
    } catch (MissingOperandException e) {
      logger.error("Error in creating a commitment with "+ant+" antecend and "+cons+" consequent"+e.getCause());
      e.printStackTrace();
    }
   
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
    super();
    this.elType = SocialStateElementType.COMMITMENT;
    debtor = d;
    creditor = c;
    try {
      antecedent = new Fact("true");
    }
    catch (Exception e) {
      logger.error("Error in creating a commitment with true antecedend"+e.getCause());
      e.printStackTrace();
    }
View Full Code Here
TOP

Related Classes of it.unito.di.logic.expression.Fact

  • it.unito.di.artifact.examples.cnp.CNPArtifact
  • it.unito.di.artifact.examples.cnp.InitiatorRequirements
  • it.unito.di.artifact.examples.cnp.ParticipantRequirements
  • it.unito.di.artifact.examples.cnp.TypeInitiator
  • it.unito.di.artifact.examples.cnp.TypeOneParticipant
  • it.unito.di.artifact.examples.cnpBackup.CNPArtifact
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifact
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifactTimer
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifactTimerMaxPart
  • it.unito.di.artifact.examples.cnpCommits.InitiatorAgent$FulfilledCommitToDoneOrFailure
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.