net.sf.tweety.logics.rpcl.parser

Class RpclParser

java.lang.Object

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

net.sf.tweety.logics.rpcl.parser.RpclParser

public class RpclParser
extends net.sf.tweety.commons.Parser<RpclBeliefSet>

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

KB ::== SORTSDEC PREDDECS (CONDITIONAL "\n")*
SORTSDEC ::== ( SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}" "\n" )*
PREDDECS ::== ( "type" "(" PREDICATENAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" "\n" )*
CONDITIONAL ::== "(" FORMULA ")" "[" PROB "]" | "(" FORMULA "|" FORMULA ")" "[" PROB "]"
FORMULA ::== ATOM | "(" FORMULA ")" | FORMULA "&&" FORMULA | FORMULA "||" FORMULA | "!" FORMULA | "+" | "-"
ATOM ::== PREDICATENAME "(" (TERM ("," TERM)*)? ")"
TERM ::== VARIABLENAME | CONSTANTNAME

where SORTNAME, PREDICATENAME, CONSTANTNAME, and VARIABLENAME are sequences 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
RpclParser() Creates a new RPCL Parser

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature() Returns the signature of this parser.
RpclBeliefSet	parseBeliefBase(Reader reader)
RelationalProbabilisticConditional	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

RpclParser

public RpclParser()

Creates a new RPCL Parser

Method Detail

parseBeliefBase

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

Specified by:

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

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

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

Specified by:

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

Throws:

IOException

net.sf.tweety.commons.ParserException

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Returns the signature of this parser.

Returns:

the signature of this parser.