IW Meeting 2013-01-10

From Inference Web

Jump to: navigation, search


Meeting Information



Meeting Preparation

Around the room

 * Add a section for yourself 2 hours before meeting.  * Mark any discussion point that you would like to raise during meeting (with DURING MEETING).   * Otherwise, assume that others will read the rest before meeting.   * Also, please be considerate and read others' discussion points before the meeting starts.




  • Drafting report on provenance dataflow composition with datacube.
  • Composing corresponding dataflow examples based on FUSE indicator processes.


  • Fuse core infrastructure for phase 2






Paulo: paper point= Q&A and proof theory (tossing is some)

Tim: using proof theory has costs that I don't see benefits to outweigh.

Paulo: justification is a step before proof theory. How to move beyond provenance to get justification. Structured provenance with "logical narrative" behind it.

justification is a subtype of provenance structure.

Tim: We need to discuss nanopublications.

Tim: how does a provennace trace differ from a logical narrative? Paulo: it's the explanation

Paulo: disinguishes: provenance, justification, explanation, and proof.

(Tim: is it that the context of the user is required for justiifcation, explanation?)

Paulo: provenance vs. justification. Justification is a subset of provenance. Provenance needs to be interpreted. e.g. "265" is the instrument, but tha'ts not known.

structured enough to provide the purpose. provenance does not need to answer question.

A justifcation is a succcessful application of provenance to fulfill a particular use. Users, purposes, intents.

Paulo: Justifications "stand alone" independent of the third party. Put as much in as possible to make it stand alone.

Explanation is an abstraction of a Justification for a particular User, by providing ONLY the knowledge that the User does not have (but needs).

You can create many Explanations from a Justification, depending on the user (or their situation).

With provenance, justification, and explanation - you have Question and Answer. Dialog between producing and consumer guides the creation of the explanation Explanation. Indirect dialog between provenance producer and the provenance consumer.

Proof theory. Need to accept the provennace exactly to use it. You want to start verifying the provenance, to check for consistency and completeness. Are the conclusions logically drawn from the antecedents. e.g. doing a simulation. Real thing costs a billion dollars. Simulation says something I don't like (will miss target by 100km). Formal verification. When you figure out what is wrong, it's not obvious what is wrong.

Let's pick it up on the infweb mailing list.


Tim to install visko

Facts about IW Meeting 2013-01-10RDF feed
Date3 January 2013  +
Personal tools