net.sf.tweety.arg.deductive.syntax

Class SimplePlLogicDeductiveKnowledgebase

java.lang.Object

net.sf.tweety.commons.BeliefSet<SimplePlRule>

net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase

All Implemented Interfaces:

Iterable<SimplePlRule>, Collection<SimplePlRule>, net.sf.tweety.commons.BeliefBase

public class SimplePlLogicDeductiveKnowledgebase
extends net.sf.tweety.commons.BeliefSet<SimplePlRule>

Author:

Federico Cerutti 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

Constructor Summary

Constructors

Constructor and Description
SimplePlLogicDeductiveKnowledgebase()
SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.arg.dung.syntax.DungTheory	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
net.sf.tweety.commons.Signature	getSignature()

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

SimplePlLogicDeductiveKnowledgebase

public SimplePlLogicDeductiveKnowledgebase()

SimplePlLogicDeductiveKnowledgebase

public SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)

Method Detail

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.BeliefBase

Specified by:

getSignature in class net.sf.tweety.commons.BeliefSet<SimplePlRule>

getAF

public net.sf.tweety.arg.dung.syntax.DungTheory 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