Class: Aws::Bedrock::Types::AutomatedReasoningCheckImpossibleFinding

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

Overview

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

See Also:

Constant Summary collapse

SENSITIVE = 
[]

Instance Attribute Summary collapse

Instance Attribute Details

#contradicting_rules ⇒ Array<Types::AutomatedReasoningCheckRule>

The automated reasoning policy rules that contradict the claims and/or premises in the input.

Returns:



226
227
228
229
230
231
232
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 226

class AutomatedReasoningCheckImpossibleFinding < Struct.new(
  :translation,
  :contradicting_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:



226
227
228
229
230
231
232
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 226

class AutomatedReasoningCheckImpossibleFinding < Struct.new(
  :translation,
  :contradicting_rules,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end

#translation ⇒ Types::AutomatedReasoningCheckTranslation

The logical translation of the input that this finding evaluates.

Returns:



226
227
228
229
230
231
232
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 226

class AutomatedReasoningCheckImpossibleFinding < Struct.new(
  :translation,
  :contradicting_rules,
  :logic_warning)
  SENSITIVE = []
  include Aws::Structure
end