AutomatedReasoningPolicyDefinition¶
Structure Class¶
dataclass
¶
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.
Attributes¶
class-attribute
instance-attribute
¶
rules: list[AutomatedReasoningPolicyDefinitionRule] | None = None
The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.
class-attribute
instance-attribute
¶
types: list[AutomatedReasoningPolicyDefinitionType] | None = None
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.
class-attribute
instance-attribute
¶
variables: list[AutomatedReasoningPolicyDefinitionVariable] | None = None
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.
class-attribute
instance-attribute
¶
version: str = '1'
The version of the policy definition format.