Contribución a una formalización de la inferencia directa

Resumen

El problema que trata la tesis es el de la inferencia de valoraciones sobre manifestaciones modales a partir de otras, mediante el procedimiento de referir todos los datos a una tabla finita de valores, las manifestaciones que se consideran son las generadas por el procedimiento de introducir sintacticamente un operador monario en un algebra de proposiciones, con las propiedades convencionales de un operador modal el algebra de proposiciones se considera como un algebra de funciones (bivaluados o multivaluados) sobre un conjunto finito de referencia. Por otra parte, se define de forma muy general el concepto de "conocimiento incompleto" de una funcion y se estudian algunos conceptos y operaciones fundamentales, tales como "acumulacion", "disyuncion" "ordenacion", etc. Se define y se estudian las propiedades de un conocimiento incompleto "inferido directamente" de otro conocimiento previo. El conocimiento incompleto de una valoracion o de una distribucion de posibilidad permite desarrollar el concepto de conocimiento incompleto "cerrado" desde el punto de vista de las relaciones logicas que estructuraran el algebra sobre el que estaban definidas las valoraciones recibe el nombre de "conocimiento epistemico". El teorema fundamental es el que relaciona los conocimientos incompletos mejores desde el punto de vista logico con los que se infieren de el, mediante el procedimiento de la inferencia directa. Se estudia completamente el caso en que las proposiciones sean booleanas y las manifestaciones modales sean multivaluadas (medidas de posibilidad).