bedrock/aws.sdk.kotlin.services.bedrock.model/AutomatedReasoningCheckFinding

AutomatedReasoningCheckFinding

sealed class AutomatedReasoningCheckFinding

Represents the result of an Automated Reasoning validation check, indicating whether the content is logically valid, invalid, or falls into other categories based on the policy rules.

Inheritors

TranslationAmbiguous

Types

data class Impossible(val value: AutomatedReasoningCheckImpossibleFinding) : AutomatedReasoningCheckFinding

Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

data class Invalid(val value: AutomatedReasoningCheckInvalidFinding) : AutomatedReasoningCheckFinding

Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

data class NoTranslations(val value: AutomatedReasoningCheckNoTranslationsFinding) : AutomatedReasoningCheckFinding

Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

data class Satisfiable(val value: AutomatedReasoningCheckSatisfiableFinding) : AutomatedReasoningCheckFinding

Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

object SdkUnknown : AutomatedReasoningCheckFinding

data class TooComplex(val value: AutomatedReasoningCheckTooComplexFinding) : AutomatedReasoningCheckFinding

Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

TranslationAmbiguous

data class TranslationAmbiguous(val value: AutomatedReasoningCheckTranslationAmbiguousFinding) : AutomatedReasoningCheckFinding

Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

data class Valid(val value: AutomatedReasoningCheckValidFinding) : AutomatedReasoningCheckFinding

Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

Functions

fun asImpossible(): AutomatedReasoningCheckImpossibleFinding

Casts this AutomatedReasoningCheckFinding as a Impossible and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckImpossibleFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a Impossible.

asImpossibleOrNull

fun asImpossibleOrNull(): AutomatedReasoningCheckImpossibleFinding?

Casts this AutomatedReasoningCheckFinding as a Impossible and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckImpossibleFinding value. Returns null if the AutomatedReasoningCheckFinding is not a Impossible.

fun asInvalid(): AutomatedReasoningCheckInvalidFinding

Casts this AutomatedReasoningCheckFinding as a Invalid and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckInvalidFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a Invalid.

asInvalidOrNull

fun asInvalidOrNull(): AutomatedReasoningCheckInvalidFinding?

Casts this AutomatedReasoningCheckFinding as a Invalid and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckInvalidFinding value. Returns null if the AutomatedReasoningCheckFinding is not a Invalid.

asNoTranslations

fun asNoTranslations(): AutomatedReasoningCheckNoTranslationsFinding

Casts this AutomatedReasoningCheckFinding as a NoTranslations and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckNoTranslationsFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a NoTranslations.

asNoTranslationsOrNull

fun asNoTranslationsOrNull(): AutomatedReasoningCheckNoTranslationsFinding?

Casts this AutomatedReasoningCheckFinding as a NoTranslations and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckNoTranslationsFinding value. Returns null if the AutomatedReasoningCheckFinding is not a NoTranslations.

fun asSatisfiable(): AutomatedReasoningCheckSatisfiableFinding

Casts this AutomatedReasoningCheckFinding as a Satisfiable and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckSatisfiableFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a Satisfiable.

asSatisfiableOrNull

fun asSatisfiableOrNull(): AutomatedReasoningCheckSatisfiableFinding?

Casts this AutomatedReasoningCheckFinding as a Satisfiable and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckSatisfiableFinding value. Returns null if the AutomatedReasoningCheckFinding is not a Satisfiable.

fun asTooComplex(): AutomatedReasoningCheckTooComplexFinding

Casts this AutomatedReasoningCheckFinding as a TooComplex and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckTooComplexFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a TooComplex.

asTooComplexOrNull

fun asTooComplexOrNull(): AutomatedReasoningCheckTooComplexFinding?

Casts this AutomatedReasoningCheckFinding as a TooComplex and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckTooComplexFinding value. Returns null if the AutomatedReasoningCheckFinding is not a TooComplex.

asTranslationAmbiguous

fun asTranslationAmbiguous(): AutomatedReasoningCheckTranslationAmbiguousFinding

Casts this AutomatedReasoningCheckFinding as a TranslationAmbiguous and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckTranslationAmbiguousFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a TranslationAmbiguous.

asTranslationAmbiguousOrNull

fun asTranslationAmbiguousOrNull(): AutomatedReasoningCheckTranslationAmbiguousFinding?

Casts this AutomatedReasoningCheckFinding as a TranslationAmbiguous and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckTranslationAmbiguousFinding value. Returns null if the AutomatedReasoningCheckFinding is not a TranslationAmbiguous.

fun asValid(): AutomatedReasoningCheckValidFinding

Casts this AutomatedReasoningCheckFinding as a Valid and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckValidFinding value. Throws an exception if the AutomatedReasoningCheckFinding is not a Valid.

fun asValidOrNull(): AutomatedReasoningCheckValidFinding?

Casts this AutomatedReasoningCheckFinding as a Valid and retrieves its aws.sdk.kotlin.services.bedrock.model.AutomatedReasoningCheckValidFinding value. Returns null if the AutomatedReasoningCheckFinding is not a Valid.