Package org.tweetyproject.beliefdynamics.mas

Class CrMasBeliefSet<T extends Formula,S extends Signature>

java.lang.Object
org.tweetyproject.commons.BeliefSet<InformationObject<T>,S>
org.tweetyproject.beliefdynamics.mas.CrMasBeliefSet<T,S>
Type Parameters:
T - The type of formulas in information objects.
S - The type of signatures.
All Implemented Interfaces:
Iterable<InformationObject<T>>, Collection<InformationObject<T>>, BeliefBase
public class CrMasBeliefSet<T extends Formula,S extends Signature> extends BeliefSet<InformationObject<T>,S>
This class represents belief sets for credibility-based agents multi-agent systems. Such a belief set contains a set of information objects and a credibility order among agents.
Author:
Matthias Thimm

  • Constructor Details

    • CrMasBeliefSet

      public CrMasBeliefSet(Order<Agent> credibilityOrder, S sig)
      Creates a new belief set with the given credibility order.
      Parameters:
      credibilityOrder - some credibility order.
      sig - The type of signature used in this system.

  • Method Details

    • getCredibilityOrder

      public Order<Agent> getCredibilityOrder()
      Returns the credibility order of this belief set.
      Returns:
      the credibility order of this belief set.

    • getMinimalSignature

      public Signature getMinimalSignature()
      Description copied from interface: BeliefBase
      Returns the signature of the language of this knowledge base.
      Returns:
      the signature of the language of this knowledge base.