Package edu.cs.ai.kreator.logic

Interface Summary
Latexable Defines a Interface to generate a LaTeX conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals, cpds ...
LogicTranslator<L,S,P,A,T,V extends T,C extends T> This a generic interface for translating the KReator logic into another logic and vice-versa.
 

Class Summary
AtomExpression This class models an atom expression in bayesian logic.
Clause This class models a clause in clausal logic, i.e., a formula of the form "A <- A1,...
ClauseNetwork A clause network represents the dependencies between a set of clauses.
ClauseNetworkNode This class represents a node in a clause network, i.e.
Constant This class models a constant, i.e., a member of the universe under discourse.
FolAllQuantification  
FolAtom  
FolBinaryJunction  
FolConjunction  
FolDisjunction  
FolEquivalence  
FolExistQuantification  
FolFormula  
FolImplication  
FolNegation  
FolQuantification  
FunctionTerm This class models a function term in first-order logic, i.e., it encapsulates a functor together with a list of parameters.
Functor This class models a functor in first-order logic.
GeneralizedAtom This class models a generalized atom, i.e., it encapsulates a predicate symbol and a list of parameters.
GeneralizedPredicate This class models a generalized predicate.
LanguageFactory An instance of this class is responsible for maintaining a unique object status of symbolic names of constants, predicates, etc., within a single language.
Literal This abstract class models a literal in first-order logic.
Sort  
SpiritGrammarConform Defines an abstract class to generate a SPIRIT conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals...
StrictNegation  
Term This interfaces summarizes the common functionalities of terms in first-order logic.
ToLatexTest  
TweetyTranslator A translation class: it translates the native KReator logic to tweety and vice-versa.
Variable This class models a variable in first-order logic, i.e., a placeholder for any constant in the universe under discourse.
VariableFactory An instance of this class is responsible for maintaining a unique object status of variables within the scope of variables, e.g. within clauses.
 

Enum Summary
LanguageFactory.GrammarStyle  
Literal.TruthValue  
 

Exception Summary
TranslationException Exception is thrown if the translation of the foreign logic to KReator logic or vice versa fails.