Uses of Interface
org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure

Packages that use LogicStructure

Package	Description
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.delp.syntax
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.rpcl.syntax
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.nlp.syntax

Uses of LogicStructure in org.tweetyproject.arg.aba.syntax

Classes in org.tweetyproject.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 org.tweetyproject.arg.aspic.syntax

Classes in org.tweetyproject.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 org.tweetyproject.arg.delp.syntax

Classes in org.tweetyproject.arg.delp.syntax that implement LogicStructure

Modifier and Type	Class	Description
class	DefeasibleRule	This class models a defeasible rule in defeasible logic programming.
final 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 org.tweetyproject.logics.commons.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces

Subinterfaces of LogicStructure in org.tweetyproject.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 org.tweetyproject.logics.dl.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.ml.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.mln.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.rcl.syntax

Classes in org.tweetyproject.logics.rcl.syntax that implement LogicStructure

Modifier and Type	Class	Description
class	RelationalConditional	Instances of this class represent relational conditionals.

Uses of LogicStructure in org.tweetyproject.logics.rdl.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.rpcl.syntax

Classes in org.tweetyproject.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 org.tweetyproject.lp.asp.syntax

Classes in org.tweetyproject.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	AggregateHead	This class is a variant of the basic ASP rule head.
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 class is a common base class for ASP formulas that can be part of an ASP rule head.
class	ASPLiteral	This class defines common functionality for literals, meaning atoms or strictly negated atoms.
class	ASPRule	This class models a rule in ASP.
class	ChoiceElement	This class represents an element of a choice atom.
class	ChoiceHead	This class is a variant of the basic ASP rule head.
class	ClassicalHead	This formula represents the head of an disjunctive rule which is a disjunction of literals.
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	OptimizationElement	This class represents an element of an optimization statement, meaning a term-literal tuple that is associated with a weight and optionally a priority (level).
class	OptimizationStatement	This class represents an optimization statement.
class	StrictNegation	This class models the strict negation of an atom (as opposed to a default negation: DefaultNegation).

Uses of LogicStructure in org.tweetyproject.lp.nlp.syntax

Classes in org.tweetyproject.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.