Package net.sf.tweety.logics.ml.parser

Class MlParser

java.lang.Object

net.sf.tweety.commons.Parser<MlBeliefSet,RelationalFormula>

net.sf.tweety.logics.ml.parser.MlParser

public class MlParser
extends Parser<MlBeliefSet,RelationalFormula>

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

KB ::== SORTSDEC DECLAR FORMULAS
DECLAR ::== (FUNCTORDEC | PREDDEC)*
SORTSDEC ::== ( SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}" "\n" )*
PREDDEC ::== "type" "(" PREDICATENAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" "\n"
FUNCTORDEC ::== "type" "(" SORTNAME "=" FUNCTORNAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" "\n"
FORMULAS ::== ( "\n" FORMULA)*
FORMULA ::== ATOM | "forall" VARIABLENAME ":" "(" FORMULA ")" | "exists" VARIABLENAME ":" "(" FORMULA ")" |
"(" FORMULA ")" | FORMULA "&&" FORMULA | FORMULA "||" FORMULA | "!" FORMULA | "+" | "-" |
FORMULA "=>" FORMULA | FORMULA "<=>" FORMULA | FORMULA "==" FORMULA | FORMULA "/==" FORMULA |
"[]" "(" FORMULA ")" | "<>" "(" FORMULA ")" | FORMULA "^^" FORMULA
ATOM ::== PREDICATENAME ("(" TERM ("," TERM)* ")")?
TERM ::== VARIABLENAME | CONSTANTNAME | FUNCTORNAME "(" (TERM ("," TERM)*)? ")"

where SORTNAME, PREDICATENAME, CONSTANTNAME, and FUNCTORNAME are sequences of
symbols from {a,...,z,A,...,Z,0,...,9} with a letter at the beginning and VARIABLENAME
is a sequence of symbols from {a,...,z,A,...,Z,0,...,9} with an uppercase letter at the beginning.

Note: Equality/Inequality predicates ("==" and "/==") can only be parsed if the parser is given a FolSignature
with equality (which is not the case by default).

Author:

Matthias Thimm, Anna Gessler

Constructor Summary

Constructors

Constructor	Description
MlParser()

Method Summary

Modifier and Type	Method	Description
FolSignature	getSignature()	Returns the signature of this parser.
MlBeliefSet	parseBeliefBase(java.io.Reader reader)	Parses the given reader into a belief base of the given type.
RelationalFormula	parseFormula(java.io.Reader reader)	Parses the given reader into a formula of the given type.
void	setSignature(FolSignature signature)	Sets the signature for this parser.

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

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

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

Constructor Detail

MlParser

public MlParser()

Method Detail

parseBeliefBase

public MlBeliefSet parseBeliefBase(java.io.Reader reader)
                            throws java.io.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<MlBeliefSet,RelationalFormula>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

java.io.IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.

parseFormula

public RelationalFormula parseFormula(java.io.Reader reader)
                               throws java.io.IOException,
                                      ParserException

Description copied from class: Parser

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

Specified by:

parseFormula in class Parser<MlBeliefSet,RelationalFormula>

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.io.IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.

setSignature

public void setSignature(FolSignature signature)

Sets the signature for this parser.

Parameters:

signature - a fol signature.

getSignature

public FolSignature getSignature()

Returns the signature of this parser.

Returns:

the signature of this parser.