En la programación lógica , la semántica bien fundada es una definición de cómo podemos sacar conclusiones de un conjunto de reglas lógicas. En la programación lógica, le damos a una computadora un conjunto de hechos y un conjunto de "reglas de inferencia" sobre cómo se relacionan estos hechos. Hay varias formas diferentes en las que podríamos querer que la computadora aplique estas reglas; la semántica bien fundada es una de estas formas.
Historia
La semántica bien fundada fue definida por Van Gelder, et al. en un artículo de 1991. [1]
Relaciones con otros modelos
La semántica bien fundada puede verse como una versión de tres valores de la semántica del modelo estable . [2] En lugar de solo asignar proposiciones verdaderas o falsas , también permite un valor que representa la ignorancia.
Por ejemplo, si sabemos que
Specimen A is a moth if specimen A does not fly during daylight.
pero no sabemos si el espécimen A vuela o no durante el día, la semántica bien fundada asignaría a la proposición `` el espécimen A es una polilla '' el valor bottom que no es ni verdadero ni falso .
Aplicaciones
La semántica bien fundada también es una forma de hacer inferencias seguras en presencia de datos contradictorios, como datos ruidosos o datos adquiridos de diferentes expertos que pueden plantear opiniones diferentes. Muchas semánticas de dos valores simplemente no considerarán viable un estado de problema de este tipo. La semántica bien fundada, sin embargo, tiene un mecanismo incorporado para eludir la presencia de las contradicciones y procede a derivar tantos hechos de dos valores como sea posible, aunque algunas consecuencias pueden permanecer desconocidas.
Complejidad y algoritmos
El algoritmo más rápido conocido para calcular la semántica de WF en general es de complejidad cuadrática. [ cita requerida ]
Referencias
- ^ A. Van Gelder, KA Ross y JS Schlipf. La semántica bien fundamentada para programas de lógica general . Journal of the ACM 38 (3) págs. 620—650, 1991
- ^ Przymusinski, Teodor. La semántica bien fundada coincide con la semántica estable de tres valores . Fundamenta Informaticae XIII págs. 445-463, 1990.