net.sf.tweety.logics.pcl.parser

Class PclParser

java.lang.Object

net.sf.tweety.commons.Parser<PclBeliefSet>

net.sf.tweety.logics.pcl.parser.PclParser

public class PclParser
extends net.sf.tweety.commons.Parser<PclBeliefSet>

This class implements a parser for probabilistic conditional logic. The BNF for a conditional knowledge base is given by (starting symbol is KB)

KB ::== (CONDITIONAL "\n")*
CONDITIONAL ::== "(" FORMULA ")" "[" PROB "]" | "(" FORMULA "|" FORMULA ")" "[" PROB "]"
FORMULA ::== PROPOSITION | "(" FORMULA ")" | FORMULA "&&" FORMULA | FORMULA "||" FORMULA | "!" FORMULA | "+" | "-"

where PROPOSITION is a sequence of symbols from {a,...,z,A,...,Z,0,...,9} with a letter at the beginning and PROB is a float in [0,1].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
PclParser()

Method Summary

Modifier and Type	Method and Description
PclBeliefSet	parseBeliefBase(Reader reader)
ProbabilisticConditional	parseFormula(Reader reader)

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

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

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

Constructor Detail

PclParser

public PclParser()

Method Detail

parseBeliefBase

public PclBeliefSet parseBeliefBase(Reader reader)
                             throws IOException,
                                    net.sf.tweety.commons.ParserException

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<PclBeliefSet>

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

public ProbabilisticConditional parseFormula(Reader reader)
                                      throws IOException,
                                             net.sf.tweety.commons.ParserException

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<PclBeliefSet>

Throws:

IOException

net.sf.tweety.commons.ParserException