Class SimplePlLogicDeductiveKnowledgebase
java.lang.Object
org.tweetyproject.commons.BeliefSet<SimplePlRule,PlSignature>
org.tweetyproject.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
- All Implemented Interfaces:
Iterable<SimplePlRule>
,Collection<SimplePlRule>
,BeliefBase
- Author:
- Federico Cerutti (federico.cerutti@acm.org) According to http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf a simple logic knowledge base (propositional version only in this implementation) is a set of literals---in this implementation rules with empty body---and a set of simple rules, @see SimplePlRule
-
Field Summary
Fields inherited from class org.tweetyproject.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
Constructor Summary
ConstructorDescription -
Method Summary
Modifier and TypeMethodDescriptiongetAF()
Builds simple logic arguments and attacks among them---simple undercut and simple rebuttal---as described in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdfReturns the signature of the language of this knowledge base.Methods inherited from class org.tweetyproject.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString
Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray
-
Constructor Details
-
SimplePlLogicDeductiveKnowledgebase
public SimplePlLogicDeductiveKnowledgebase() -
SimplePlLogicDeductiveKnowledgebase
-
-
Method Details
-
getMinimalSignature
Description copied from interface:BeliefBase
Returns the signature of the language of this knowledge base.- Returns:
- the signature of the language of this knowledge base.
-
getAF
Builds simple logic arguments and attacks among them---simple undercut and simple rebuttal---as described in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf- Returns:
- the DungTheory built on the simple logic knowledge base following http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
-