Bedrock  >  Structures  >  AutomatedReasoningCheckTranslation

AutomatedReasoningCheckTranslation

Structure Class

AutomatedReasoningCheckTranslation dataclass

Contains the logical translation of natural language input into formal logical statements, including premises, claims, and confidence scores.

Attributes

claims instance-attribute

claims: list[AutomatedReasoningLogicStatement]

The logical statements that are being validated against the premises and policy rules.

confidence instance-attribute

confidence: float

A confidence score between 0 and 1 indicating how certain the system is about the logical translation.

premises class-attribute instance-attribute

premises: list[AutomatedReasoningLogicStatement] | None = None

The logical statements that serve as the foundation or assumptions for the claims.

untranslated_claims class-attribute instance-attribute

untranslated_claims: list[AutomatedReasoningCheckInputTextReference] | None = None

References to portions of the original input text that correspond to the claims but could not be fully translated.

untranslated_premises class-attribute instance-attribute

untranslated_premises: list[AutomatedReasoningCheckInputTextReference] | None = None

References to portions of the original input text that correspond to the premises but could not be fully translated.