Interface ClassicalFormula
-
- All Superinterfaces:
Conjunctable
,Disjunctable
,Formula
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
- All Known Implementing Classes:
AbstractGraphLdoModality
,AbstractLdoModality
,AlwaysQuery
,AssociativeDlFormula
,AssociativeFolFormula
,AssociativePlFormula
,AtomicConcept
,AtomicRole
,BottomConcept
,CardinalityConstraint
,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
,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
public interface ClassicalFormula extends Disjunctable, Conjunctable, Invertable, ProbabilityAware
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
-
-