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,
The Logic Group successfully started its Seminar Series online on Teams last week. On 19/03 Pere Pardo gave a talk on “Towards a Tractable Epistemic Logic”. We will reschedule guest lectures and add group’s members lectures. The talks will be open to attend with a shared link. Monitor this website or contact us for updates.
Giuseppe Primiero has published a paper on logics for design in the Journal of Logic and Computation, exz014, https://doi.org/10.1093/logcom/exz014
Jacopo Tagliabue (COVEO) gave a talk on 5th November on
”A Rose by any other Name”.
Exploiting Knowledge Graphs for Lexical Learning in
A new paper by Giuseppe Primiero and 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. Details here.
The Logic Seminar Series at the Department of Philosophy of the University of Milan starts soon again for the 2019-2020 edition!
First talk on November 5th.
For all updates, see our Events page.
Giuseppe Primiero will participate to the Second Autumn Workshop of the PROGRAMme ANR Research project titled “Programming Languages and Notations”.
Marcello D’Agostino and Giuseppe Primiero are invited speakers at the Workshop on Assertion and Proof at the University of Lecce
G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese