Package it.unito.di.logic.expression

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


     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


                      CNPArtifactTimerMaxPart.INITIATOR_ROLE,
                      RoleId.GENERIC_ROLE))
              && c.getConsequent().equals(
                  new CompositeExpression(
                      LogicalOperatorType.OR,
                      new Fact("accept"), new Fact(
                          "reject")))) {
            myAgent.addBehaviour(commitToDoneOrFailureIfAccept());
          }
        } catch (MissingOperandException
            | WrongOperandsNumberException e1) {
          // TODO Auto-generated catch block
          e1.printStackTrace();
        }
      }

      else if (c.getLifeCycleStatus() == LifeCycleState.DETACHED) {
        try {
          if (c.getDebtor().equals(participant.getRoleId())
              && c.getCreditor().equals(
                  new RoleId(
                      CNPArtifactTimerMaxPart.INITIATOR_ROLE,
                      RoleId.GENERIC_ROLE))
              && c.getConsequent().equals(
                  new CompositeExpression(
                      LogicalOperatorType.OR,
                      new Fact("done"), new Fact(
                          "failure")))) {
            myAgent.addBehaviour(fulfilledCommitToAcceptOrReject());
          }
        } catch (MissingOperandException
            | WrongOperandsNumberException e1) {
View Full Code Here

     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

     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

    refusal.setPerformative(ACLMessage.REFUSE);
    send(refusal);
   
    try {
      releaseCommitment(new Commitment(initiator, participant, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject"))));
      assertFact(new Fact("refuse", participant));
      logger.trace("OPERATION PERFORMED: REFUSE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    } catch (WrongOperandsNumberException e) {
View Full Code Here

     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

    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

    @Override
    public void action() {
      logger.debug("Parsing results...");
      try {
        if (initiator.existsFact(new Fact("done")))
          logger.debug("DONE percepted, work done.");
        else if (initiator.existsFact(new Fact("failure")))
          logger.debug("FAILURE percepted, work done.");
      } catch (MissingOperandException e) {
        // TODO Auto-generated catch block
        e.printStackTrace();
        logger.error("Error in composing fact to match");
View Full Code Here

      // 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
     
      createAllCommitments(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);
      execInternalOp("startTiming");
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
View Full Code Here

    acceptingProposals = false;
    logger.debug("Not accepting proposals anymore");
    RoleId groupParticipant = new RoleId(PARTICIPANT_ROLE, RoleId.GROUP_ROLE);
    try {
      createCommitment(new Commitment(initiatorId, groupParticipant, new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject"))));
    } catch (MissingOperandException | WrongOperandsNumberException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    }
  }
View Full Code Here

TOP

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

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.