A Visual Language for Explaining Probabilistic Reasoning Public Deposited

http://ir.library.oregonstate.edu/concern/defaults/p5547s576

This is an author's peer-reviewed final manuscript, as accepted by the publisher. The published article is copyrighted by Elsevier and can be found at:  http://www.journals.elsevier.com/journal-of-visual-languages-and-computing/.

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • We present an explanation-oriented, domain-specific, visual language for explaining probabilistic reasoning. Explanation-oriented programming is a new paradigm that shifts the focus of programming from the computation of results to explanations of how those results were computed. Programs in this language therefore describe explanations of probabilistic reasoning problems. The language relies on a story-telling metaphor of explanation, where the reader is guided through a series of well-understood steps from some initial state to the final result. Programs can also be manipulated according to a set of laws to automatically generate equivalent explanations from one explanation instance. This increases the explanatory value of the language by allowing readers to cheaply derive alternative explanations if they do not understand the first. The language is comprised of two parts: a formal textual notation for specifying explanation-producing programs and the more elaborate visual notation for presenting those explanations. We formally define the abstract syntax of explanations and define the semantics of the textual notation in terms of the explanations that are produced.
Resource Type
DOI
Date Available
Date Issued
Citation
  • Erwig, M., & Walkingshaw, E. (2013). A visual language for explaining probabilistic reasoning. Journal of Visual Languages and Computing, 24(2), 88-109. doi:10.1016/j.jvlc.2013.01.001
Series
Keyword
Rights Statement
Publisher
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Submitted by Deanne Bruner (deanne.bruner@oregonstate.edu) on 2013-06-19T00:27:09Z No. of bitstreams: 1 ErwigMartinElectricalEngineeringComputerScienceVisualLanguageExplaining.pdf: 420628 bytes, checksum: 164a266e7f2aa68774a039275d7410f2 (MD5)
  • description.provenance : Made available in DSpace on 2013-06-19T17:16:05Z (GMT). No. of bitstreams: 1 ErwigMartinElectricalEngineeringComputerScienceVisualLanguageExplaining.pdf: 420628 bytes, checksum: 164a266e7f2aa68774a039275d7410f2 (MD5) Previous issue date: 2013-04
  • description.provenance : Approved for entry into archive by Deanne Bruner(deanne.bruner@oregonstate.edu) on 2013-06-19T17:16:05Z (GMT) No. of bitstreams: 1 ErwigMartinElectricalEngineeringComputerScienceVisualLanguageExplaining.pdf: 420628 bytes, checksum: 164a266e7f2aa68774a039275d7410f2 (MD5)

Relationships

In Administrative Set:
Last modified: 07/18/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items