Accessible Reasoning with Diagrams: from Cognition to Automation

Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton

Research output: Chapter in Book/Report/Conference proceedingConference contribution with ISSN or ISBN

Abstract

High-tech systems are ubiquitous and often safety and securitycritical: reasoning about their correctness is paramount. Thus, precise modelling and formal reasoning are necessary in order to convey knowledge unambiguously and accurately. Whilst mathematical modelling adds great rigour, it is opaque to many stakeholders which leads to errors in data handling, delays in product release, for example. This is a major motivation for the development of diagrammatic approaches to formalisation and reasoning about models of knowledge. In this paper, we present an interactive theorem prover, called iCon, for a highly expressive diagrammatic logic that is capable of modelling OWL 2 ontologies and, thus, has practical relevance. Significantly, this work is the first to design diagrammatic inference rules using insights into what humans nd accessible.Specifically, we conducted an experiment about relative cognitive benefits of primitive (small step) and derived (big step) inferences, and use the results to guide the implementation of inference rules in iCon.
LanguageEnglish
Title of host publication10th International Conference on the Theory and Application of Diagrams
EditorsP. Chapman, G. Stapleton, A. Moktefi , S. Perez-Kriz, F. Bellucci
Place of PublicationEdinburgh
Pages247-263
Volume10871
ISBN (Electronic)9783319913766
DOIs
StatePublished - 17 May 2018
Event10th International Conference on the Theory and Application of Diagrams - Edinburgh , Edinburgh , United Kingdom
Duration: 18 Jun 201822 Jun 2018
Conference number: 10
http://www.diagrams-conference.org/2018/

Publication series

NameLecture Notes in Computer Science

Conference

Conference10th International Conference on the Theory and Application of Diagrams
Abbreviated titleDiagrams 2018
CountryUnited Kingdom
CityEdinburgh
Period18/06/1822/06/18
Internet address

Fingerprint

Data handling
Ontology
Automation
Experiments

Bibliographical note

The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91376-6_25

Cite this

Shams, Z., Sato, Y., Jamnik, M., & Stapleton, G. (2018). Accessible Reasoning with Diagrams: from Cognition to Automation. In P. Chapman, G. Stapleton, A. Moktefi , S. Perez-Kriz, & F. Bellucci (Eds.), 10th International Conference on the Theory and Application of Diagrams (Vol. 10871, pp. 247-263). (Lecture Notes in Computer Science). Edinburgh. DOI: 10.1007/978-3-319-91376-6_25
Shams, Zohreh ; Sato, Yuri ; Jamnik, Mateja ; Stapleton, Gem. / Accessible Reasoning with Diagrams: from Cognition to Automation. 10th International Conference on the Theory and Application of Diagrams. editor / P. Chapman ; G. Stapleton ; A. Moktefi ; S. Perez-Kriz ; F. Bellucci. Vol. 10871 Edinburgh, 2018. pp. 247-263 (Lecture Notes in Computer Science).
@inproceedings{0cc6e1c272d2484a9ae3320467512cb4,
title = "Accessible Reasoning with Diagrams: from Cognition to Automation",
abstract = "High-tech systems are ubiquitous and often safety and securitycritical: reasoning about their correctness is paramount. Thus, precise modelling and formal reasoning are necessary in order to convey knowledge unambiguously and accurately. Whilst mathematical modelling adds great rigour, it is opaque to many stakeholders which leads to errors in data handling, delays in product release, for example. This is a major motivation for the development of diagrammatic approaches to formalisation and reasoning about models of knowledge. In this paper, we present an interactive theorem prover, called iCon, for a highly expressive diagrammatic logic that is capable of modelling OWL 2 ontologies and, thus, has practical relevance. Significantly, this work is the first to design diagrammatic inference rules using insights into what humans nd accessible.Specifically, we conducted an experiment about relative cognitive benefits of primitive (small step) and derived (big step) inferences, and use the results to guide the implementation of inference rules in iCon.",
author = "Zohreh Shams and Yuri Sato and Mateja Jamnik and Gem Stapleton",
note = "The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91376-6_25",
year = "2018",
month = "5",
day = "17",
doi = "10.1007/978-3-319-91376-6_25",
language = "English",
isbn = "9783319913759",
volume = "10871",
series = "Lecture Notes in Computer Science",
pages = "247--263",
editor = "P. Chapman and G. Stapleton and {Moktefi }, A. and S. Perez-Kriz and F. Bellucci",
booktitle = "10th International Conference on the Theory and Application of Diagrams",

}

Shams, Z, Sato, Y, Jamnik, M & Stapleton, G 2018, Accessible Reasoning with Diagrams: from Cognition to Automation. in P Chapman, G Stapleton, A Moktefi , S Perez-Kriz & F Bellucci (eds), 10th International Conference on the Theory and Application of Diagrams. vol. 10871, Lecture Notes in Computer Science, Edinburgh, pp. 247-263, 10th International Conference on the Theory and Application of Diagrams, Edinburgh , United Kingdom, 18/06/18. DOI: 10.1007/978-3-319-91376-6_25

Accessible Reasoning with Diagrams: from Cognition to Automation. / Shams, Zohreh; Sato, Yuri; Jamnik, Mateja; Stapleton, Gem.

10th International Conference on the Theory and Application of Diagrams. ed. / P. Chapman; G. Stapleton; A. Moktefi ; S. Perez-Kriz; F. Bellucci. Vol. 10871 Edinburgh, 2018. p. 247-263 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution with ISSN or ISBN

TY - GEN

T1 - Accessible Reasoning with Diagrams: from Cognition to Automation

AU - Shams,Zohreh

AU - Sato,Yuri

AU - Jamnik,Mateja

AU - Stapleton,Gem

N1 - The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91376-6_25

PY - 2018/5/17

Y1 - 2018/5/17

N2 - High-tech systems are ubiquitous and often safety and securitycritical: reasoning about their correctness is paramount. Thus, precise modelling and formal reasoning are necessary in order to convey knowledge unambiguously and accurately. Whilst mathematical modelling adds great rigour, it is opaque to many stakeholders which leads to errors in data handling, delays in product release, for example. This is a major motivation for the development of diagrammatic approaches to formalisation and reasoning about models of knowledge. In this paper, we present an interactive theorem prover, called iCon, for a highly expressive diagrammatic logic that is capable of modelling OWL 2 ontologies and, thus, has practical relevance. Significantly, this work is the first to design diagrammatic inference rules using insights into what humans nd accessible.Specifically, we conducted an experiment about relative cognitive benefits of primitive (small step) and derived (big step) inferences, and use the results to guide the implementation of inference rules in iCon.

AB - High-tech systems are ubiquitous and often safety and securitycritical: reasoning about their correctness is paramount. Thus, precise modelling and formal reasoning are necessary in order to convey knowledge unambiguously and accurately. Whilst mathematical modelling adds great rigour, it is opaque to many stakeholders which leads to errors in data handling, delays in product release, for example. This is a major motivation for the development of diagrammatic approaches to formalisation and reasoning about models of knowledge. In this paper, we present an interactive theorem prover, called iCon, for a highly expressive diagrammatic logic that is capable of modelling OWL 2 ontologies and, thus, has practical relevance. Significantly, this work is the first to design diagrammatic inference rules using insights into what humans nd accessible.Specifically, we conducted an experiment about relative cognitive benefits of primitive (small step) and derived (big step) inferences, and use the results to guide the implementation of inference rules in iCon.

U2 - 10.1007/978-3-319-91376-6_25

DO - 10.1007/978-3-319-91376-6_25

M3 - Conference contribution with ISSN or ISBN

SN - 9783319913759

VL - 10871

T3 - Lecture Notes in Computer Science

SP - 247

EP - 263

BT - 10th International Conference on the Theory and Application of Diagrams

CY - Edinburgh

ER -

Shams Z, Sato Y, Jamnik M, Stapleton G. Accessible Reasoning with Diagrams: from Cognition to Automation. In Chapman P, Stapleton G, Moktefi A, Perez-Kriz S, Bellucci F, editors, 10th International Conference on the Theory and Application of Diagrams. Vol. 10871. Edinburgh. 2018. p. 247-263. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-91376-6_25