-
Notifications
You must be signed in to change notification settings - Fork 5
Steps of Work
An important conceptual unit for a Lurch user is a "step of work." This refers to an individual piece of reasoning that can be graded on its own (provided that any other data it cites is available). If Lurch can give feedback on steps of student work, it can satisfy most of our goals for the project.
Consequently, in this section of the wiki, we consider the four components that Lurch must support in order to be able to give feedback on steps of student work (labels, expressions, citations, and formulas, each defined below). And we demonstrate how each of those four components could be built upon the foundation given in this document so far.
Until now, we have been stipulating how the LDE will do its job, marshaling various Structures throughout the IT and the OT. Now we begin stipulating how we will use that infrastructure, by subclassing IS and OS to implement the four components in a step of work. Each component is covered on a separate page, linked to below.
In each case, we begin by describing how the component will be implemented in the OT, since that is the canonical mathematical representation of meaning in the LDE. We then proceed back to the IT to determine how the client can represent the concept to the LDE, for its conversion into canonical meaning during interpretation.
Not seeing typeset math? GitHub doesn't render MathJax; try a browser plugin.
Main sections:
More to come!