AutomatedReasoningPolicyAnnotation

Contains the various operations that can be performed on an Automated Reasoning policy, including adding, updating, and deleting rules, variables, and types.

Inheritors

Types

Link copied to clipboard

An operation to add a new logical rule to the policy using formal mathematical expressions.

Link copied to clipboard

An operation to add a new rule by converting natural language descriptions into formal logical expressions.

Link copied to clipboard

An operation to add a new custom type to the policy, defining a set of possible values for policy variables.

Link copied to clipboard

An operation to add a new variable to the policy, which can be used in rule expressions to represent dynamic values.

Link copied to clipboard

An operation to remove a rule from the policy.

Link copied to clipboard

An operation to remove a custom type from the policy. The type must not be referenced by any variables or rules.

Link copied to clipboard

An operation to remove a variable from the policy. The variable must not be referenced by any rules.

Link copied to clipboard

An operation to process and incorporate new content into the policy, extracting additional rules and concepts.

Link copied to clipboard
Link copied to clipboard

An operation to update the policy based on feedback about how specific rules performed during testing or validation.

Link copied to clipboard

An operation to update the policy based on feedback about how it performed on specific test scenarios.

Link copied to clipboard

An operation to modify an existing rule in the policy, such as changing its logical expression or conditions.

Link copied to clipboard

An operation to modify an existing custom type in the policy, such as changing its name, description, or allowed values.

Link copied to clipboard

An operation to modify an existing variable in the policy, such as changing its name, type, or description.

Functions