Package org.tweetyproject.arg.deductive.semantics

Class Compilation

java.lang.Object

org.tweetyproject.graphs.DefaultGraph<CompilationNode>

org.tweetyproject.arg.deductive.semantics.Compilation

All Implemented Interfaces:

Iterable<CompilationNode>, GeneralGraph<CompilationNode>, Graph<CompilationNode>

public class Compilation
extends DefaultGraph<CompilationNode>

Instances of this class are compilations in the sense of Definition 8 in

Philippe Besnard and Anthony Hunter. Knowledgebase Compilation for Efficient Logical Argumentation. In Proceedings of the 10th International Conference on Knowledge Representation (KR'06), pages 123-133, AAAI Press, 2006.

A compilation of a knowledge base is a graph where the nodes are the minimal inconsistent subsets of the knowledge base and the edges connect sets that have a non-empty intersection.

Author:

Matthias Thimm

Field Summary

Fields inherited from interface org.tweetyproject.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor	Description
Compilation(DeductiveKnowledgeBase kb)	Creates the compilation of the given knowledge base.

Method Summary

Modifier and Type	Method	Description
ArgumentTree	getArgumentTree(DeductiveArgument arg)	Returns the argument tree for the given argument.

Methods inherited from class org.tweetyproject.graphs.DefaultGraph

add, add, add, areAdjacent, contains, containsBackEdge, containsCycle, existsDirectedPath, existsDirectedPath, getAdjacencyMatrix, getChildren, getComplementGraph, getComponents, getCyclesExcludingSelfLoops, getCyclesIncludingSelfLoops, getEdge, getEdges, getInducedSubgraphs, getNeighbors, getNodes, getNumberOfEdges, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getStronglyConnectedComponents, getSubgraphs, getSubgraphs, hasSelfLoops, isBipartite, isWeightedGraph, iterator, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

Compilation

public Compilation(DeductiveKnowledgeBase kb)

Creates the compilation of the given knowledge base.

Parameters:

kb - some deductive knowledge base.

Method Details

getArgumentTree

public ArgumentTree getArgumentTree(DeductiveArgument arg)

Returns the argument tree for the given argument.

Parameters:

arg - some deductive argument.

Returns:

the argument tree for the given argument.