Class CrMasBeliefSet<T extends Formula,​S extends Signature>

  • Type Parameters:
    T - The type of formulas in information objects.
    S - The type of signatures.
    All Implemented Interfaces:
    java.lang.Iterable<InformationObject<T>>, java.util.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
    • Field Detail

      • credibilityOrder

        private Order<Agent> credibilityOrder
        The subjective credibility order of the agent who owns this belief set.
      • type_of_signature

        private S extends Signature type_of_signature
        The type of signature used in this system.
    • Constructor Detail

      • 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 Detail

      • 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.