Difference between revisions of "jboske whitepapers"

From Lojban
Jump to navigation Jump to search
m (Text replace - "jbocre: s" to "s")
m (Text replace - "jbocre: p" to "p")
Line 93: Line 93:
  
 
* Logical types of UI
 
* Logical types of UI
* UI and scope [[jbocre: provisionally|provisionally]]
+
* UI and scope [[provisionally|provisionally]]
  
 
To do:
 
To do:
  
 
* Classifying members of UI into the logical types
 
* Classifying members of UI into the logical types

Revision as of 11:52, 23 March 2014

These are position statements, summaries, and manifestoes which emerge out of discussions on jboske. They are purely speculative, and are going on here only because the discussions on jboske require a component which is indexed differently than mail messages sorted by date and named only by subject header.


gadri

  • XS
    • XS gadri proposal (written by xorxes) XS means "Excellent Solution". (Or "Xorxes's Solution" -- And.)

anaphora

scope

sumti qualifiers

UI


Progress

This is an indication of where the xorxes--And discussions have got to.

gadri

Done:

  • Almost complete gadri system

To do:

  • Decision about function of lVi
  • Decisions about ME & LAhE arising secondarily from the gadri system proposals

scope

Done:

  • Scope rules

To do:

  • Propose forms for two new BAhE

anaphora

In progress:

  • Rules for sumti anaphora interpretation worked out but still under discussion
  • Antecedent-targeting rules for CLL anaphora proposed & under discussion
  • New comprehensive scheme for antecedent targeting proposed & under discussion

To do:

  • Rules for bridi anaphora interpretation (already discussed briefly on phpbb)

UI

Done:

To do:

  • Classifying members of UI into the logical types