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

A

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

Constructs a new DefaultSequence

C

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

combineWithAnd(Conjuctable) - 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

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, FolFormula, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule

Creates a new DefaultRule

DefaultRule(FolFormula, Collection<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(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence

constructs an empty sequence of defaults of the default theory dt

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

constructs a sequence by appending d to ds

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

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

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

constructs empty default theory

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

G

getAllExtensions() - Method in class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

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.DefaultTheory

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

getFacts() - Method in class net.sf.tweety.logics.rdl.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

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.DefaultTheory

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.DefaultTheory

Removes Variables by expanding formulas

H

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(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

Tests wether all applicble defaukts from t have been applied

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

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

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

M

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

N

NaiveDefaultReasoner - Class in net.sf.tweety.logics.rdl

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

NaiveDefaultReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

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

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

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

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

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(Formula) - Method in class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

R

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

RDLTest - Class in net.sf.tweety.logics.rdl.test

RDL Test

RDLTest() - Constructor for class net.sf.tweety.logics.rdl.test.RDLTest

S

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

T

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

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

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

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