Las traducciones son generadas a través de traducción automática. En caso de conflicto entre la traducción y la version original de inglés, prevalecerá la version en inglés.

Creación de una política de razonamiento automatizado

Al crear una política de razonamiento automatizado, el documento fuente se traduce en un conjunto de reglas lógicas formales y un esquema de variables y tipos. En esta página, se explica cómo preparar el documento, crear la política y revisar los resultados.

Amazon Bedrock cifra la política de razonamiento automatizado mediante AWS Key Management Service (KMS). De forma predeterminada, Amazon Bedrock utiliza una clave propiedad del servicio. Si lo desea, puede especificar una clave de KMS administrada por el cliente para tener un control adicional sobre el cifrado de los datos de su política.

Para probar y usar tu política de razonamiento automatizado, asegúrate de tener los permisos adecuados.

Prepara tu documento fuente

Antes de abrir la consola o llamar a la API, prepare el documento que utilizará Automated Reasoning para extraer reglas y variables. La calidad de su política depende directamente de la calidad de esta información.

Estructura y claridad del documento

Las comprobaciones de razonamiento automatizadas funcionan mejor con documentos que contienen reglas claras e inequívocas. Cada regla debe establecer una condición y un resultado. Evite el lenguaje vago, los criterios subjetivos o las reglas que dependan de un contexto externo que no esté presente en el documento.

Ejemplo: reglas claras o vagas

Límites de tamaño y división de documentos grandes

Los documentos fuente tienen un tamaño limitado de 5 MB y 50 000 caracteres. Las imágenes y tablas de los documentos también se tienen en cuenta para el límite de caracteres.

Si el documento supera estos límites o si abarca varios dominios no relacionados, divídalo en secciones específicas. Por ejemplo, divida el manual del empleado en documentos separados para conocer las políticas de licencia, la elegibilidad para las prestaciones y el reembolso de gastos. Cree su política con la primera sección y, a continuación, utilice la creación iterativa de políticas (que se describe más adelante en esta página) para combinar secciones adicionales en la misma política.

Procesa previamente documentos complejos

Los documentos que contienen muchos textos repetitivos, exenciones de responsabilidad legales o contenido que no está relacionado con las normas que desea aplicar generarán políticas ruidosas con variables y reglas innecesarias. Antes de subirlos, ten en cuenta lo siguiente:

(Opcional) Utilice un LLM para reescribir los documentos como reglas lógicas

En el caso de los documentos que contengan prosa narrativa, lenguaje legal o formatos complejos, considere la posibilidad de utilizar un modelo avanzado con capacidades de razonamiento avanzadas para reescribir el contenido según reglas lógicas y claras antes de subirlo a las comprobaciones de razonamiento automatizadas. Este paso único de preprocesamiento convierte el texto en un formato que las comprobaciones de razonamiento automatizadas pueden extraer con mayor precisión, lo que se traduce en políticas de mayor calidad con menos variables no utilizadas y afirmaciones simples.

Existen dos enfoques para el preprocesamiento mediante el LLM, según la complejidad del documento y el grado de control que desee tener sobre la extracción.

Método 1: extracción de reglas en texto plano

Pídale al LLM que reescriba el documento como una lista numerada de reglas de «si entonces». Este enfoque es sencillo y funciona bien para documentos cortos y específicos en los que las reglas están relativamente claras en la fuente.

Ejemplo de mensaje:

You are a logical reasoning expert. Your task is to analyze the provided
source text and rewrite it as a set of clear, logical rules using if-then
statements.

Instructions:
1. Extract the key relationships, conditions, and outcomes from the source text.
2. Convert these into logical implications using "if-then" format.
3. Use clear, precise language that captures the original meaning.
4. Number each rule for easy reference.
5. Ensure rules are mutually consistent and non-contradictory.

Format:
- Rule [N]: If [condition], then [consequence].
- Use "and" to combine multiple conditions.
- Use "or" for alternative conditions.
- Include negations when relevant: If not [condition], then [consequence].

Example:
Source: "Students who complete all assignments and attend at least 80% of
classes will pass the course."
Rule 1: If a student completes all assignments and attends at least 80% of
classes, then they will pass the course.

Source Text:
[Paste your document here]

Método 2: extracción de reglas estructuradas

Para documentos complejos o extensos, solicite al LLM que extraiga las reglas en forma de JSON estructurado con metadatos para cada regla. Este enfoque produce resultados más detallados que le ayudan a auditar de qué partes del documento proviene cada regla, qué tan segura es la extracción y qué reglas se deducen en lugar de declararse directamente. También pide al LLM que genere reglas de cordura (límites de sentido común, como «la edad no debe ser negativa») que se traduzcan directamente en las reglas de límites que utilizan las políticas de razonamiento automatizado. Para obtener más información sobre las reglas de límites, consulte. Validación de los intervalos de valores numéricos

Ejemplo de mensaje:

You are a logical reasoning expert. Extract formal logical rules from the
provided text.

Output Format:
For each rule, provide:
- Rule ID: [unique identifier]
- Conditions: [ALL preconditions — preserve compound conditions with AND/OR/NOT]
- Consequence: [the outcome/action]
- Confidence: [high/medium/low based on text clarity]
- Source Reference: [quote or paraphrase from source]
- Rule Type: [explicit/implicit/sanity]

Critical Guidelines:
1. PRESERVE ALL CONDITIONS: Do not drop or simplify conditions.
2. PRESERVE LOGICAL OPERATORS: Maintain AND, OR, NOT relationships exactly.
3. PRESERVE QUANTIFIERS: Keep "all", "any", "at least", numeric thresholds.
4. PRESERVE EXCEPTIONS: Include "unless", "except when" clauses.
5. Make implicit conditions explicit only when clearly implied by context.
6. Use consistent terminology across rules.
7. Flag ambiguities such as unclear, incomplete, or contradictory statements.
8. Add sanity rules for common-sense constraints:
   - Numeric ranges (e.g., "age must be between 0 and 150")
   - Temporal constraints (e.g., "start date must be before end date")
   - Physical limits (e.g., "quantity cannot be negative")
   - Mutual exclusivity (e.g., "status cannot be both active and inactive")

Output Requirements:
- Produce final JSON only (no text or markdown).
- Use the following JSON keys:
  - "rules" for the rules array
  - "ambiguities" for the ambiguities array

Source Text:
[Paste your document here]

Tras ejecutar la extracción estructurada, revise el resultado de JSON. Presta especial atención a:

Convierta las reglas JSON revisadas en declaraciones tipo «if then» de texto plano para utilizarlas como documento fuente al crear la política de razonamiento automatizado.

Escribe instrucciones eficaces

Al crear una política, puede proporcionar instrucciones opcionales que guíen la forma en que Automated Reasoning procesa su documento fuente. Si bien son opcionales, las buenas instrucciones mejoran significativamente la calidad de las reglas y variables extraídas.

Las instrucciones eficaces deberían abarcar tres aspectos:

Ejemplo de instrucción:

This policy will validate HR questions about leave eligibility. The document
has sections on different leave types (parental, medical, bereavement, personal).
Users will ask questions like "Am I eligible for parental leave if I've worked
here for 9 months?" or "Can part-time employees take bereavement leave?"
Focus on the eligibility criteria for each leave type. Capture variables that
help determine whether an employee is eligible for a specific type of leave.

Cree una política en la consola

Cree una política mediante la API

Una política de razonamiento automatizado es un recurso de su cuenta de AWS identificado por un nombre de recurso de Amazon (ARN). La creación de una política a través de la API es un proceso de dos pasos: primero cree el recurso de política y, a continuación, inicie un flujo de trabajo de creación para extraer las reglas del documento.

Paso 1: Crear el recurso de políticas

Utilice la CreateAutomatedReasoningPolicy API para crear el recurso de políticas.

Ejemplo:

aws bedrock create-automated-reasoning-policy \
  --name "MyHRPolicy" \
  --description "Validates HR chatbot responses about leave eligibility" \
  --kms-key-id arn:aws:kms:us-east-1:111122223333:key/12345678-1234-1234-1234-123456789012

Ejemplo de respuesta:

{
  "createdAt": "2025-07-21T14:43:52.692Z",
  "definitionHash": "f16ba1ceca36e1d21adce559481add6a...",
  "name": "MyHRPolicy",
  "policyArn": "arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/lnq5hhz70wgk",
  "updatedAt": "2025-07-21T14:43:52.692Z",
  "version": "DRAFT"
}

Paso 2: iniciar un flujo de trabajo de creación para extraer las reglas

Utilice la StartAutomatedReasoningPolicyBuildWorkflow API con el ARN de la política del paso 1 para extraer reglas y variables del documento fuente.

Ejemplo:

# Encode your PDF to base64
PDF_BASE64=$(base64 -i your-policy.pdf | tr -d '\n')

# Start the build workflow
aws bedrock start-automated-reasoning-policy-build-workflow \
  --policy-arn arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/lnq5hhz70wgk \
  --build-workflow-type INGEST_CONTENT \
  --source-content "{
    \"policyDefinition\": {
      \"version\": \"1.0\",
      \"types\": [],
      \"rules\": [],
      \"variables\": []
    },
    \"workflowContent\": {
      \"documents\": [
        {
          \"document\": \"$PDF_BASE64\",
          \"documentContentType\": \"pdf\",
          \"documentName\": \"HR Leave Policy\",
          \"documentDescription\": \"Validates HR chatbot responses about leave eligibility. Users ask questions like 'Am I eligible for parental leave?'\"
        }
      ]
    }
  }"

Ejemplo de respuesta:

{
  "policyArn": "arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/lnq5hhz70wgk",
  "buildWorkflowId": "d40fa7fc-351e-47d8-a338-53e4b3b1c690"
}

Compruebe el estado de la construcción conListAutomatedReasoningPolicyBuildWorkflows:

aws bedrock list-automated-reasoning-policy-build-workflows \
  --policy-arn arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/lnq5hhz70wgk

Revise la política extraída

Una vez completada la compilación, revise la definición de política extraída antes de comenzar las pruebas. Detectar los problemas en esta etapa ahorra tiempo en comparación con detectarlos más adelante a través de pruebas fallidas.

En la consola, abra la política y vaya a la página de definiciones. A través de la API, utilice GetAutomatedReasoningPolicyBuildWorkflowResultAssets with --asset-type POLICY_DEFINITION para recuperar la definición extraída y --asset-type QUALITY_REPORT para recuperar el informe de calidad. Puede ver una lista completa de los activos generados durante el flujo de trabajo, como el informe de fidelidad, mediante el --asset-type ASSET_MANIFEST parámetro.

Compruebe los problemas siguientes:

Revisa el informe de fidelidad

Al crear una política a partir de un documento fuente, se genera automáticamente un informe de fidelidad junto con la política extraída. El informe de fidelidad mide la precisión con la que la política representa el contenido fuente y proporciona una base detallada que vincula cada regla y variable con afirmaciones específicas del documento. Para obtener más información sobre los conceptos de los informes de fidelidad, consulteInforme de fidelidad.

Revise el informe de fidelidad de la consola

En la consola, abra la política y elija la pestaña Documento fuente (junto a Definiciones). La vista de contenido fuente muestra cada declaración atómica extraída del documento como una fila numerada de una tabla. Cada fila muestra:

Usa los filtros desplegables Reglas y variables de la parte superior de la tabla para centrarte en las declaraciones que se basan en una regla o variable específica. Usa la barra de búsqueda para encontrar contenido específico dentro de las declaraciones extraídas.

Si edita la política después de la extracción inicial (por ejemplo, modificando reglas o añadiendo variables), pulse el botón Regenerar para actualizar el informe de fidelidad de forma que refleje la definición de política actual.

Revisa el informe de fidelidad mediante la API

GetAutomatedReasoningPolicyBuildWorkflowResultAssetsÚselo con --asset-type FIDELITY_REPORT para recuperar el informe de fidelidad. Para regenerar el informe después de realizar cambios en las políticas, utilícelo StartAutomatedReasoningPolicyBuildWorkflow con el tipo de flujo de trabajo de creación GENERATE_FIDELITY_REPORT y proporcione los documentos fuente generateFidelityReportContent sobre el terreno. El flujo de trabajo vuelve a analizar los documentos comparándolos con la definición de política actual y produce un nuevo informe de fidelidad. También puede recuperar los documentos fuente originales de un flujo de trabajo de creación anterior utilizando --asset-type SOURCE_DOCUMENT el --asset-id parámetro (obtenga el ID del activo en el manifiesto de activos).

Qué buscar

Al revisar el informe de fidelidad del APIs, preste atención a:

Elaboración iterativa de políticas

En el caso de dominios complejos, cree su política de forma gradual en lugar de intentar capturarlo todo en una sola carga de documentos. Comience con un subconjunto específico de sus reglas, cree y pruebe la política y, a continuación, añada más contenido en las siguientes iteraciones.

Agrega contenido en la consola

Añada contenido mediante la API

Llame StartAutomatedReasoningPolicyBuildWorkflow con INGEST_CONTENT y transmita la definición completa de la política actual junto con el nuevo documento. Debe incluir la definición completa existente (reglas, variables y tipos) para que el nuevo contenido se combine con la política existente en lugar de reemplazarla.

# First, retrieve the current policy definition
aws bedrock get-automated-reasoning-policy \
  --policy-arn arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/lnq5hhz70wgk

# Encode the new document
PDF_BASE64=$(base64 -i additional-rules.pdf | tr -d '\n')

# Start a build workflow with the existing definition + new document
aws bedrock start-automated-reasoning-policy-build-workflow \
  --policy-arn arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/lnq5hhz70wgk \
  --build-workflow-type INGEST_CONTENT \
  --source-content "{
    \"policyDefinition\": EXISTING_POLICY_DEFINITION_JSON,
    \"workflowContent\": {
      \"documents\": [
        {
          \"document\": \"$PDF_BASE64\",
          \"documentContentType\": \"pdf\",
          \"documentName\": \"Additional Benefits Rules\",
          \"documentDescription\": \"Additional rules covering medical and bereavement leave eligibility.\"
        }
      ]
    }
  }"

Permisos de KMS para las políticas de razonamiento automatizado

Si especifica una clave de KMS administrada por el cliente para cifrar su política de razonamiento automatizado, debe configurar los permisos que permitan a Amazon Bedrock utilizar la clave en su nombre.

Permisos de las políticas de claves

Añada la siguiente instrucción a su política de claves de KMS para permitir que Amazon Bedrock utilice la clave para las políticas de razonamiento automatizado:

{
  "Sid": "PermissionsForAutomatedReasoningPolicy",
  "Effect": "Allow",
  "Principal": {
    "AWS": "arn:aws:iam::111122223333:user/role"
  },
  "Action": [
    "kms:Decrypt",
    "kms:DescribeKey",
    "kms:GenerateDataKey"
  ],
  "Resource": "*",
  "Condition": {
    "StringEquals": {
      "kms:EncryptionContext:aws:bedrock:automated-reasoning-policy": [
        "arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/policy-id",
        "arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/policy-id:*"
      ],
      "kms:ViaService": "bedrock.us-east-1.amazonaws.com"
    }
  }
}

Permisos de IAM

Su entidad principal de IAM debe tener los siguientes permisos para usar una clave de KMS administrada por el cliente con políticas de razonamiento automatizado:

{
  "Version": "2012-10-17",
  "Statement": [
    {
      "Sid": "AllowKMSForAutomatedReasoningPolicy",
      "Effect": "Allow",
      "Action": [
        "kms:Decrypt",
        "kms:DescribeKey",
        "kms:GenerateDataKey"
      ],
      "Resource": "arn:aws:kms:us-east-1:111122223333:key/key-id",
      "Condition": {
        "StringEquals": {
          "kms:EncryptionContext:aws:bedrock:automated-reasoning-policy": [
            "arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/policy-id",
            "arn:aws:bedrock:us-east-1:111122223333:automated-reasoning-policy/policy-id:*"
          ],
          "kms:ViaService": "bedrock.us-east-1.amazonaws.com"
        }
      }
    }
  ]
}

Contexto de cifrado

Amazon Bedrock utiliza el contexto de cifrado para proporcionar seguridad adicional a sus políticas de razonamiento automatizado. El contexto de cifrado es un conjunto de pares clave-valor que se utilizan como datos autenticados adicionales al cifrar y descifrar su política.

En el caso de políticas de razonamiento automatizado, Amazon Bedrock utiliza el siguiente contexto de cifrado: