Articles sur PACT

PACT propose le jugement selon lequel « la cohérence n'est pas égale à la preuve » et intègre la dénombrabilité des preuves dans la fusion multi-vues en tant que variable relationnelle. Cela signifie que les décisions critiques pour la sécurité dans la collaboration homme-machine passeront de « exécuter en constatant la cohérence » à « seules les sources dénombrables de manière indépendante constituent des conditions d'accès ». Un corollaire est que les futurs systèmes incorporés devront conserver le suivi de la source pour chaque observation de capteur, sinon la cohérence probabiliste pourrait masquer des preuves insuffisantes.