Package | Description |
---|---|
net.sf.tweety.beliefdynamics | |
net.sf.tweety.beliefdynamics.gui | |
net.sf.tweety.lp.asp.beliefdynamics.revision |
Modifier and Type | Class and Description |
---|---|
class |
CredibilityRevisionIterative<T extends Formula>
Implements the list based method of the Revision interface by iterative calling
the revision method which revise two belief bases.
|
class |
CredibilityRevisionNonIterative<T extends Formula>
Implements the revision method with two belief bases by delegating the processing
to the revision method bases on an ordered list of belief bases.
|
Modifier and Type | Method and Description |
---|---|
private <T extends Formula> |
RevisionCompareView.revision(CredibilityRevision<T> op)
Helper method: Runs a revision using the credibility revision operator interface.
|
Modifier and Type | Class and Description |
---|---|
class |
CredibilityRevision
Implements the credibility revision approach for ASP described in
Kruempelmann et al.
|
class |
PreferenceHandling
The implementation orients on the diploma thesis of Mirja Boehmer
in this class a variant of the approach
"A Preference-Based Framework for Updating Logic Programs" by James P.
|