We're proud to announce the second talk in a series of online seminars,
sponsored by the PRO3 project "Understanding public data: Experts,
Decisions, Epistemic Values (EDEV)". (For more info on the project and the
full calendar of its events, see <https://edevpro3.wordpress.com/
<https://www.google.com/url?q=https://edevpro3.wordpress.com/&source=gmail-imap&ust=1697560456000000&usg=AOvVaw2GselUNuqHPIQPv9_ZOTI_>
>.)
Ekaterina Koubychkina (U Milan), “Trustworthy AI: Probabilities Meet
Possible Worlds”, Friday 17 November, 11.30-13:00 CET, at <
https://meet.google.com/fxo-utad-cbx>.
*The notion of trustworthiness, central to many fields of human inquiry,
has recently attracted the attention of various researchers in logic,
computer science, and artificial intelligence (AI). Both conceptual and
formal approaches for modelling trustworthiness as a (desirable) property
of AI systems are emerging in the literature. To develop logics fit for
this aim means to analyse both the non-deterministic aspect of AI systems
and to offer a formalization of the intended meaning of their
trustworthiness. In this work we take a semantic perspective on
representing such processes, and provide a measure on possible worlds for
evaluating them as trustworthy. In particular, we intend trustworthiness as
the correspondence within acceptable limits between a model in which the
theoretical probability of a process to produce a given output is expressed
and a model in which the frequency of showing such output as established
during a relevant number of tests is measured. From a technical
perspective, we show that our semantics characterizes a probabilistic typed
natural deduction calculus. This contribution connects those results on
trustworthy probabilistic processes with the mainstream method in modal
logic, thereby facilitating the understanding of this field of research for
a larger audience of logicians, as well as setting the stage for an
epistemic logic appropriate to the task.*
For any question, please get in touch with the organizers:
Lorenzo Casini <[log in to unmask]>
Caterina Sisti <[log in to unmask]>
Ludovica Conti <[log in to unmask]>
--
Lorenzo Casini
Research Fellow
IMT School for Advanced Studies
Piazza S. Ponziano 6, 55100 Lucca, Italy
https://lorenzocasini.weebly.com
You may leave the list at any time by sending the command
SIGNOFF allstat
to [log in to unmask], leaving the subject line blank.
|