AutomatedReasoningPolicyDefinition ¶

class AutomatedReasoningPolicyDefinition(TypedDict, closed=True):
    version: "capo_bedrock.types.automated_reasoning_policy_format_version.AutomatedReasoningPolicyFormatVersion"
    """<p>The version of the policy definition format.</p>"""
    types: NotRequired[
        "capo_bedrock.types.automated_reasoning_policy_definition_type_list.AutomatedReasoningPolicyDefinitionTypeList"
    ]
    """<p>The custom user-defined vairable types used in the policy. Types are enum-based variable types that provide additional context beyond the predefined variable types.</p>"""
    rules: NotRequired[
        "capo_bedrock.types.automated_reasoning_policy_definition_rule_list.AutomatedReasoningPolicyDefinitionRuleList"
    ]
    """<p>The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.</p>"""
    variables: NotRequired[
        "capo_bedrock.types.automated_reasoning_policy_definition_variable_list.AutomatedReasoningPolicyDefinitionVariableList"
    ]
    """<p>The variables that represent concepts in the policy. Variables can have values assigned when translating natural language into formal logic. Their descriptions are crucial for accurate translation.</p>"""