Package org.tweetyproject.arg.deductive.syntax

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

public class SimplePlLogicDeductiveKnowledgebase
extends BeliefSet<SimplePlRule,PlSignature>

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

Author:

Federico Cerutti (federico.cerutti@acm.org)

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
SimplePlLogicDeductiveKnowledgebase()	Default constructor for creating an empty deductive knowledge base.
SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)	Constructor for creating a deductive knowledge base with an initial collection of rules.

Method Summary

Modifier and Type	Method	Description
DungTheory	getAF()	Builds the argumentation framework (AF) by generating arguments and attacks between them based on the knowledge base.
Signature	getMinimalSignature()	Retrieves the minimal signature of the 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 class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

SimplePlLogicDeductiveKnowledgebase

public SimplePlLogicDeductiveKnowledgebase()

Default constructor for creating an empty deductive knowledge base.

SimplePlLogicDeductiveKnowledgebase

public SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)

Constructor for creating a deductive knowledge base with an initial collection of rules.

Parameters:

_kb - The initial collection of propositional logic rules.

Method Details

getMinimalSignature

public Signature getMinimalSignature()

Retrieves the minimal signature of the knowledge base. This signature is based on the propositional logic rules contained within the knowledge base.

Returns:

The minimal propositional logic signature of the knowledge base.

getAF

public DungTheory getAF()

Builds the argumentation framework (AF) by generating arguments and attacks between them based on the knowledge base. The arguments and attacks are formed according to the structure described in the paper "A Comparison of Formal Argumentation Systems" by Hunter and Caminada (2013). This method creates simple undercut and rebuttal attacks between the generated arguments.

Returns:

The DungTheory representing the argumentation framework with arguments and attacks.