net.sf.tweety.logics.cl

Class CReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.cl.CReasoner

public class CReasoner
extends net.sf.tweety.commons.Reasoner

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 and Description
CReasoner(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new c-representation reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
RankingFunction	getCRepresentation() Returns the c-representation this reasoner bases on.
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

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

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

CReasoner

public CReasoner(net.sf.tweety.commons.BeliefBase beliefBase)

Creates a new c-representation reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Method Detail

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner

getCRepresentation

public RankingFunction getCRepresentation()

Returns the c-representation this reasoner bases on.

Returns:

the c-representation this reasoner bases on.