net.sf.tweety.logics.cl.reasoner

Class SimpleCReasoner

java.lang.Object

net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner

net.sf.tweety.logics.cl.reasoner.SimpleCReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>, net.sf.tweety.commons.QualitativeReasoner<ClBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>, net.sf.tweety.commons.Reasoner<Boolean,ClBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

public class SimpleCReasoner
extends AbstractConditionalLogicReasoner

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
SimpleCReasoner() Creates a new simple c-representation reasoner.
SimpleCReasoner(boolean simple) Creates a new c-representation reasoner

Method Summary

Modifier and Type	Method and Description
RankingFunction	getModel(ClBeliefSet beliefset)

Methods inherited from class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner

getModels, query

Methods inherited from class java.lang.Object

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

Constructor Detail

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.

Parameters:

beliefBase - a knowledge base.

Method Detail

getModel

public RankingFunction getModel(ClBeliefSet beliefset)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>

Specified by:

getModel in class AbstractConditionalLogicReasoner