GuardrailAutomatedReasoningFinding

Represents a logical validation result from automated reasoning policy evaluation. The finding indicates whether claims in the input are logically valid, invalid, satisfiable, impossible, or have other logical issues.

Inheritors

Types

Link copied to clipboard

Indicates that no valid claims can be made due to logical contradictions in the premises or rules.

Link copied to clipboard

Indicates that the claims are logically false and contradictory to the established rules or premises.

Link copied to clipboard

Indicates that no relevant logical information could be extracted from the input for validation.

Link copied to clipboard

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

Link copied to clipboard
Link copied to clipboard

Indicates that the input exceeds the processing capacity due to the volume or complexity of the logical information.

Link copied to clipboard

Indicates that the input has multiple valid logical interpretations, requiring additional context or clarification.

Link copied to clipboard

Indicates that the claims are definitively true and logically implied by the premises, with no possible alternative interpretations.

Functions