- All Superinterfaces:
- Conjuctable, Disjunctable, Formula, Invertable, ProbabilityAware, SimpleLogicalFormula
- All Known Implementing Classes:
- AbstractGraphLdoModality, AbstractLdoModality, AlwaysQuery, AssociativeFOLFormula, AssociativePropositionalFormula, Conjunction, Conjunction, Contradiction, Contradiction, DefaultRule, DefeasibleRule, DelpFact, DelpRule, Disjunction, Disjunction, ExistsQuantifiedFormula, FOLAtom, FolFormula, ForallQuantifiedFormula, HoldsQuery, LdoArgument, LdoAssociativeFormula, LdoBoxModality, LdoConjunction, LdoDiamondModality, LdoDisjunction, LdoFormula, LdoGraphBoxModality, LdoGraphDiamondModality, LdoNegation, LdoRelation, MlnFormula, ModalFormula, NecessarilyQuery, Necessity, Negation, Negation, NLPNot, Possibility, Proposition, PropositionalFormula, QueryProposition, RelationalConditional, RelationalFormula, RelationalProbabilisticConditional, SpecialFormula, SpecialFormula, StrictRule, Tautology, Tautology
public interface ClassicalFormula
extends Disjunctable, Conjuctable, 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