Package net.sf.tweety.arg.saf.syntax

Class BasicArgument

  • All Implemented Interfaces:
    net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>, net.sf.tweety.graphs.Node
    public class BasicArgument
extends net.sf.tweety.arg.dung.syntax.Argument
implements net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>
    This class models a basic argument in structured argumentation frameworks, i.e. a claim (a proposition) together with a support (a set of propositions) where the claim is not in the support.
    Author:
    Matthias Thimm, Tim Janus

    • Constructor Summary

      Constructors 
      Constructor Description
      BasicArgument​(String name)
      Deprecated.
      BasicArgument​(net.sf.tweety.logics.pl.syntax.Proposition claim)
      Creates a new basic argument with the given claim and empty support.
      BasicArgument​(net.sf.tweety.logics.pl.syntax.Proposition claim, Set<net.sf.tweety.logics.pl.syntax.Proposition> support)
      Creates a new basic argument with the given claim and the given support.

    • Method Summary

      Modifier and Type Method Description
      void addPremise​(net.sf.tweety.logics.pl.syntax.Proposition premise)  
      void addPremises​(Collection<? extends net.sf.tweety.logics.pl.syntax.Proposition> premises)  
      net.sf.tweety.logics.pl.syntax.Proposition getConclusion()  
      Set<net.sf.tweety.logics.pl.syntax.Proposition> getPremise()  
      net.sf.tweety.logics.pl.syntax.PlSignature getSignature()  
      boolean isConstraint()  
      boolean isFact()  
      void setConclusion​(net.sf.tweety.logics.pl.syntax.Proposition conclusion)  

      • Methods inherited from class net.sf.tweety.arg.dung.syntax.Argument

        equals, getLdoArgument, getLdoFormula, getName, hashCode, setName, toString

    • Constructor Detail

      • BasicArgument

        @Deprecated
public BasicArgument​(String name)
        Deprecated.
        Deprecated for basic arguments.
        Parameters:
        name - the name of the argument

      • BasicArgument

        public BasicArgument​(net.sf.tweety.logics.pl.syntax.Proposition claim)
        Creates a new basic argument with the given claim and empty support.
        Parameters:
        claim - a proposition.

      • BasicArgument

        public BasicArgument​(net.sf.tweety.logics.pl.syntax.Proposition claim,
                     Set<net.sf.tweety.logics.pl.syntax.Proposition> support)
        Creates a new basic argument with the given claim and the given support.
        Parameters:
        claim - a proposition
        support - a set of propositions

    • Method Detail

      • getConclusion

        public net.sf.tweety.logics.pl.syntax.Proposition getConclusion()
        Specified by:
        getConclusion in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>

      • getPremise

        public Set<net.sf.tweety.logics.pl.syntax.Proposition> getPremise()
        Specified by:
        getPremise in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>

      • getSignature

        public net.sf.tweety.logics.pl.syntax.PlSignature getSignature()
        Specified by:
        getSignature in interface net.sf.tweety.commons.Formula
        Specified by:
        getSignature in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>
        Overrides:
        getSignature in class net.sf.tweety.arg.dung.syntax.Argument

      • isFact

        public boolean isFact()
        Specified by:
        isFact in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>

      • isConstraint

        public boolean isConstraint()
        Specified by:
        isConstraint in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>

      • setConclusion

        public void setConclusion​(net.sf.tweety.logics.pl.syntax.Proposition conclusion)
        Specified by:
        setConclusion in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>

      • addPremise

        public void addPremise​(net.sf.tweety.logics.pl.syntax.Proposition premise)
        Specified by:
        addPremise in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>

      • addPremises

        public void addPremises​(Collection<? extends net.sf.tweety.logics.pl.syntax.Proposition> premises)
        Specified by:
        addPremises in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.Proposition,​net.sf.tweety.logics.pl.syntax.Proposition>