Class: Aws::Bedrock::Types::AutomatedReasoningCheckFinding

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

Overview

Note:

AutomatedReasoningCheckFinding is a union - when returned from an API call exactly one value will be set and the returned type will be a subclass of AutomatedReasoningCheckFinding corresponding to the set member.

Represents the result of an Automated Reasoning validation check, indicating whether the content is logically valid, invalid, or falls into other categories based on the policy rules.

See Also:

Defined Under Namespace

Classes: Impossible, Invalid, NoTranslations, Satisfiable, TooComplex, TranslationAmbiguous, Unknown, Valid

Constant Summary collapse

SENSITIVE = 
[]

Instance Attribute Summary collapse

Instance Attribute Details

#impossible ⇒ Types::AutomatedReasoningCheckImpossibleFinding

Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

Returns:



184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

class AutomatedReasoningCheckFinding < Struct.new(
  :valid,
  :invalid,
  :satisfiable,
  :impossible,
  :translation_ambiguous,
  :too_complex,
  :no_translations,
  :unknown)
  SENSITIVE = []
  include Aws::Structure
  include Aws::Structure::Union

  class Valid < AutomatedReasoningCheckFinding; end
  class Invalid < AutomatedReasoningCheckFinding; end
  class Satisfiable < AutomatedReasoningCheckFinding; end
  class Impossible < AutomatedReasoningCheckFinding; end
  class TranslationAmbiguous < AutomatedReasoningCheckFinding; end
  class TooComplex < AutomatedReasoningCheckFinding; end
  class NoTranslations < AutomatedReasoningCheckFinding; end
  class Unknown < AutomatedReasoningCheckFinding; end
end

#invalid ⇒ Types::AutomatedReasoningCheckInvalidFinding

Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

Returns:



184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

class AutomatedReasoningCheckFinding < Struct.new(
  :valid,
  :invalid,
  :satisfiable,
  :impossible,
  :translation_ambiguous,
  :too_complex,
  :no_translations,
  :unknown)
  SENSITIVE = []
  include Aws::Structure
  include Aws::Structure::Union

  class Valid < AutomatedReasoningCheckFinding; end
  class Invalid < AutomatedReasoningCheckFinding; end
  class Satisfiable < AutomatedReasoningCheckFinding; end
  class Impossible < AutomatedReasoningCheckFinding; end
  class TranslationAmbiguous < AutomatedReasoningCheckFinding; end
  class TooComplex < AutomatedReasoningCheckFinding; end
  class NoTranslations < AutomatedReasoningCheckFinding; end
  class Unknown < AutomatedReasoningCheckFinding; end
end

#no_translations ⇒ Types::AutomatedReasoningCheckNoTranslationsFinding

Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

Returns:



184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

class AutomatedReasoningCheckFinding < Struct.new(
  :valid,
  :invalid,
  :satisfiable,
  :impossible,
  :translation_ambiguous,
  :too_complex,
  :no_translations,
  :unknown)
  SENSITIVE = []
  include Aws::Structure
  include Aws::Structure::Union

  class Valid < AutomatedReasoningCheckFinding; end
  class Invalid < AutomatedReasoningCheckFinding; end
  class Satisfiable < AutomatedReasoningCheckFinding; end
  class Impossible < AutomatedReasoningCheckFinding; end
  class TranslationAmbiguous < AutomatedReasoningCheckFinding; end
  class TooComplex < AutomatedReasoningCheckFinding; end
  class NoTranslations < AutomatedReasoningCheckFinding; end
  class Unknown < AutomatedReasoningCheckFinding; end
end

#satisfiable ⇒ Types::AutomatedReasoningCheckSatisfiableFinding

Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

Returns:



184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

class AutomatedReasoningCheckFinding < Struct.new(
  :valid,
  :invalid,
  :satisfiable,
  :impossible,
  :translation_ambiguous,
  :too_complex,
  :no_translations,
  :unknown)
  SENSITIVE = []
  include Aws::Structure
  include Aws::Structure::Union

  class Valid < AutomatedReasoningCheckFinding; end
  class Invalid < AutomatedReasoningCheckFinding; end
  class Satisfiable < AutomatedReasoningCheckFinding; end
  class Impossible < AutomatedReasoningCheckFinding; end
  class TranslationAmbiguous < AutomatedReasoningCheckFinding; end
  class TooComplex < AutomatedReasoningCheckFinding; end
  class NoTranslations < AutomatedReasoningCheckFinding; end
  class Unknown < AutomatedReasoningCheckFinding; end
end

#too_complex ⇒ Types::AutomatedReasoningCheckTooComplexFinding

Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

Returns:



184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

class AutomatedReasoningCheckFinding < Struct.new(
  :valid,
  :invalid,
  :satisfiable,
  :impossible,
  :translation_ambiguous,
  :too_complex,
  :no_translations,
  :unknown)
  SENSITIVE = []
  include Aws::Structure
  include Aws::Structure::Union

  class Valid < AutomatedReasoningCheckFinding; end
  class Invalid < AutomatedReasoningCheckFinding; end
  class Satisfiable < AutomatedReasoningCheckFinding; end
  class Impossible < AutomatedReasoningCheckFinding; end
  class TranslationAmbiguous < AutomatedReasoningCheckFinding; end
  class TooComplex < AutomatedReasoningCheckFinding; end
  class NoTranslations < AutomatedReasoningCheckFinding; end
  class Unknown < AutomatedReasoningCheckFinding; end
end

#translation_ambiguous ⇒ Types::AutomatedReasoningCheckTranslationAmbiguousFinding

Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

Returns:



184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

class AutomatedReasoningCheckFinding < Struct.new(
  :valid,
  :invalid,
  :satisfiable,
  :impossible,
  :translation_ambiguous,
  :too_complex,
  :no_translations,
  :unknown)
  SENSITIVE = []
  include Aws::Structure
  include Aws::Structure::Union

  class Valid < AutomatedReasoningCheckFinding; end
  class Invalid < AutomatedReasoningCheckFinding; end
  class Satisfiable < AutomatedReasoningCheckFinding; end
  class Impossible < AutomatedReasoningCheckFinding; end
  class TranslationAmbiguous < AutomatedReasoningCheckFinding; end
  class TooComplex < AutomatedReasoningCheckFinding; end
  class NoTranslations < AutomatedReasoningCheckFinding; end
  class Unknown < AutomatedReasoningCheckFinding; end
end

#unknown ⇒ Object

Returns the value of attribute unknown

Returns:

  • (Object) —

    the current value of unknown



184
185
186
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

def unknown
  @unknown
end

#valid ⇒ Types::AutomatedReasoningCheckValidFinding

Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

Returns:



184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
 
# File 'gems/aws-sdk-bedrock/lib/aws-sdk-bedrock/types.rb', line 184

class AutomatedReasoningCheckFinding < Struct.new(
  :valid,
  :invalid,
  :satisfiable,
  :impossible,
  :translation_ambiguous,
  :too_complex,
  :no_translations,
  :unknown)
  SENSITIVE = []
  include Aws::Structure
  include Aws::Structure::Union

  class Valid < AutomatedReasoningCheckFinding; end
  class Invalid < AutomatedReasoningCheckFinding; end
  class Satisfiable < AutomatedReasoningCheckFinding; end
  class Impossible < AutomatedReasoningCheckFinding; end
  class TranslationAmbiguous < AutomatedReasoningCheckFinding; end
  class TooComplex < AutomatedReasoningCheckFinding; end
  class NoTranslations < AutomatedReasoningCheckFinding; end
  class Unknown < AutomatedReasoningCheckFinding; end
end