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
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.