Class Entity
java.lang.Object
org.tweetyproject.arg.dung.learning.syntax.Entity
Class representing an entity with an underlying hidden argumentation framework. An agent can ask the entity for labelings
- Author:
- Lars Bengel
-
Constructor Summary
ConstructorDescriptionEntity
(DungTheory theory) initialize the entity with the given AFEntity
(DungTheory theory, List<Input> inputs) -
Method Summary
Modifier and TypeMethodDescriptiongetAllLabelings
(Semantics sem) shortcut for getting all labelings wrt a semanticsget the set of arguments of the hidden AFreturn the hidden AF should not be used normallygetLabeling
(Semantics sem) Ask for a random labeling w.r.t.boolean
verifyFramework
(DungTheory theory, Collection<Input> inputs) verify if the given theory is equivalent to the hidden framework w.r.t.
-
Constructor Details
-
Entity
initialize the entity with the given AF- Parameters:
theory
- some argumentation framework
-
Entity
- Parameters:
theory
- a DUng theoryinputs
- inputs
-
-
Method Details
-
getLabeling
-
getAnyLabeling
- Returns:
- any labeling
-
getAllLabelings
shortcut for getting all labelings wrt a semantics- Parameters:
sem
- a semantics- Returns:
- all labelings of the hidden AF wrt. the given semantics
-
verifyFramework
verify if the given theory is equivalent to the hidden framework w.r.t. the given labelings very inefficiently implemented right now- Parameters:
theory
- a dung theoryinputs
- a set of labelings- Returns:
- "true" if both frameworks are equivalent
-
getArguments
get the set of arguments of the hidden AF- Returns:
- the set of arguments
-
getHiddenAF
return the hidden AF should not be used normally- Returns:
- the hidden AF
-