Cuando se introduce una base de reglas libres, no sólo queda definida una organización específica para las propias reglas sino también para las proposiciones que la componen, puesto que las relaciones de producción que entre ellas quedan establecidas le proporcionan un atributo natural que permite brindar un punto de partida para el trabajo que debe ejecutar un Sistema Experto y que por tanto, es de vital importancia comprender para poder acometer el desarrollo de aplicaciones concretas.
Base de Proposiciones
Supongamos se tiene una Base de Reglas Libres R, se llama Base de Proposiciones P correspondiente con R a la formada por todas aquellas proposiciones que aparecen al menos en una regla Ri ? R formando del antecedente y/o de su sucedente. Se llama Base de Proposiciones Ampliada Pa al conjunto formado por la unión de P y otro conjunto Ph de proposiciones que no pertenecen a P y sean suministradas, las cuales se denominan sin uso o hueco.
Atributos Naturales de las Proposiciones
Sea R una Base de Reglas libres y P su Base de Proposiciones correpondiente, se dice que una proposición Pi ? P es una pregunta sí y sólo sí ésta se encuentra en el antecedente de menos una regla pero no aparece en el sucedente de ninguna. Si forma parte, tanto del antecedente como del sucedente de alguna llama intermedio, y si es sucedente de al menos una pero no o en el antecedente de ninguna otra se llama objetivo.
Según ésta definición a cada proposición queda asociado un atributo, que se llama natural puesto que no es definido externamente, sino determinado por las relaciones se establecen a través de las reglas. Estos atributos definen una partición de la Base de Proposiciones en tres subconjuntos, que tienen un significado práctico y muy importante.
Atributos Naturales: Pregunta
Las proposiciones preguntas forman un conjunto Qp que llamaremos cuestionario y que representa aquella información, referida a los casos particulares a resolver, es decir, la información que el sistema no puede obtener por sí mismo, puesto que no existe ninguna relación (regla) que indique cómo llegar a ellas. Representan los datos primarios que se deben tener sobre la situación concreta que se consulta al Sistema Experto
Atributos Naturales: Objetivo
El subconjunto de proposiciones objetivos que, como su nombre indica, constituyen el foco de atención principal, pues se consideran los resultados que debe brindar el Sistema Experto y como tal son tratados. Esto significa que el sistema concentrará sus esfuerzos en tratar de obtener el peso de cada una de estas proposiciones utilizando las relaciones que hayan sido definidas en la base.
Atributos Naturales: Intermedio
El último grupo es el formado por proposiciones intermedios, las cuales constituyen en cierto sentido subobjetivos a estudiar como parte del proceso necesario para obtener el peso de otras proposiciones. En el momento de su análisis también representarán hechos que el sistema tendrá que obtener de la misma forma que si fuesen objetivos.