Una semántica tetravaluada para el razonamiento computacional

Abstract

[ES] La conocida lógica tetravaluada de Belnap y Dunn B4, definida sobre un lenguaje cuyas conectivas son la conjunción, la disyunción y la negación, está caracterizada por la semántica bivalente tipo Belnap-Dunn que se define solamente para las mencionadas conectivas. B4 ha sido generalizada por Ginsberg y dicha generalización ha sido aplicada a la inteligencia artificial (por ejemplo, a la definición de semántica para programas lógicos) por Fitting. De acuerdo con Belnap, los cuatro valores de verdad característicos de la semántica para esta lógica pueden ilustrar de forma intuitiva cómo debería «pensar» un ordenador. Por otro lado, Brady construye en 1982 el sistema BN4, que es una expansión implicativa de B4, es decir, un fortalecimiento de este último que se consigue al introducir el condicional como nueva conectiva. Meyer afirmó que BN4 es la lógica correcta para la situación tetravaluada, donde los valores de verdad extra son interpretados como «ambos« y «ninguno«. Pues bien, el propósito de esta comunicación es explicar la utilidad general (o, como mínimo, parcial) de este tipo de semántica y su funcionamiento básico como guía de razonamiento para un procesador artificial de información, esto es, para un ordenador.