Reglas de Inferencia
Publicado por sergio (1 intervención) el 02/02/2011 17:43:27
Hola a Todos
tengo que realizar un programa que me pueda resolver reglas de inferencia, es decir el programa debe de recibir un conjunto de premisas aplicarles reglas de inferencia y obtener una conclusion logica por ejemplo:
Demostrar B
1)A-->B
2)A
Es decir se dan un conjunto de premisas y se tiene que demostrar lo que se pide al inicio en este caso se aplica la regla ponendo ponens y se concluye B, lo que necesito es si alguien me pudiera ayudar acerca de como lo puedo resolver, estaba pensando en hacerlo con un sistema experto pero no se si sea lo adecuado, de antemano gracias
tengo que realizar un programa que me pueda resolver reglas de inferencia, es decir el programa debe de recibir un conjunto de premisas aplicarles reglas de inferencia y obtener una conclusion logica por ejemplo:
Demostrar B
1)A-->B
2)A
Es decir se dan un conjunto de premisas y se tiene que demostrar lo que se pide al inicio en este caso se aplica la regla ponendo ponens y se concluye B, lo que necesito es si alguien me pudiera ayudar acerca de como lo puedo resolver, estaba pensando en hacerlo con un sistema experto pero no se si sea lo adecuado, de antemano gracias
Valora esta pregunta
0