net.sf.tweety.logics.el.parser

Class ModalParser

java.lang.Object

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

net.sf.tweety.logics.el.parser.ModalParser

public class ModalParser
extends net.sf.tweety.commons.Parser<ModalBeliefSet>

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 | "+" | "-"
ATOM ::== PREDICATENAME ("(" TERM ("," TERM)* ")")?
TERM ::== VARIABLENAME | CONSTANTNAME | FUNCTORNAME "(" (TERM ("," TERM)*)? ")"

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

Author:

Matthias Thimm, Anna Gessler

Constructor Summary

Constructors

Constructor and Description
ModalParser()

Method Summary

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

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

Constructor Detail

ModalParser

public ModalParser()

Method Detail

parseBeliefBase

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

Specified by:

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

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

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

Specified by:

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

Throws:

IOException

net.sf.tweety.commons.ParserException

setSignature

public void setSignature(net.sf.tweety.logics.fol.syntax.FolSignature signature)

Sets the signature for this parser.

Parameters:

signature - a fol signature.

getSignature

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

Returns the signature of this parser.

Returns:

the signature of this parser.