net.sf.tweety.logics.rcl

Class RelationalBruteForceCReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner

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

This class models a relational brute force c-reasoner for relational 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.

See also [Kern-Isberner,Thimm, "A Ranking Semantics for Relational Defaults", in preparation].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
RelationalBruteForceCReasoner(net.sf.tweety.commons.BeliefBase beliefBase, net.sf.tweety.logics.fol.syntax.FolSignature signature) Creates a new simple c-representation reasoner for the given knowledge base.
RelationalBruteForceCReasoner(net.sf.tweety.commons.BeliefBase beliefBase, net.sf.tweety.logics.fol.syntax.FolSignature signature, boolean simple) Creates a new relational c-representation reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
RelationalRankingFunction	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

RelationalBruteForceCReasoner

public RelationalBruteForceCReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                                     net.sf.tweety.logics.fol.syntax.FolSignature signature,
                                     boolean simple)

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

Parameters:

beliefBase - a knowledge base.

signature - the signature used for building the c-representation.

simple - whether the computed c-representation is simple.

RelationalBruteForceCReasoner

public RelationalBruteForceCReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                                     net.sf.tweety.logics.fol.syntax.FolSignature signature)

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

Parameters:

beliefBase - a knowledge base.

signature - the signature used for building the c-representation.

Method Detail

getCRepresentation

public RelationalRankingFunction 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