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

Inherits:
Struct
  • Object
show all
Includes:
Structure
Defined in:
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.



309
310
311
312
313
314
315
 
# File 'lib/aws-sdk-bedrock/types.rb', line 309

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.



309
310
311
312
313
314
315
 
# File 'lib/aws-sdk-bedrock/types.rb', line 309

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.



309
310
311
312
313
314
315
 
# File 'lib/aws-sdk-bedrock/types.rb', line 309

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