Package org.tweetyproject.logics.pcl.parser

Class PclParser

java.lang.Object

org.tweetyproject.commons.Parser<PclBeliefSet,ProbabilisticConditional>

org.tweetyproject.logics.pcl.parser.PclParser

public class PclParser
extends Parser<PclBeliefSet,ProbabilisticConditional>

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	Description
PclParser()	Default Constructor

Method Summary

Modifier and Type	Method	Description
PclBeliefSet	parseBeliefBase(Reader reader)	Parses the given reader into a belief base of the given type.
ProbabilisticConditional	parseFormula(Reader reader)	Parses the given reader into a formula of the given type.

Methods inherited from class org.tweetyproject.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile, parseListOfBeliefBases, parseListOfBeliefBases, parseListOfBeliefBasesFromFile, parseListOfBeliefBasesFromFile

Methods inherited from class java.lang.Object

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

Constructor Details

PclParser

public PclParser()

Default Constructor

Method Details

parseBeliefBase

public PclBeliefSet parseBeliefBase(Reader reader)
                             throws IOException,
ParserException

Description copied from class: Parser

Parses the given reader into a belief base of the given type.

Specified by:

parseBeliefBase in class Parser<PclBeliefSet,ProbabilisticConditional>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.

parseFormula

public ProbabilisticConditional parseFormula(Reader reader)
                                      throws IOException,
ParserException

Description copied from class: Parser

Parses the given reader into a formula of the given type.

Specified by:

parseFormula in class Parser<PclBeliefSet,ProbabilisticConditional>

Parameters:

reader - a reader

Returns:

a formula

Throws:

IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.