Class SimpleCReasoner
java.lang.Object
org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
org.tweetyproject.logics.cl.reasoner.SimpleCReasoner
- All Implemented Interfaces:
ModelProvider<Conditional,
,ClBeliefSet, RankingFunction> QualitativeReasoner<ClBeliefSet,
,PlFormula> Reasoner<Boolean,
ClBeliefSet, PlFormula>
This class models a brute force c-reasoner for conditional logic. Reasoning is performed
by computing a minimal c-representation for the given knowledge base.
A c-representation for a conditional knowledge base R={r1,...,rn} is a ranking function k such that k accepts every conditional in R (k |= R) and if there are numbers k0,k1+,k1-,...,kn+,kn- with
k(w)=k0 + \sum_{w verifies ri} ki+ + \sum_{w falsifies ri} kj- for every w. A c-representation is minimal if k0+...+kn- is minimal.
The c-representation is computed using a brute force approach.
See Gabriele Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Lecture Notes in Computer Science, Volume 2087. 2001.
A c-representation for a conditional knowledge base R={r1,...,rn} is a ranking function k such that k accepts every conditional in R (k |= R) and if there are numbers k0,k1+,k1-,...,kn+,kn- with
k(w)=k0 + \sum_{w verifies ri} ki+ + \sum_{w falsifies ri} kj- for every w. A c-representation is minimal if k0+...+kn- is minimal.
The c-representation is computed using a brute force approach.
See Gabriele Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Lecture Notes in Computer Science, Volume 2087. 2001.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionCreates a new simple c-representation reasoner.SimpleCReasoner
(boolean simple) Creates a new c-representation reasoner -
Method Summary
Modifier and TypeMethodDescriptiongetModel
(ClBeliefSet beliefset) Returns a single (dedicated) model of the given belief base.boolean
the solver is natively installed and is therefore always installedMethods inherited from class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
getModels, query
-
Constructor Details
-
SimpleCReasoner
public SimpleCReasoner(boolean simple) Creates a new c-representation reasoner- Parameters:
simple
- whether the computed c-representation is simple.
-
SimpleCReasoner
public SimpleCReasoner()Creates a new simple c-representation reasoner.
-
-
Method Details
-
getModel
Description copied from interface:ModelProvider
Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.- Specified by:
getModel
in interfaceModelProvider<Conditional,
ClBeliefSet, RankingFunction> - Specified by:
getModel
in classAbstractConditionalLogicReasoner
- Parameters:
beliefset
- some belief base- Returns:
- a selected model of the belief base.
-
isInstalled
public boolean isInstalled()the solver is natively installed and is therefore always installed- Returns:
- if the solver is installed
-