Class SimpleCAFWeakGroundedReasoner

java.lang.Object

org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

org.tweetyproject.arg.caf.reasoner.SimpleCAFWeakGroundedReasoner

All Implemented Interfaces:

ModelProvider<Argument,ConstrainedArgumentationFramework,Extension<ConstrainedArgumentationFramework>>, PostulateEvaluatable<Argument>, QualitativeReasoner<ConstrainedArgumentationFramework,Argument>, Reasoner<Boolean,ConstrainedArgumentationFramework,Argument>

public class SimpleCAFWeakGroundedReasoner
extends AbstractCAFReasoner

This reasoner for constrained Dung theories (CAF) performs inference on the weak grounded extension. Extensions are determined by checking whether the CAF has a least element.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleCAFWeakGroundedReasoner()

Method Summary

Modifier and Type	Method	Description
Extension<ConstrainedArgumentationFramework>	getModel(ConstrainedArgumentationFramework bbase)	Computes the Weak C-extension for the given constrained argumentation framework if it exists.
Collection<Extension<ConstrainedArgumentationFramework>>	getModels(ConstrainedArgumentationFramework bbase)	Computes the Weak C-extension for the given constrained argumentation framework if it exists.

Methods inherited from class org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleCAFWeakGroundedReasoner

public SimpleCAFWeakGroundedReasoner()

Method Details

getModels

public Collection<Extension<ConstrainedArgumentationFramework>> getModels(ConstrainedArgumentationFramework bbase)

Computes the Weak C-extension for the given constrained argumentation framework if it exists.

Parameters:

bbase - the constrained argumentation framework

Returns:

A collection containing the weak C-extension (if one exists).

getModel

public Extension<ConstrainedArgumentationFramework> getModel(ConstrainedArgumentationFramework bbase)

Computes the Weak C-extension for the given constrained argumentation framework if it exists.

Parameters:

bbase - the constrained argumentation framework

Returns:

The weak C-extension (if one exists).