Problems with the SL Parser.

The JADE implementation of the SL-0 Parser strictly complies with the FIPA specifications of the SL grammar.
Here are the two most common problems that users encounter when using this parser:

  1. The parser does not accept expressions like this
    (FatherOf Peter Mary)
    because the first production rule of the grammar requires a t-uple of ContentExpression
    Content = "(" ContentExpression+ ")".
    ContentExpression = IdentifyingExpression | ActionExpression | Proposition.
  2. the parser does not accept expressions like this
    ((Car :type FIAT :color red))
    because ParameterNames (like :type and :color) cannot be used inside Propositions but only inside FunctionalTerm.
    Proposition = Wff.
    Wff = AtomicFormula | [...]
    AtomicFormula = PropositionSymbol | "(" BinaryTermOp Term Term ")" | "(" PredicateSymbol Term+ ")" | "true" | "false".
    FunctionalTerm = [...] | "(" FunctionSymbol Parameter* ")".
    Parameter = ParameterName ParameterValue .
    ParameterName = ":" String .

Posted in: More technical questions