net.sf.tweety.lp.asp.syntax

Class ASPRule

java.lang.Object

net.sf.tweety.lp.asp.syntax.ASPElement

net.sf.tweety.lp.asp.syntax.ASPRule

All Implemented Interfaces:

Comparable<ASPRule>, net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class ASPRule
extends ASPElement
implements net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>, Comparable<ASPRule>

This class models a rule in ASP. A rule consists of a head and a body. The head contains n>=0 classical atoms and the body contains n>=0 literals. Rules with non-empty heads and empty bodies are called facts, rules with empty heads and non-empty bodies are called constraints.

Author:

Anna Gessler, Tim Janus, Thomas Vengels

Constructor Summary

Constructors

Constructor and Description
ASPRule() Empty constructor
ASPRule(ASPHead head) Creates a fact with the given ASPHead.
ASPRule(ASPHead head, List<ASPBodyElement> body) Creates a rule with the given head and body.
ASPRule(ASPLiteral literal) Creates a fact with the given literal.
ASPRule(ASPLiteral head, ASPBodyElement b) Creates a rule with the given head and a single-element body.
ASPRule(ASPLiteral head, List<ASPBodyElement> body) Creates a rule with the given head and body.
ASPRule(ASPRule other) Copy-Constructor
ASPRule(List<ASPBodyElement> body) Creates a constraint with the given body.
ASPRule(List<ASPBodyElement> nafliterals, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight, List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms) Creates a constraint with the given weight and terms.
ASPRule(List<ASPBodyElement> body, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> level, List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms) Creates a constraint with the given weight, level and terms.

Method Summary

Modifier and Type	Method and Description
void	addPremise(ASPBodyElement premise)
void	addPremises(Collection<? extends ASPBodyElement> premises)
void	addToHead(ASPLiteral h)
ASPRule	clone()
int	compareTo(ASPRule arg0)
boolean	equals(Object other)
ASPRule	exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
Set<ASPAtom>	getAtoms()
List<ASPBodyElement>	getBody()
ASPHead	getConclusion()
List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getConstraintTerms()
ASPHead	getHead()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getLevel()
Collection<? extends ASPLiteral>	getLiterals()
Set<net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
List<ASPBodyElement>	getPremise()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C>	getTerms(Class<C> cls)
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getWeight()
int	hashCode()
boolean	isConstraint()
boolean	isEmpty()
boolean	isFact()
boolean	isGround()
boolean	isLiteral()
Boolean	isSafe() This methods tests a rule for safety.
void	setBody(List<ASPBodyElement> body)
void	setConclusion(ASPHead conclusion)
void	setConclusion(ASPLiteral head)
void	setHead(ASPHead head)
void	setLevel(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> level)
void	setWeight(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight)
ASPRule	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
String	toString()

Methods inherited from class net.sf.tweety.lp.asp.syntax.ASPElement

containsTermsOfType, getPredicateCls, isWellFormed, substitute

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ASPRule

public ASPRule()

Empty constructor

ASPRule

public ASPRule(ASPHead head)

Creates a fact with the given ASPHead.

Parameters:

head -

ASPRule

public ASPRule(ASPLiteral literal)

Creates a fact with the given literal.

Parameters:

literal -

ASPRule

public ASPRule(ASPHead head,
               List<ASPBodyElement> body)

Creates a rule with the given head and body.

Parameters:

head -

body -

ASPRule

public ASPRule(ASPLiteral head,
               ASPBodyElement b)

Creates a rule with the given head and a single-element body.

Parameters:

head -

b - a body element

ASPRule

public ASPRule(ASPLiteral head,
               List<ASPBodyElement> body)

Creates a rule with the given head and body.

Parameters:

head -

body -

ASPRule

public ASPRule(List<ASPBodyElement> body)

Creates a constraint with the given body.

Parameters:

body -

ASPRule

public ASPRule(List<ASPBodyElement> nafliterals,
               net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight,
               List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)

Creates a constraint with the given weight and terms.

Parameters:

nafliterals -

weight -

terms -

ASPRule

public ASPRule(List<ASPBodyElement> body,
               net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight,
               net.sf.tweety.logics.commons.syntax.interfaces.Term<?> level,
               List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)

Creates a constraint with the given weight, level and terms.

Parameters:

body -

weight -

level -

wal -

ASPRule

public ASPRule(ASPRule other)

Copy-Constructor

Parameters:

other -

Method Detail

isSafe

public Boolean isSafe()

This methods tests a rule for safety. Safety is defined as follows in the ASP-Core-2 standard: A rule, weak constraint or query is safe, if the set V of global variables

Returns:

true if the rule is safe, false otherwise

isFact

public boolean isFact()

Specified by:

isFact in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

isConstraint

public boolean isConstraint()

Specified by:

isConstraint in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

addPremises

public void addPremises(Collection<? extends ASPBodyElement> premises)

Specified by:

addPremises in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

Specified by:

getSignature in class ASPElement

setConclusion

public void setConclusion(ASPHead conclusion)

Specified by:

setConclusion in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

setConclusion

public void setConclusion(ASPLiteral head)

addPremise

public void addPremise(ASPBodyElement premise)

Specified by:

addPremise in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

getPremise

public List<ASPBodyElement> getPremise()

Specified by:

getPremise in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

getConclusion

public ASPHead getConclusion()

Specified by:

getConclusion in interface net.sf.tweety.commons.util.rules.Rule<ASPHead,ASPBodyElement>

toString

public String toString()

Overrides:

toString in class Object

getWeight

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> getWeight()

setWeight

public void setWeight(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight)

getLevel

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> getLevel()

setLevel

public void setLevel(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> level)

getHead

public ASPHead getHead()

setHead

public void setHead(ASPHead head)

addToHead

public void addToHead(ASPLiteral h)

getBody

public List<ASPBodyElement> getBody()

setBody

public void setBody(List<ASPBodyElement> body)

getConstraintTerms

public List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getConstraintTerms()

isGround

public boolean isGround()

Specified by:

isGround in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

isGround in class ASPElement

compareTo

public int compareTo(ASPRule arg0)

Specified by:

compareTo in interface Comparable<ASPRule>

getLiterals

public Collection<? extends ASPLiteral> getLiterals()

substitute

public ASPRule substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                          net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class ASPElement

exchange

public ASPRule exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                        net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Specified by:

exchange in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

exchange in class ASPElement

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getTerms

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getPredicates

public Set<net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

Specified by:

getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getPredicates in class ASPElement

getAtoms

public Set<ASPAtom> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getAtoms in class ASPElement

clone

public ASPRule clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class ASPElement

equals

public boolean equals(Object other)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object

isEmpty

public boolean isEmpty()

Returns:

true if the rule's head and body are both empty, false otherwise.