net.sf.tweety.logics.cl

Class BruteForceCReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.cl.BruteForceCReasoner

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

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.

Author:

Matthias Thimm

Constructor Summary

Constructors

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

BruteForceCReasoner

public BruteForceCReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                           boolean simple)

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

Parameters:

beliefBase - a knowledge base.

simple - whether the computed c-representation is simple.

BruteForceCReasoner

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

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

Parameters:

beliefBase - a knowledge base.

Method Detail

getCRepresentation

public RankingFunction getCRepresentation()

Returns the c-representation this reasoner bases on.

Returns:

the c-representation this reasoner bases on.

query

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

Specified by:

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