Class SimpleCAFGroundedReasoner

java.lang.Object

org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

org.tweetyproject.arg.caf.reasoner.SimpleCAFGroundedReasoner

All Implemented Interfaces:

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

public class SimpleCAFGroundedReasoner
extends AbstractCAFReasoner

This reasoner for constrained Dung theories (CAF) performs inference on the C-grounded extension. Extensions are determined by checking whether the CAF has a least element as well as whether its characteristic function is monotone.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleCAFGroundedReasoner()	Default Constructor

Method Summary

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

SimpleCAFGroundedReasoner

public SimpleCAFGroundedReasoner()

Default Constructor

Method Details

getModels

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

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A collection containing the c-grounded extension (if one exists).

getModel

public Extension<ConstrainedArgumentationFramework> getModel(ConstrainedArgumentationFramework bbase)

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

Parameters:

bbase - the constrained argumentation framework

Returns:

The c-grounded extension (if one exists).