Uses of Package
net.sf.tweety.logics.fol.syntax
-
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.parser Class Description FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.reasoner Class Description FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.semantics Class Description FolAtom An atom in first-order logic, i.e.FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.syntax Class Description AssociativeFolFormula This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.Conjunction The classical conjunction of first-order logic.Contradiction A contradictory formula.Disjunction The classical disjunction of first-order logic.Equivalence The equivalence of first-order logic.ExclusiveDisjunction The exclusive disjunction (XOR) in first-order logic.ExistsQuantifiedFormula Exists-quantified first-order logic formula.FolAtom An atom in first-order logic, i.e.FolFormula The common abstract class for formulas of first-order logic.FolSignature This class captures the signature of a specific first-order language.ForallQuantifiedFormula For-All-quantified first-order logic formula.Implication The implication of first-order logic.Negation The classical negation of first-order logic.SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.Tautology A tautological formula. -
Classes in net.sf.tweety.logics.fol.syntax used by net.sf.tweety.logics.fol.writer Class Description FolBeliefSet This class models a first-order knowledge base, i.e.FolFormula The common abstract class for formulas of first-order logic.