In the Head of the Beholder: Comparing Different Proof Representations
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Ontologies provide the logical underpinning for the Semantic Web, but their consequences can sometimes be surprising and must be explained to users. A promising kind of explanations are proofs generated via automated reasoning. We report about a series of studies with the purpose of exploring how to explain such formal logical proofs to humans. We compare different representations, such as tree- vs. text-based visualizations, but also vary other parameters such as length, interactivity, and the shape of formulas. We did not find evidence to support our main hypothesis that different user groups can understand different proof representations better. Nevertheless, when participants directly compared proof representations, their subjective rankings showed some tendencies such as that most people prefer short tree-shaped proofs. However, this did not impact the user’s understanding of the proofs as measured by an objective performance measure.
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22) |
Editors | Guido Governatori, Anni-Yasmin Turhan |
Publisher | Springer, Berlin [u. a.] |
Pages | 211-226 |
Number of pages | 16 |
Publication status | Published - 2022 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science, Volume 13752 |
---|---|
ISSN | 0302-9743 |
External IDs
Scopus | 85145252219 |
---|---|
dblp | conf/ruleml/AlrabbaaBHKKRW22 |
Mendeley | 412ef367-fe40-3d7f-b893-7565520e0e72 |
ORCID | /0000-0001-9936-0943/work/142238131 |