AnyVerify
Protótipo de pesquisa sobre alegações e as evidências por trás delas
As evidências disponíveis de fato sustentam uma alegação específica, atributo por atributo, e como um sistema deve dizer isso quando não consegue determinar?
Visão geral
36testes no repositório
O AnyVerify compara os atributos de uma alegação com os atributos encontrados nas suas evidências, usando perfis de comparação declarados. Cada verificação tem um de quatro resultados, e cada atributo termina corroborado, contradito ou insuficiente, até que uma revisão o resolva.
A disciplina é a honestidade sobre o desconhecido. Uma verificação que não pôde ser feita é insuficiente, nunca contradita, e um resultado que não pode ser pontuado não leva pontuação alguma, em vez de um zero.
Os seis protótipos compartilham um único núcleo de aplicação no repositório da AnyLAI: casos, uma linha do tempo de eventos encadeada por hash, evidências com proveniência e três carimbos de tempo, tarefas e atos de autoridade. Cada protótipo acrescenta apenas o seu próprio vocabulário e as suas regras.
Matriz de evidências
Declaração de origem · embarque 7
- País de origemCORROBORATED
- ProdutorCORROBORATED
- Data da colheitaINSUFFICIENT
- QuantidadeCORROBORATED
Selecione uma célula para alternar o resultado
Selecione uma célula para mudar o que uma fonte diz e veja o resultado seguir as regras.
Descrição em texto do diagrama
Uma matriz para uma declaração de origem. As linhas são atributos: país de origem, produtor, data da colheita e quantidade. As colunas são fontes: a declaração, um certificado e uma nota fiscal. Cada célula mostra o resultado de uma verificação. A última coluna mostra o resultado por atributo: corroborado quando as fontes conferem, contradito quando uma diverge, insuficiente quando uma verificação não pôde ser feita.
Elementos básicos
Alegação
Uma afirmação com atributos, como uma declaração de origem.
Perfil de comparação
Uma declaração versionada de quais atributos são comparados e como: exato, texto, número, data ou presença.
Verificação
Uma comparação, com o resultado MATCH, MISMATCH, ABSENT ou INCONCLUSIVE.
Resultado
CORROBORATED, CONTRADICTED, INSUFFICIENT, RESOLVED_BY_REVIEW ou PENDING.
Taxa de concordância
Um método nomeado que resume as verificações. Não é uma probabilidade.
Uma declaração de origem
- 1
Uma declaração informa o país de origem, o produtor, a data da colheita e a quantidade.
- 2
O certificado confere com o país e o produtor; a nota fiscal confere com a quantidade.
- 3
A data da colheita não aparece em nenhuma fonte que possa ser comparada: o atributo é insuficiente, não contradito.
- 4
Um revisor o resolve com um novo documento, e o resultado registra que a decisão veio da revisão.
Em que se diferencia
AnyVerify ≠ AnyValidProtótipo de pesquisa · não publicado
O AnyValid consulta uma fonte externa com autoridade. O AnyVerify compara as evidências que já estão em mãos.
AnyValidAnyVerify ≠ AnyTraceProtótipo de pesquisa · não publicado
O AnyTrace registra a custódia ao longo do tempo. O AnyVerify julga uma alegação em um momento determinado.
AnyTrace
Estado
Protótipo de pesquisa no repositório da AnyLAI, com dois perfis de comparação de referência. Não publicado, não implantado e nunca rodou com dados reais.
Limitações
- Concordância entre fontes é corroboração, não prova.
- Compara o que recebe; não sai em busca de evidências.
- Um resultado não é um certificado.