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>
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.
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
ConstructorDescriptionCreates the compilation of the given knowledge base. -
Method Summary
Modifier and TypeMethodDescriptionReturns 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
Creates the compilation of the given knowledge base.- Parameters:
kb
- some deductive knowledge base.
-
-
Method Details
-
getArgumentTree
Returns the argument tree for the given argument.- Parameters:
arg
- some deductive argument.- Returns:
- the argument tree for the given argument.
-