Article
 

A Visual Language for Explaining Probabilistic Reasoning

Public Deposited

Downloadable Content

Download PDF
https://ir.library.oregonstate.edu/concern/articles/p5547s576

Descriptions

Attribute NameValues
Creator
Abstract
  • 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.
  • 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/.
  • Keywords: Story telling, Explanation, Language semantics, Probability, Explanation transformation
  • Keywords: Story telling, Explanation, Language semantics, Probability, Explanation transformation
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
Journal Title
Journal Volume
  • 24
Journal Issue/Number
  • 2
Rights Statement
Publisher
Peer Reviewed
Language
Replaces

Relationships

Parents:

This work has no parents.

Items

Thumbnail Title Date Uploaded Visibility Actions
file details ErwigMartinElectricalEngineeringComputerScienceVisualLanguageExplaining.pdf 2017-07-18 Public Download