Skip to content

/AWS1/CL_BDKAUTOMATEDRSNINGP00

Contains the formal logic rules, variables, and custom variable types that define an Automated Reasoning policy. The policy definition specifies the constraints used to validate foundation model responses for accuracy and logical consistency.

CONSTRUCTOR

IMPORTING

Optional arguments:

iv_version TYPE /AWS1/BDKAUTOMATEDRSNINGPLYF00 /AWS1/BDKAUTOMATEDRSNINGPLYF00

The version of the policy definition format.

it_types TYPE /AWS1/CL_BDKAUTOMATEDRSNINGP01=>TT_AUTOMATEDRSNINGPLYDEFTYPE00 TT_AUTOMATEDRSNINGPLYDEFTYPE00

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.

it_rules TYPE /AWS1/CL_BDKAUTOMATEDRSNINGP03=>TT_AUTOMATEDRSNINGPLYDEFNRLLST TT_AUTOMATEDRSNINGPLYDEFNRLLST

The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.

it_variables TYPE /AWS1/CL_BDKAUTOMATEDRSNINGP04=>TT_AUTOMATEDRSNINGPLYDEFVARI00 TT_AUTOMATEDRSNINGPLYDEFVARI00

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.


Queryable Attributes

version

The version of the policy definition format.

Accessible with the following methods

Method Description
GET_VERSION() Getter for VERSION, with configurable default
ASK_VERSION() Getter for VERSION w/ exceptions if field has no value
HAS_VERSION() Determine if VERSION has a value

types

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.

Accessible with the following methods

Method Description
GET_TYPES() Getter for TYPES, with configurable default
ASK_TYPES() Getter for TYPES w/ exceptions if field has no value
HAS_TYPES() Determine if TYPES has a value

rules

The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.

Accessible with the following methods

Method Description
GET_RULES() Getter for RULES, with configurable default
ASK_RULES() Getter for RULES w/ exceptions if field has no value
HAS_RULES() Determine if RULES has a value

variables

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.

Accessible with the following methods

Method Description
GET_VARIABLES() Getter for VARIABLES, with configurable default
ASK_VARIABLES() Getter for VARIABLES w/ exceptions if field has no value
HAS_VARIABLES() Determine if VARIABLES has a value