Posted on

A Logic of Negative Trust

We present a logic to model the behaviour of an agent trusting or not trusting messages sent by another agent. The logic formalizes trust as a consistency checking function with respect to currently available information. Negative trust is modeled in two forms: distrust as the rejection of incoming inconsistent information; mistrust, as revision of previously held information becoming undesirable in view of new incoming inconsistent information, which the agent wishes to accept. We provide a natural deduction calculus, a relational semantics and prove soundness and completeness results. We overview a number of applications which have been investigated for the proof-theoretical formulation of the logic.

G.Primiero, A Logic of Negative Trust, Journal of Applied Non-Classical Logic,
https://doi.org/10.1080/11663081.2020.1789404

Eprint available here

Posted on

NIAS Theme Group on Explainable AI

The Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS-KNAW) hosts a 2020-21 Theme Group fellowship for the project “Accountability in medical autonomous expert systems: ethical and epistemological challenges for explainable AI”.

I will work on the formal representation of design for safe and explainable computational systems. Here my NIAS Fellow Profile.

#fellowship #accountability #explainableai

Posted on

Poland Lectures Series

I am excited to be heading to Warsaw University of Technology and Catholic University of Lublin next week for a series of Lectures on Philosophy of Computing. Here the current schedule:

WUT – 19/11/19, 8.30 – 10.00
Miscomputations and Malware

WUT – 19/11/19, 17.15 – 18.45
On Computational Hypotheses and Computational Experiments

WUT – 20/11/19, 16.15 – 17.45
Information in the Philosophy of Computer Science

WUT – 21/11/19, 12.15 – 13.45
On the Foundations of Computing

Lublin – 22/11/19, 10.15-11.15
Information, Validity and Correctness in Computing

Also a great occasion to promote the book which will have just appeared https://lnkd.in/eP92x9u

Posted on

New Paper on Trust

A new paper with Davide Ceolin (CWI Amsterdam) titled “A Granular Approach to Source Trustworthiness for Negative Trust Assessment” has been published in the Proceedings of the XIII Trust Management Conference. Available here.