Package org.tweetyproject.lp.asp.semantics

Class AnswerSet

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<B,S>

org.tweetyproject.commons.InterpretationSet<ASPLiteral,Program,ASPRule>

org.tweetyproject.lp.asp.semantics.AnswerSet

All Implemented Interfaces:

Iterable<ASPLiteral>, Collection<ASPLiteral>, Interpretation<Program,ASPRule>

public class AnswerSet
extends InterpretationSet<ASPLiteral,Program,ASPRule>

An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.

Author:

Thomas Vengels, Tim Janus, Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
final int	level
final int	weight

Constructor Summary

Constructors

Constructor	Description
AnswerSet()	Creates a new empty AnswerSet.
AnswerSet(Collection<ASPLiteral> lits, int level, int weight)	Creates a new empty AnswerSet with the given level and weight.
AnswerSet(AnswerSet other)	Copy-Constructor

Method Summary

Modifier and Type	Method	Description
Object	clone()
boolean	equals(Object obj)
Set<ASPLiteral>	getLiteralsWithName(String name)	Returns all literals of a given name in the AnswerSet.
int	hashCode()
boolean	satisfies(ASPRule formula)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(Program beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
String	toString()

Methods inherited from class org.tweetyproject.commons.InterpretationSet

add, add, addAll, clear, contains, containsAll, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Field Details

level

public final int level

weight

public final int weight

Constructor Details

AnswerSet

public AnswerSet()

Creates a new empty AnswerSet.

AnswerSet

public AnswerSet(Collection<ASPLiteral> lits,
 int level,
 int weight)

Creates a new empty AnswerSet with the given level and weight.

Parameters:

lits - the literals

level - the level

weight - the weight

AnswerSet

public AnswerSet(AnswerSet other)

Copy-Constructor

Parameters:

other - another answer set

Method Details

getLiteralsWithName

public Set<ASPLiteral> getLiteralsWithName(String name)

Returns all literals of a given name in the AnswerSet.

Parameters:

name - the name of the literal

Returns:

set of literals

toString

public String toString()

Overrides:

toString in class InterpretationSet<ASPLiteral,Program,ASPRule>

clone

public Object clone()

satisfies

public boolean satisfies(Program beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

satisfies

public boolean satisfies(ASPRule formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

IllegalArgumentException - if the formula does not correspond to the expected language.

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<ASPLiteral>

Overrides:

hashCode in class InterpretationSet<ASPLiteral,Program,ASPRule>

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<ASPLiteral>

Overrides:

equals in class InterpretationSet<ASPLiteral,Program,ASPRule>