core/it.unibo.tuprolog.argumentation.core.modules.labelling.argument.bp/BpGroundedCompleteModule

BpGroundedCompleteModule

object BpGroundedCompleteModule : PrologModule

The complete labelling with burdens of persuasion (module bp_grounded_complete, an argumentLabellingMode, ICLP): the partial labelling, then the grounded labelling of its UND arguments, repeated until nothing changes.

Properties

alias

override val alias: String

baseContent

open override val baseContent: Library

baseFlags

open override val baseFlags: Iterable<ArgsFlag<*, *>>

prologRawTheory

open override val prologRawTheory: String

prologTheory

open override val prologTheory: Theory

theoryOperators

open override val theoryOperators: OperatorSet

Functions

content

open fun content(): Library

flags

open fun flags(): Iterable<ArgsFlag<*, *>>

identifier

override fun identifier(): String