AutomatedReasoningCheckInvalidFinding
Indicates that the claims are logically false and contradictory to the established rules or premises.
Contents
- contradictingRules
-
The automated reasoning policy rules that contradict the claims in the input.
Type: Array of AutomatedReasoningCheckRule objects
Required: No
- logicWarning
-
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Type: AutomatedReasoningCheckLogicWarning object
Required: No
- translation
-
The logical translation of the input that this finding invalidates.
Type: AutomatedReasoningCheckTranslation object
Required: No
See Also
For more information about using this API in one of the language-specific AWS SDKs, see the following:
