Problema de selección de reglas de lógica de inferencia

Question

Tommy, Jill y Travelor pertenecen al club Sc. Cada miembro del club SC es surfista, ciclista o ambos. A ningún ciclista le gusta un día lluvioso y a todos los surfistas les gusta un día soleado. A Jill le gusta lo que le gusta y le gusta a Tommy. lo que sea que a Tommy no le guste. A Tommy le gustan los días lluviosos y soleados.

Quiero representar la información anterior en la lógica de predicado de primer orden de tal manera que pueda representar la pregunta "¿Quién es miembro de SC Club que es un jinete de bicicletas pero no un surfista?" como una expresión lógica predicada.

¿Qué regla de inferencia de primer orden debería elegir: encadenamiento hacia adelante, encadenamiento hacia atrás o refutación de resolución?

Answer 1

En primer lugar, esta pregunta parece sacada directamente de un libro.Si ese es el caso, podría ser útil hacer referencia al libro en su pregunta.Si realmente estás estancado después de intentar resolverlo, entonces pregúntate esto...

¿Cómo funciona cada regla de inferencia y para qué sirve para encontrar soluciones en problemas de lógica de primer orden?Una vez que sepas eso, tampoco...

• No lo entenderás, pero tendrás una mejor pregunta que hacer sobre una técnica en particular.
• la respuesta obvia te llamará la atención
• Te darás cuenta de cuál de esas técnicas puede funcionar para tu problema y simplemente elegirás una.

Demostrar que se ha tomado un tiempo para intentar resolver el problema antes de publicar una pregunta sobre el estilo de un libro en stackoverflow hará que sea más probable que otras personas le ayuden.También tendrá preguntas que muestren su falta de comprensión conceptual, lo cual es una muy buena razón para publicar una pregunta aquí, en lugar de preguntas que suenen como "responder a mi tarea" como esta.