A C D E G H I M N P Q R S T
All Classes All Packages

A

add(FolFormula) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

addAll(Collection<? extends FolFormula>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

app(DefaultRule) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

Constructs a new DefaultSequence

C

clear() - Method in class net.sf.tweety.logics.rdl.semantics.Extension

clone() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

combineWithAnd(Conjunctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

complement() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

contains(Object) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

containsAll(Collection<?>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

containsQuantifier() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

D

DefaultProcessTree - Class in net.sf.tweety.logics.rdl.semantics

Computes the extensions of a default theory

DefaultProcessTree(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree

constructs a default process tree out of the default theory t

DefaultRule - Class in net.sf.tweety.logics.rdl.syntax

Models a default rule in Reiter's default logic, see [R.

DefaultRule() - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule

an empty Default Rule

DefaultRule(FolFormula, Collection<FolFormula>, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule

Creates a new DefaultRule

DefaultRule(FolFormula, FolFormula, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule

Creates a new DefaultRule

DefaultSequence - Class in net.sf.tweety.logics.rdl.semantics

sequence of defaults

DefaultSequence(DefaultSequence, DefaultRule) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence

constructs a sequence by appending d to ds

DefaultSequence(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence

constructs an empty sequence of defaults of the default theory dt

DefaultTheory - Class in net.sf.tweety.logics.rdl.syntax

Models a default theory in Reiter's default logic, see [R.

DefaultTheory() - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultTheory

constructs empty default theory

DefaultTheory(FolBeliefSet, Collection<DefaultRule>) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultTheory

constructs a default theory from a knowledge base and a set of defaults

E

equals(Object) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

equals(Object) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

Extension - Class in net.sf.tweety.logics.rdl.semantics

An extension of a default theory, i.e.

Extension() - Constructor for class net.sf.tweety.logics.rdl.semantics.Extension

Default constructor

Extension(Collection<FolFormula>) - Constructor for class net.sf.tweety.logics.rdl.semantics.Extension

Creates a new extension with the given set of formulas.

G

getAtoms() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getConclusion() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getDefaults() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory

getExtensions() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree

getFacts() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory

getFunctors() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getIn() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

getJustification() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getMinimalSignature() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory

getModel(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner

getModels(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner

getOut() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

getPredicates() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getPrerequisite() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getProcesses() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree

getQuantifierVariables() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getSignature() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getTerms() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getTerms(Class<C>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getUnboundVariables() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getUniformProbability() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

ground() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory

Removes Variables by expanding formulas

H

hashCode() - Method in class net.sf.tweety.logics.rdl.semantics.Extension

hashCode() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

I

isApplicable(DefaultRule) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

applicable ^= pre in In and (not jus_i) not in In forall i

isClosed() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isClosed(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

Tests wether all applicble defaukts from t have been applied

isEmpty() - Method in class net.sf.tweety.logics.rdl.semantics.Extension

isLiteral() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isNormal(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

Tests, whether the default is normal normal ^= a:c/c

isProcess() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

process <=> all defaults are unique and applicable in sequence

isSuccessful() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

successfull <=> there is no x: x in In and x in Out

isWellBound() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

iterator() - Method in class net.sf.tweety.logics.rdl.semantics.Extension

M

main(String[]) - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample

N

net.sf.tweety.logics.rdl.examples - package net.sf.tweety.logics.rdl.examples

net.sf.tweety.logics.rdl.parser - package net.sf.tweety.logics.rdl.parser

net.sf.tweety.logics.rdl.reasoner - package net.sf.tweety.logics.rdl.reasoner

net.sf.tweety.logics.rdl.semantics - package net.sf.tweety.logics.rdl.semantics

net.sf.tweety.logics.rdl.syntax - package net.sf.tweety.logics.rdl.syntax

P

parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.rdl.parser.RdlParser

parseFormula(Reader) - Method in class net.sf.tweety.logics.rdl.parser.RdlParser

Q

query(DefaultTheory, FolFormula) - Method in class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner

query(DefaultTheory, FolFormula, InferenceMode) - Method in class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner

Queries the given default theory for the given query using the given inference mode.

R

RdlExample - Class in net.sf.tweety.logics.rdl.examples

RDL Test

RdlExample() - Constructor for class net.sf.tweety.logics.rdl.examples.RdlExample

RdlParser - Class in net.sf.tweety.logics.rdl.parser

This class implements a parser for default logic.

RdlParser() - Constructor for class net.sf.tweety.logics.rdl.parser.RdlParser

remove(Object) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

removeAll(Collection<?>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

retainAll(Collection<?>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

S

satisfies(FolFormula) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

satisfies(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

SimpleDefaultReasoner - Class in net.sf.tweety.logics.rdl.reasoner

Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

SimpleDefaultReasoner() - Constructor for class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner

size() - Method in class net.sf.tweety.logics.rdl.semantics.Extension

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

T

toArray() - Method in class net.sf.tweety.logics.rdl.semantics.Extension

toArray(T[]) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

toString() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

toString() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

toString() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory

A C D E G H I M N P Q R S T
All Classes All Packages