In the Hand of the Beholder: Comparing Interactive Proof Visualizations

Talk by Alisa Kovtunova

Location: Online
Start: 12. August 2021 at 1:00 pm
End: 12. August 2021 at 2:30 pm
Event series: Research Seminar Logic and AI
iCal

Although logical inferences are interpretable, actually explaining them to a user is still a challenging task. While sometimes it may be enough to point out the axioms from the ontology that lead to the consequence of interest, more complex inferences require proofs with intermediate steps that the user can follow. Our main hypothesis is that different users need different representations of proofs for optimal understanding. To this end, we undertook some user experiments related to logical proofs. In particular, we compared tree-shaped representations with linear, text-based ones, and for each we offered an interactive and a static version. The results of the experiment and the lessons learned will be reported in the talk.

This talk will take place online via BigBlueButton. To access the room, use one of the following links:

with ZIH-login:

https://selfservice.zih.tu-dresden.de/l/link.php?m=142879&p=5d643238

without ZIH-login:

https://selfservice.zih.tu-dresden.de/link.php?m=142879&p=911ffc8d