Package org.tweetyproject.logics.rpcl.semantics

Class ReferenceWorld

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<FolBeliefSet,FolFormula>

org.tweetyproject.logics.rpcl.semantics.ReferenceWorld

All Implemented Interfaces:

Map<Predicate,InstanceAssignment>, Interpretation<FolBeliefSet,FolFormula>

public class ReferenceWorld
extends AbstractInterpretation<FolBeliefSet,FolFormula>
implements Map<Predicate,InstanceAssignment>

Instances of this class represent reference worlds, i.e. sets of instance assignment. Each reference world describes a set of Herbrand interpretations.

Author:

Matthias Thimm

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K extends Object,V extends Object>

Constructor Summary

Constructors

Constructor	Description
ReferenceWorld(Collection<? extends Collection<? extends Constant>> equivalenceClasses, Collection<Predicate> predicates)	Creates a new reference world for the given equivalence classes.

Method Summary

Modifier and Type	Method	Description
void	clear()
boolean	containsKey(Object key)
boolean	containsValue(Object value)
Set<Map.Entry<Predicate,InstanceAssignment>>	entrySet()
static Set<ReferenceWorld>	enumerateReferenceWorlds(Set<Predicate> predicates, Set<Set<Constant>> constants)	Determines the set of all reference worlds wrt.
boolean	equals(Object obj)
InstanceAssignment	get(Object key)
Integer	get(Predicate predicate, Collection<? extends Constant> constants)	Retrieves the number of true instances assigned for the given predicate and the given equivalence class of constants.
static ReferenceWorld	getMapping(HerbrandInterpretation i, Set<Predicate> predicates, Set<Set<Constant>> constants)	Determines the reference world of the given interpretation wrt.
Integer	getMultiplicator(FolFormula f)	Returns the multiplicator of this reference world for the given formula, i.e.
int	hashCode()
boolean	isEmpty()
Set<Predicate>	keySet()
InstanceAssignment	put(Predicate key, InstanceAssignment value)
void	putAll(Map<? extends Predicate,? extends InstanceAssignment> m)
InstanceAssignment	remove(Object key)
boolean	satisfies(FolBeliefSet beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(FolFormula formula)	Checks whether this interpretation satisfies the given formula.
int	size()
Integer	spanNumber()	Returns the span number of this reference world, i.e.
String	toString()
Collection<InstanceAssignment>	values()

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

compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll

Constructor Details

ReferenceWorld

public ReferenceWorld(Collection<? extends Collection<? extends Constant>> equivalenceClasses,
 Collection<Predicate> predicates)

Creates a new reference world for the given equivalence classes.

Parameters:

equivalenceClasses - a set of set of constants.

predicates - a set of predicates

Method Details

get

public Integer get(Predicate predicate,
 Collection<? extends Constant> constants)

Retrieves the number of true instances assigned for the given predicate and the given equivalence class of constants.

Parameters:

predicate - a predicate.

constants - a set of constants.

Returns:

the number of true instances.

spanNumber

public Integer spanNumber()

Returns the span number of this reference world, i.e. the number of Herbrand interpretations this world refers to.

Returns:

the span number of this reference world.

getMultiplicator

public Integer getMultiplicator(FolFormula f)

Returns the multiplicator of this reference world for the given formula, i.e. the number of interpretations that map to this world and satisfy the formula.

Parameters:

f - a fol formula.

Returns:

the multiplicator of this reference world for the given formula.

getMapping

public static ReferenceWorld getMapping(HerbrandInterpretation i,
 Set<Predicate> predicates,
 Set<Set<Constant>> constants)

Determines the reference world of the given interpretation wrt. the given set of equivalence classes and the given set of predicates..

Parameters:

i - a Herbrand interpretation.

constants - the set of equivalence classes.

predicates - a set of predicates.

Returns:

a reference world.

enumerateReferenceWorlds

public static Set<ReferenceWorld> enumerateReferenceWorlds(Set<Predicate> predicates,
 Set<Set<Constant>> constants)

Determines the set of all reference worlds wrt. the given set of predicates and equivalence classes.

Parameters:

predicates - a set of predicates.

constants - a set of set of constants.

Returns:

a set of reference worlds.

satisfies

public boolean satisfies(FolFormula formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation<FolBeliefSet,FolFormula>

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.

satisfies

public boolean satisfies(FolBeliefSet beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation<FolBeliefSet,FolFormula>

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.

clear

public void clear()

Specified by:

clear in interface Map<Predicate,InstanceAssignment>

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<Predicate,InstanceAssignment>

containsValue

public boolean containsValue(Object value)

Specified by:

containsValue in interface Map<Predicate,InstanceAssignment>

entrySet

public Set<Map.Entry<Predicate,InstanceAssignment>> entrySet()

Specified by:

entrySet in interface Map<Predicate,InstanceAssignment>

get

public InstanceAssignment get(Object key)

Specified by:

get in interface Map<Predicate,InstanceAssignment>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<Predicate,InstanceAssignment>

keySet

public Set<Predicate> keySet()

Specified by:

keySet in interface Map<Predicate,InstanceAssignment>

put

public InstanceAssignment put(Predicate key,
 InstanceAssignment value)

Specified by:

put in interface Map<Predicate,InstanceAssignment>

putAll

public void putAll(Map<? extends Predicate,? extends InstanceAssignment> m)

Specified by:

putAll in interface Map<Predicate,InstanceAssignment>

remove

public InstanceAssignment remove(Object key)

Specified by:

remove in interface Map<Predicate,InstanceAssignment>

size

public int size()

Specified by:

size in interface Map<Predicate,InstanceAssignment>

values

public Collection<InstanceAssignment> values()

Specified by:

values in interface Map<Predicate,InstanceAssignment>

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Specified by:

hashCode in interface Map<Predicate,InstanceAssignment>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Map<Predicate,InstanceAssignment>

Overrides:

equals in class Object