Exemplo de solidez e completude de inferência

11

O exemplo a seguir está correto sobre se um algoritmo de inferência é sólido e completo ?

Suponha que tenhamos agulhas a, b, c em um palheiro e também tenha um algoritmo de inferência projetado para encontrar agulhas.

  • som - Somente as agulhas a, bec são obtidas.

  • completo - as agulhas a, bec são obtidas. Outro feno também pode ser obtido.

logic IsaacS
fonte

Respostas:

10

Você quase acertou, mas sua definição de solidez não está certa, ou talvez muito sutil.

Eu diria que o algoritmo de inferência é bom se tudo retornado for uma agulha (portanto, algumas agulhas podem ser perdidas) e completo se todas as agulhas forem retornadas (portanto, também poderá ser devolvido algum feno).

Dave Clarke
fonte
Isso pode ser um problema de semântica da linguagem. Assumindo que os únicos objetos ao lado do feno são as três agulhas, o fraseado do OP está correto.
Raphael
1
De qualquer forma, minha resposta explica tudo para torná-lo mais claro.
Dave Clarke
De fato, se o fraseado fosse "Apenas agulhas a, bec podem ser obtidas", eu não teria dado uma resposta.
Dave Clarke
Assim, parece som significa que a função algorítmica vem sendo agulhas alcance, e que seja completa significa que a função é surjective ao conjunto de desnecessária no palheiro ;-)
Musa Al-Hassy