Package net.sf.tweety.logics.rpcl.semantics

Class ReferenceWorld

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

All Implemented Interfaces:

Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>, net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

public class ReferenceWorld
extends net.sf.tweety.commons.AbstractInterpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>
implements Map<net.sf.tweety.logics.commons.syntax.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 net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses, Collection<net.sf.tweety.logics.commons.syntax.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<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>>	entrySet()
static Set<ReferenceWorld>	enumerateReferenceWorlds(Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates, Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> constants)	Determines the set of all reference worlds wrt.
boolean	equals(Object obj)
InstanceAssignment	get(Object key)
Integer	get(net.sf.tweety.logics.commons.syntax.Predicate predicate, Collection<? extends net.sf.tweety.logics.commons.syntax.Constant> constants)	Retrieves the number of true instances assigned for the given predicate and the given equivalence class of constants.
static ReferenceWorld	getMapping(net.sf.tweety.logics.fol.semantics.HerbrandInterpretation i, Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates, Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> constants)	Determines the reference world of the given interpretation wrt.
Integer	getMultiplicator(net.sf.tweety.logics.fol.syntax.FolFormula f)	Returns the multiplicator of this reference world for the given formula, i.e.
int	hashCode()
boolean	isEmpty()
Set<net.sf.tweety.logics.commons.syntax.Predicate>	keySet()
InstanceAssignment	put(net.sf.tweety.logics.commons.syntax.Predicate key, InstanceAssignment value)
void	putAll(Map<? extends net.sf.tweety.logics.commons.syntax.Predicate,? extends InstanceAssignment> m)
InstanceAssignment	remove(Object key)
boolean	satisfies(net.sf.tweety.logics.fol.syntax.FolBeliefSet beliefBase)
boolean	satisfies(net.sf.tweety.logics.fol.syntax.FolFormula formula)
int	size()
Integer	spanNumber()	Returns the span number of this reference world, i.e.
String	toString()
Collection<InstanceAssignment>	values()

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, finalize, 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 Detail

ReferenceWorld

public ReferenceWorld(Collection<? extends Collection<? extends net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses,
                      Collection<net.sf.tweety.logics.commons.syntax.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 Detail

get

public Integer get(net.sf.tweety.logics.commons.syntax.Predicate predicate,
                   Collection<? extends net.sf.tweety.logics.commons.syntax.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(net.sf.tweety.logics.fol.syntax.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(net.sf.tweety.logics.fol.semantics.HerbrandInterpretation i,
                                        Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates,
                                        Set<Set<net.sf.tweety.logics.commons.syntax.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<net.sf.tweety.logics.commons.syntax.Predicate> predicates,
                                                           Set<Set<net.sf.tweety.logics.commons.syntax.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(net.sf.tweety.logics.fol.syntax.FolFormula formula)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(net.sf.tweety.logics.fol.syntax.FolBeliefSet beliefBase)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

Throws:

IllegalArgumentException

clear

public void clear()

Specified by:

clear in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

containsValue

public boolean containsValue(Object value)

Specified by:

containsValue in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

entrySet

public Set<Map.Entry<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>> entrySet()

Specified by:

entrySet in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

get

public InstanceAssignment get(Object key)

Specified by:

get in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

keySet

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

Specified by:

keySet in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

put

public InstanceAssignment put(net.sf.tweety.logics.commons.syntax.Predicate key,
                              InstanceAssignment value)

Specified by:

put in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

putAll

public void putAll(Map<? extends net.sf.tweety.logics.commons.syntax.Predicate,? extends InstanceAssignment> m)

Specified by:

putAll in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

remove

public InstanceAssignment remove(Object key)

Specified by:

remove in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

size

public int size()

Specified by:

size in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

values

public Collection<InstanceAssignment> values()

Specified by:

values in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Specified by:

hashCode in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>

Overrides:

equals in class Object