Compartir
Título
Una semántica tetravaluada para el razonamiento computacional
Autor(es)
Materia
Semántica bivalente tipo Belnap-Dunn
Lógica tetravaluada
Lógica tetravaluada de Belnap y Dunn
Lógica y computación
Lógica birreticular
Lógica tetravaluada de Brady
Clasificación UNESCO
11 Lógica
Fecha de publicación
2018
Editor
Ediciones Universidad de Salamanca
Citación
López Velasco, S.M. (2018). Una semántica tetravaluada para el razonamiento computacional. En, Ana Cuevas Badallo, Obdulia Torres González, Rodrigo López Orellana y Daniel Labrador Montero (eds.), Cultura científica y cultura tecnológica: Actas del IV Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología.
Serie / N.º
Aquilafuente;250
Resumen
[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.
URI
ISBN
9788490129739
Colecciones
Ficheros en el ítem
Tamaño:
127.7Kb
Formato:
Adobe PDF
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Una lógica multiagente para nociones epistemológicas básicas: creencia, conocimiento y justificación
Yuste Ginel, Antonio (2017-06)Trabajo fin de máster