19/02/2020, 12:55:22 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Libro o explicación: método de Davis-Putman  (Leído 1092 veces)
0 Usuarios y 1 Visitante están viendo este tema.
william bautista
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 3


Ver Perfil
« : 01/06/2015, 11:01:20 »

Hola, estoy necesitando un libro: A. Leitsch. The Resolution Calculus. Springer Verlag. 1997. necesito demostar que el método de Davis-Putman es correcto, pero casi no encuentro información,  si alguien sabe de otro libro donde la pueda estudiar este método. Mucha gracias.
En línea
luis
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 304


Ver Perfil
« Respuesta #1 : 01/06/2015, 13:06:58 »

¿Davis-Putman o Davis-Putnam-Logemann-Loveland?
En línea
william bautista
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 3


Ver Perfil
« Respuesta #2 : 02/06/2015, 02:11:07 »

 creo que digite mal es: Davis-Putnam.
En línea
luis
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 304


Ver Perfil
« Respuesta #3 : 02/06/2015, 15:32:29 »

¿Davis-Putnam o Davis-Putnam-Logemann-Loveland?

(no es por la m, es porque son cosas distintas)
En línea
william bautista
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 3


Ver Perfil
« Respuesta #4 : 02/06/2015, 18:41:52 »

   Es Davis-Putnam.
En línea
luis
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 304


Ver Perfil
« Respuesta #5 : 02/06/2015, 23:38:13 »

Lo primero que tendrías que tener claro es qué significa que ese algoritmo es correcto; que el algoritmo te indica que la fórmula es satisfacible si y solamente efectivamente lo es.

En la Wikipedia http://es.wikipedia.org/wiki/Algoritmo_de_Davis-Putnam se propone el siguiente algoritmo:

1. para cada variable en la fórmula
   1.a. para cada cláusula c que contenga la variable y cada cláusula n que contenga la negación de la variable
      1.a.i. resolver c y n y añadir la resolución a la fórmula
   1.b. eliminar todas las cláusulas originales que contengan la variable o su negación

Este planteo presupone que sabés que la fórmula está expresada como conjunto de cláusulas, y que sabés qué es resolver dos cláusulas.

Lo que este planteo no explicita es cuándo el algoritmo indica que la fórmula es o no es satisfacible. Debes recordar que la cláusula vacía es insatisfacible.

Me parece que el argumento más simple para mostrar la corrección sería una inducción en la cantidad de variables de la fórmula.

saludos
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!