AutomatedReasoningCheckValidFinding
Indicates that the claims are definitively true and logically implied by the premises, with no possible alternative interpretations.
Contents
- claimsTrueScenario
-
An example scenario demonstrating how the claims are logically true.
Type: AutomatedReasoningCheckScenario object
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
- supportingRules
-
The automated reasoning policy rules that support why this result is considered valid.
Type: Array of AutomatedReasoningCheckRule objects
Required: No
- translation
-
The logical translation of the input that this finding validates.
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:
