Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure
-
-
-
Uses of LogicStructure in net.sf.tweety.arg.aba.syntax
Classes in net.sf.tweety.arg.aba.syntax that implement LogicStructure Modifier and Type Class Description class
AbaElement<T extends Formula>
Abstract class that models common properties of aba syntax elements.class
AbaRule<T extends Formula>
A common interface for assumptions and inference rules.class
Assumption<T extends Formula>
This class models an assumption of an ABA theory.class
InferenceRule<T extends Formula>
This class models an inference rule from an ABA theory.class
Negation<T extends Formula>
-
Uses of LogicStructure in net.sf.tweety.arg.aspic.syntax
Classes in net.sf.tweety.arg.aspic.syntax that implement LogicStructure Modifier and Type Class Description class
DefeasibleInferenceRule<T extends Invertable>
class
InferenceRule<T extends Invertable>
class
StrictInferenceRule<T extends Invertable>
-
Uses of LogicStructure in net.sf.tweety.arg.delp.syntax
Classes in net.sf.tweety.arg.delp.syntax that implement LogicStructure Modifier and Type Class Description class
DefeasibleRule
This class models a defeasible rule in defeasible logic programming.class
DelpFact
This class implements a fact in defeasible logic programming which encapsulates a literal.class
DelpRule
This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming and captures their common attributes and methods.class
StrictRule
This class models a strict rule in defeasible logic programming. -
Uses of LogicStructure in net.sf.tweety.logics.commons.syntax
Classes in net.sf.tweety.logics.commons.syntax that implement LogicStructure Modifier and Type Class Description class
AssociativeFormulaSupport<T extends SimpleLogicalFormula>
This class provides common implementation for associative formulas that are formulas which consists of several other formulas.class
ComplexLogicalFormulaAdapter
Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.class
Constant
A Constant represents an constant object in the world of a logical language.class
FunctionalTerm
A functional term in a logic language, i.e.class
NumberTerm
This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.class
RelationalFormula
This is the abstract base class for relational formulas, i.e.class
Sort
A sort of first-order logic.class
StringTerm
This class represents terms which are objects identified by a string.class
TermAdapter<T>
Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms.class
Variable
A Variable is a placeholder for Constants in a generic formula of a logic language. -
Uses of LogicStructure in net.sf.tweety.logics.commons.syntax.interfaces
Subinterfaces of LogicStructure in net.sf.tweety.logics.commons.syntax.interfaces Modifier and Type Interface Description interface
ComplexLogicalFormula
A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.interface
QuantifiedFormula
Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.interface
Term<T>
A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Uses of LogicStructure in net.sf.tweety.logics.dl.syntax
Classes in net.sf.tweety.logics.dl.syntax that implement LogicStructure Modifier and Type Class Description class
Individual
This class models an individual in description logic, also known as an object. -
Uses of LogicStructure in net.sf.tweety.logics.fol.syntax
Classes in net.sf.tweety.logics.fol.syntax that implement LogicStructure Modifier and Type Class Description class
AssociativeFolFormula
This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.class
Conjunction
The classical conjunction of first-order logic.class
Contradiction
A contradictory formula.class
Disjunction
The classical disjunction of first-order logic.class
Equivalence
The equivalence of first-order logic.class
ExclusiveDisjunction
The exclusive disjunction (XOR) in first-order logic.class
ExistsQuantifiedFormula
Exists-quantified first-order logic formula.class
FolAtom
An atom in first-order logic, i.e.class
FolFormula
The common abstract class for formulas of first-order logic.class
ForallQuantifiedFormula
For-All-quantified first-order logic formula.class
Implication
The implication of first-order logic.class
Negation
The classical negation of first-order logic.class
SpecialFormula
This class captures the common functionalities of the special formulas tautology and contradiction.class
Tautology
A tautological formula. -
Uses of LogicStructure in net.sf.tweety.logics.ml.syntax
Classes in net.sf.tweety.logics.ml.syntax that implement LogicStructure Modifier and Type Class Description class
MlFormula
This class models a modal formula, i.e.class
Necessity
This class models the necessity modality.class
Possibility
This class models the possibility modality. -
Uses of LogicStructure in net.sf.tweety.logics.mln.syntax
Classes in net.sf.tweety.logics.mln.syntax that implement LogicStructure Modifier and Type Class Description class
MlnFormula
Instances of this class represent first-order formulas with a weight. -
Uses of LogicStructure in net.sf.tweety.logics.rcl.syntax
Classes in net.sf.tweety.logics.rcl.syntax that implement LogicStructure Modifier and Type Class Description class
RelationalConditional
Instances of this class represent relational conditionals. -
Uses of LogicStructure in net.sf.tweety.logics.rdl.syntax
Classes in net.sf.tweety.logics.rdl.syntax that implement LogicStructure Modifier and Type Class Description class
DefaultRule
Models a default rule in Reiter's default logic, see [R. -
Uses of LogicStructure in net.sf.tweety.logics.rpcl.syntax
Classes in net.sf.tweety.logics.rpcl.syntax that implement LogicStructure Modifier and Type Class Description class
RelationalProbabilisticConditional
This class represents a relational probabilistic conditional, i.e. -
Uses of LogicStructure in net.sf.tweety.lp.asp.syntax
Classes in net.sf.tweety.lp.asp.syntax that implement LogicStructure Modifier and Type Class Description class
AggregateAtom
This class represents an aggregate.class
AggregateElement
This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).class
ArithmeticTerm
This class represents an arithmetic term in the ASP-Core-2 format.class
ASPAtom
This class models an atom, which is a basic structure for building literals and rules for logic programs.class
ASPBodyElement
This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule): Literals (i.e.class
ASPElement
This class acts as an abstract base class for elements of ASP rules.class
ASPHead
This formula represents the head of an disjunctive rule which is a disjunction of literals.class
ASPLiteral
This interface defines common functionality for literals, meaning atoms or strictly negated atoms.class
ASPRule
This class models a rule in ASP.class
ComparativeAtom
This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.class
DefaultNegation
This class represents a default negated literal, i.e.class
StrictNegation
This class models the strict negation of an atom (as apposed to a NAF negation:DefaultNegation
). -
Uses of LogicStructure in net.sf.tweety.lp.nlp.syntax
Classes in net.sf.tweety.lp.nlp.syntax that implement LogicStructure Modifier and Type Class Description class
NLPNot
A default negation of a first order formula, nested logic programs only allow not quantified formulas.class
NLPRule
A rule of a nested logic program.
-