Problema de seleção de regras lógicas de inferência

Question

Tommy, Jill e Travelor pertencem ao SC Club. Todo membro do SC Club é um surfista ou um ciclista ou ambos. Nenhum piloto de bicicleta gosta de um dia chuvoso e todos os surfistas como um dia ensolarado. O que quer que Tommy não goste.

Quero representar as informações acima na lógica predicada de primeira ordem de tal maneira que eu possa representar a pergunta "Quem é um membro do SC Club que é um ciclista, mas não um surfista?" como uma expressão lógica predicada.

Que regra de inferência de primeira ordem eu deveria escolher encadeamento, encadeamento para trás ou refutação de resolução. ??

Answer 1

Primeiro, essa pergunta parece que está sendo feita diretamente fora de um livro. Se for esse o caso, pode ajudar se você faz referência ao livro em sua pergunta. Se você está realmente preso depois de tentar resolver isso, pergunte a si mesmo ...

Como funciona cada regra de inferência e que finalidade serve para encontrar soluções em problemas lógicos de primeira ordem? Depois que você sabe disso, também ...

• Você não entenderá, mas terá uma pergunta melhor para fazer sobre uma técnica específica
• A resposta óbvia vai pular para você
• Você perceberá qual dessas técnicas pode funcionar para o seu problema e apenas escolher um

Mostrar que você levou algum tempo para tentar descobrir o problema antes de postar uma pergunta ao estilo de livro no StackOverflow, tornará as outras pessoas mais propensas a ajudá -lo. Você também terá perguntas que mostram sua falta de entendimento conceitual, o que é uma boa razão para postar uma pergunta aqui, em vez de "responder aos meus trabalhos de casa", soando perguntas como essa.