Este conjunto de proposiciones permite definir cuál es el conocimiento previo que se debe tener para comenzar el proceso de análisis de la división actual.
Por ejemplo, para poder analizar qué tratamiento ponerle a un paciente se necesita conocer el diagnóstico.
¿Qué representan las proposiciones asociadas?
Constituyen la información previa que debe ser conocida aunque no formen parte de los aspectos a estudiar en ese momento, sino elementos que al llegar a este punto, simplemente deben ser conocidos, o lo que es lo mismo, estar evaluados.
Definición de las proposiciones asociadas
Definición :Cuando un conjunto de proposiciones Pai cualquiera se encuentra asociado a una división ei, todos los elementos de Pai deben haber sido evaluados primero que los del conjunto de objetivos Oi. Pero si sucede, que en el análisis del conjunto Pai alguno de sus integrantes no se encuentra aún evaluado, entonces éste debe ser preguntado al usuario.
Ambiente visual para la edición de las proposiciones asociadas
La carpeta de edición de las proposiciones asociadas se presenta en la figura 7.2, a la derecha de la definición de los objetivos. De igual forma que estos últimos, se definen editando la o las proposiciones (números) que están asociados con la división actual de edición.
Comportamiento de las proposiciones asociadas en tiempo de ejecución
Al analizar el conjunto de proposiciones asociadas Pai, si ocurre que ya están evaluadas, ya se tienen las premisas para procesar la división y esto significa que no hay que ejecutar una acción adicional. Sin embargo, cuando alguna de ellas no tiene un valor asignado, en lugar de activar su proceso de evaluación, se le pregunta al usuario por su valor, implicando esta acción una variación en la forma de evaluación de las aquellas proposiciones cuyo atributo natural (dado por las reglas de producción) no son preguntas.