Interface ClassicalFormula
- All Superinterfaces:
Conjunctable
,Disjunctable
,Formula
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
- All Known Implementing Classes:
AbstractGraphLdoModality
,AbstractLdoModality
,AlwaysQuery
,AssociativeDlFormula
,AssociativeFolFormula
,AssociativePlFormula
,AtomicConcept
,AtomicRole
,BottomConcept
,Complement
,ComplexConcept
,Conjunction
,Conjunction
,Contradiction
,Contradiction
,DefaultRule
,DefeasibleRule
,DelpFact
,DelpRule
,Disjunction
,Disjunction
,Equivalence
,Equivalence
,ExclusiveDisjunction
,ExclusiveDisjunction
,ExistentialRestriction
,ExistsQuantifiedFormula
,ExistsQuantifiedFormula
,FolAtom
,FolFormula
,ForallQuantifiedFormula
,ForallQuantifiedFormula
,HoldsQuery
,Implication
,Implication
,Indecision
,Intersection
,LdoArgument
,LdoAssociativeFormula
,LdoBoxModality
,LdoConjunction
,LdoDiamondModality
,LdoDisjunction
,LdoFormula
,LdoGraphBoxModality
,LdoGraphDiamondModality
,LdoNegation
,LdoRelation
,MlFormula
,MlnFormula
,NecessarilyQuery
,Necessity
,Negation
,Negation
,NLPNot
,PlFormula
,Possibility
,Proposition
,QueryProposition
,RelationalConditional
,RelationalFormula
,RelationalProbabilisticConditional
,SpecialFormula
,SpecialFormula
,StrictRule
,Tautology
,Tautology
,TopConcept
,Union
,UniversalRestriction
,WeakNegation
This interface models a classical formula, i.e. a formula that can be connected
to other classical formulas using AND and OR and where the complement is
well-defined.
- Author:
- Matthias Thimm, Tim Janus
-
Method Summary
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable
combineWithAnd
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable
combineWithOr
Methods inherited from interface org.tweetyproject.commons.Formula
getSignature
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.Invertable
complement
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware
getUniformProbability
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral