Package org.tweetyproject.logics.cl.reasoner

Class CReasoner

java.lang.Object

org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner

org.tweetyproject.logics.cl.reasoner.CReasoner

All Implemented Interfaces:

ModelProvider<Conditional,ClBeliefSet,RankingFunction>, QualitativeReasoner<ClBeliefSet,PlFormula>, Reasoner<Boolean,ClBeliefSet,PlFormula>

public class CReasoner
extends AbstractConditionalLogicReasoner

This class models a 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. This reasoner uses mathematical optimization for solving the above problem and is usually faster than the 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

Constructors

Constructor	Description
CReasoner()

Method Summary

Modifier and Type	Method	Description
RankingFunction	getModel(ClBeliefSet kb)	Returns a single (dedicated) model of the given belief base.
boolean	isInstalled()	the solver is natively installed and is therefore always installed

Methods inherited from class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner

getModels, query

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CReasoner

public CReasoner()

Method Details

getModel

public RankingFunction getModel(ClBeliefSet kb)

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 interface ModelProvider<Conditional,ClBeliefSet,RankingFunction>

Specified by:

getModel in class AbstractConditionalLogicReasoner

Parameters:

kb - 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