AnyVerify
Protótipo de investigação sobre alegações e as evidências por trás delas
As evidências disponíveis sustentam realmente uma alegação específica, atributo a atributo, e como deve um sistema dizê-lo 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, com base em 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 assentam num único núcleo de aplicação comum 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 data e hora, 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 · remessa 7
- País de origemCORROBORATED
- ProdutorCORROBORATED
- Data da colheitaINSUFFICIENT
- QuantidadeCORROBORATED
Selecione uma célula para alternar o resultado
Ao selecionar uma célula, muda o que uma fonte diz, e o resultado segue 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 fatura. 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 indica 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 fatura 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 resolve o atributo com um novo documento, e o resultado indica que a decisão veio da revisão.
Em que se diferencia
AnyVerify ≠ AnyValidProtótipo de investigação · não publicado
O AnyValid consulta uma fonte externa com autoridade. O AnyVerify compara as evidências que já estão disponíveis.
AnyValidAnyVerify ≠ AnyTraceProtótipo de investigação · não publicado
O AnyTrace documenta a custódia ao longo do tempo. O AnyVerify julga uma alegação num momento determinado.
AnyTrace
Estado
Protótipo de investigação no repositório da AnyLAI, com dois perfis de comparação de referência. Não publicado, não colocado em produção e nunca executado com dados reais.
Limitações
- Concordância entre fontes é corroboração, não prova.
- Compara o que recebe; não vai à procura de evidências.
- Um resultado não é um certificado.