Para identificar una proposición se utilizan, los textos que constituyen la definición en el lenguaje natural de lo que se está representando.
La redacción de los textos es responsabilidad del Ingeniero de Conocimientos.

Ejemplos

Si se considera como texto básico afirmativo de una proposición el siguiente:

El paciente tiene dolor de cabeza

entonces, el texto básico negativo, que puede ser redactado libremente, debe expresar de alguna forma que:

El paciente no tiene dolor de cabeza

puesto que de lo contrario, se estaría introduciendo una incongruencia no detectable automáticamente.

El paciente presenta dolor de cabeza

entonces se podría pensar que se está construyendo la misma estructura anterior, y sin embargo, a no ser que se declare explícitamente que son equivalentes, estas estructuras serán consideradas como diferentes.

Otros textos (Txj)

Existen otros tipos de textos asociados a las proposiciones, que son las explicaciones con las que se pueden incluir aclaraciones sobre el significado de las proposiciones, brindar definiciones si es que se necesitan y esclarecer su papel en la BC según su uso.

Tipos de texto

La estructura proposición presenta dos tipos de textos, que son:

  1. El texto positivo
  2. El texto negativo

Estos textos se almacenan físicamente en un archivo independiente al resto de los parámetros de la estructura proposición.

Adquisición de los textos

En el editor de textos aparecen tres sesiones de trabajo:

  • La primera corresponde a la edición del texto afirmativo
  • La segunda al texto negativo
  • La tercera muestra la forma en que aparecerá el texto final, con formato.

  • Formato de los textos

    El formato se asigna al texto por medio de una combinación de caracteres especiales:

    Combinación de  
    caracteres  
    Formato que asigna
    @*
    BOLD
    @-
    SUBRAYADO
    @~
    ITÁLICA
    @^
    SUPERINDICE
    @v
    SUBINDICE
    @|
    INICIALIZAR

    Como en cualquier editor de textos, es posible asignar color de letras o bien color de fondo a un párrafo o sección de texto dado, para lograrlo, la combinación de caracteres es el siguiente:

    Combinación de   
    caracteres  
    Formato que
    asigna  
    @(#)
    Color de letra
    @[#]
    Color de fondo

    Donde el carácter “#” corresponde al número de color que se desee tome el texto o el fondo. En el caso del texto el color implícito es el negro # = 0; en el caso del fondo, el color implícito es el blanco # = 15.

    A continuación se muestra la tabla de colores con su numero, color y el RGB (Red, Green, Blue)

    # Número   
    Color
    estándar  
      R G B
    0   
    Negro   
      (0, 0, 0)
    1   
    Rojo (Oscuro)   
      (128, 0, 0)
    2   
    Verde (Oscuro)   
      (0, 128, 0)
    3   
    -   
      (128, 128, 0)
    4   
    Azul   
      (0, 0, 128)
    5   
    Violeta   
      (128, 0, 128)
    6   
    Verde (Oscuro)   
      (0, 128, 128)
    7   
    Gris (Claro)   
      (192, 192, 192)
    8   
    Gris (Oscuro)   
      (100, 100, 100)
    9   
    Rojo   
      (255, 0, 0)
    10   
    Verde (Claro)   
      (0, 255, 0)
    11   
    Amarillo   
      (255, 255, 0)
    12   
    Azul (Claro)   
      (0, 0, 255)
    13   
    Magenta   
      (255, 0, 255)
    14   
    Cyan   
      (0, 255, 255)
    15   
    Blanco   
      (255, 255, 255)

    Ejemplo del uso de los formularios

    1. @[-1]Texto Asignar un fondo transparente
    2. @{F#}Asignar el tipo y tamaño de letra a un texto, donde la F se sustituye por la inicial del tipo de letra que se eligió, por ejemplo, para la fuente Courier se asigna la letra C, para la Times New Roman, la letra T, para la Arial la letra A. El carácter “#” corresponde al número de tamaño de fuente.
    3. @{E#} Asignar el espaciamiento entre líneas de un párrafo, donde E representa el número de esparcimiento, que por defecto es 1

    Textos dinámicos

    Cuando se trabaja en forma dinámica los textos de Proposiciones y Variables, se toma el convenio de escribir:

    *V# o *P#
    ocurriendo que en tiempo de ejecución estos caracteres serán sustituidos por los valores correspondientes de la variable # en el caso de *V# ó a la proposición # en el caso *P#.


    Convenio sobre los textos

    Se sustituye el texto por:

  • Proposiciones: valor de certidumbre correspondiente a la proposición.
  • Variables Numéricas: primer valor que esta toma.
  • Variables Cualitativas: la categoría o la lista de categorías correspondientes con los valores que la variable tiene en ese momento.

  • Ejemplo de sustitución de textos

    Supongamos el texto:

    ¿Cuál es la distancia entre los puntos P1(*V2,*V3) y P2(*V4,*V5)?

    Si las tales variables toman los siguientes valores: V2 = 2, V3 = -1, V4 = 3, V5 = 10, el texto que el sistema muestra al usuario es:
    ¿Cuál es la distancia entre los puntos P1(2,-1) y P2(3,10)?

    Nota.- Si las variables referidas no están evaluadas el sistema automáticamente activa su proceso de evaluación según el tipo en cada caso.