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