Accessible Reasoning with Diagrams: from Cognition to Automation

Zohreh Shams; Yuri Sato; Mateja Jamnik; Gem Stapleton

doi:10.1007/978-3-319-91376-6_25

Accessible Reasoning with Diagrams: from Cognition to Automation

Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

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.

Original language	English
Title of host publication	10th International Conference on the Theory and Application of Diagrams
Editors	P. Chapman, G. Stapleton, A. Moktefi , S. Perez-Kriz, F. Bellucci
Place of Publication	Edinburgh
Publisher	Springer
Pages	247-263
Volume	10871
ISBN (Electronic)	9783319913766
ISBN (Print)	9783319913759
DOIs	https://doi.org/10.1007/978-3-319-91376-6_25
Publication status	Published - 17 May 2018
Event	10th International Conference on the Theory and Application of Diagrams - Edinburgh , Edinburgh , United Kingdom Duration: 18 Jun 2018 → 22 Jun 2018 Conference number: 10 http://www.diagrams-conference.org/2018/

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	10th International Conference on the Theory and Application of Diagrams
Abbreviated title	Diagrams 2018
Country/Territory	United Kingdom
City	Edinburgh
Period	18/06/18 → 22/06/18
Internet address	http://www.diagrams-conference.org/2018/

Bibliographical note

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

Access to Document

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

DiagramsARDPaper.pdfAccepted author manuscript, 2.06 MBLicence: Unspecified

https://link.springer.com/chapter/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). Springer. https://doi.org/10.1007/978-3-319-91376-6_25

@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; 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018 ; Conference date: 18-06-2018 Through 22-06-2018",

year = "2018",

month = may,

day = "17",

doi = "10.1007/978-3-319-91376-6_25",

language = "English",

isbn = "9783319913759",

volume = "10871",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

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",

url = "http://www.diagrams-conference.org/2018/",

}

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, Springer, Edinburgh, pp. 247-263, 10th International Conference on the Theory and Application of Diagrams, Edinburgh , United Kingdom, 18/06/18. https://doi.org/10.1007/978-3-319-91376-6_25

Accessible Reasoning with Diagrams: from Cognition to Automation. / Shams, Zohreh; Sato, Yuri; Jamnik, Mateja et al.
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: Springer, 2018. p. 247-263 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

TY - GEN

T1 - Accessible Reasoning with Diagrams: from Cognition to Automation

AU - Shams, Zohreh

AU - Sato, Yuri

AU - Jamnik, Mateja

AU - Stapleton, Gem

N1 - Conference code: 10

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

A2 - Chapman, P.

A2 - Stapleton, G.

A2 - Moktefi , A.

A2 - Perez-Kriz, S.

A2 - Bellucci, F.

PB - Springer

CY - Edinburgh

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

Y2 - 18 June 2018 through 22 June 2018

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: Springer. 2018. p. 247-263. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-91376-6_25

Accessible Reasoning with Diagrams: from Cognition to Automation

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this