Class: Aws::Bedrock::Types::AutomatedReasoningCheckValidFinding

Inherits:
Struct
  • Object
show all
Includes:
Structure
Defined in:
lib/aws-sdk-bedrock/types.rb

Overview

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

See Also:

Constant Summary collapse

SENSITIVE = 
[]

Instance Attribute Summary collapse

Instance Attribute Details

#claims_true_scenario ⇒ Types::AutomatedReasoningCheckScenario

An example scenario demonstrating how the claims are logically true.

Returns:



574
575
576
577
578
579
580
581
 
# File 'lib/aws-sdk-bedrock/types.rb', line 574

class AutomatedReasoningCheckValidFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :supporting_rules,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end

#logic_warning ⇒ Types::AutomatedReasoningCheckLogicWarning

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

Returns:



574
575
576
577
578
579
580
581
 
# File 'lib/aws-sdk-bedrock/types.rb', line 574

class AutomatedReasoningCheckValidFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :supporting_rules,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end

#supporting_rules ⇒ Array<Types::AutomatedReasoningCheckRule>

The automated reasoning policy rules that support why this result is considered valid.

Returns:



574
575
576
577
578
579
580
581
 
# File 'lib/aws-sdk-bedrock/types.rb', line 574

class AutomatedReasoningCheckValidFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :supporting_rules,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end

#translation ⇒ Types::AutomatedReasoningCheckTranslation

The logical translation of the input that this finding validates.

Returns:



574
575
576
577
578
579
580
581
 
# File 'lib/aws-sdk-bedrock/types.rb', line 574

class AutomatedReasoningCheckValidFinding < Struct.new(
  :translation,
  :claims_true_scenario,
  :supporting_rules,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end