Package orbital.moon.logic

Contains implementations of some logics as well as a logic and mathematical expression parser.

See:
Description

Interface Summary

LogicParserConstants

Class Summary

ClassicalLogic	Implementation of modern but classical predicate logic (first-order logic).
ClassicalLogic.InferenceMechanism	Specifies the inference mechanism applied for the inference relation.
ClassicalLogic.Utilities	Formula transformation utilities.
FuzzyLogic	Implementation of quantitative fuzzy logics.
FuzzyLogic.OperatorSet	Specifies the type of fuzzy logic to use.
LogicParser	It parses a concrete syntax (usually respecting the notation of symbols).
LogicParserTokenManager
MathExpressionSyntax	This class implements an expression syntax for mathematical expressions.
ModalLogic	Implementation of modal logic with local or global consequence.
SimpleCharStream	An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
Token	Describes the input token stream.
UniqueSymbol	A new unique symbol that is distinct from all others.

Exception Summary

ParseException

This exception is thrown when parse errors are encountered.

Error Summary

TokenMgrError

Package orbital.moon.logic Description

Contains implementations of some logics as well as a logic and mathematical expression parser.

Important classes are:

• ClassicalLogic is an implementation of classical first-order logic. Once instantiated, it is best accessed through its interface orbital.logic.imp.Logic.
• ModalLogic is an implementation of modal logic.
• FuzzyLogic instead, is an implementation of fuzzy logic.
• MathExpressionSyntax provides the syntax (and thus the parser) for mathematical expressions.
• LogicParser is a general parser for logical expressions. It can be used by implementations of orbital.logic.imp.Logic.