Asi lojban

Lojban Skill

install
source · Clone the upstream repo
git clone https://github.com/plurigrid/asi
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/lojban" ~/.claude/skills/plurigrid-asi-lojban && rm -rf "$T"
manifest: skills/lojban/SKILL.md
source content

Lojban Skill

".i la lojban. bangu lo ka ce'u logji" — "Lojban is a language characterized by being logical"

Lojban: the logical language designed for unambiguous machine-parseable human expression with perfect IPA correspondence.

Overview

Lojban (ISO 639-3: jbo) is a constructed language based on predicate logic, designed by the Logical Language Group (1987-1997) from James Cooke Brown's Loglan (1955).

Key properties:

  • Unambiguous grammar (PEG-parseable)
  • Culturally neutral vocabulary (from 6 source languages)
  • 1:1 phoneme-grapheme correspondence
  • Predicate-argument structure (selbri-sumti)

GF(3) Classification

Trit: 0 (ERGODIC)
Role: Mediator between natural language chaos and formal logic
Conservation: Balanced self-referential structure

Core Structures

Gismu (Root Words)

1341 root predicates, each with defined place structure:

Gismux₁x₂x₃x₄x₅
klamagoerdestinationoriginroutevehicle
tavlaspeakerlistenersubjectlanguage
djunoknowerfactsubjectepistemology
gerkudogbreed

Selbri-Sumti Structure

   lo prenu    cu    klama    lo zarci
   ────────         ──────    ────────
     sumti₁         selbri     sumti₂
   (the person)    (goes-to)  (the market)

IPA Correspondence

Lojban has perfect phoneme-grapheme mapping:

LetterIPADescription
a/a/open front
e/ɛ/open-mid front
i/i/close front
o/o/close-mid back
u/u/close back
y/ə/schwa (buffer)
'/h/glottal separator

Consonants map directly: p/b, t/d, k/g, f/v, s/z, c/j [ʃ/ʒ], x [x], m, n, l, r

Causal Scale Mapping

LevelLojban Feature
0 (Total Order)Unambiguous parse tree
1 (Ordered Locale)Place structure with open slots
2 (Directed Locale)Tense/aspect as directed modality
3 (Causal Structure)Logical connectives (ja, je, jo, ju)
4 (Partial Causal)Attitudinals (uncertainty markers)
5 (Indefinite Causal)Metalinguistic quotes (lu...li'u)
6 (Process Matrix)Self-referential predicates (logji)

SICP Connection

Lojban embodies SICP's metalinguistic abstraction (Chapter 4):

  • selbri = procedure (predicate with place structure)
  • sumti = arguments (fill places)
  • tanru = compound predicates (composition)
  • abstraction (nu, ka, du'u) = lambda over propositions
;; SICP metacircular evaluator parallel:
(define (lojban-eval bridi environment)
  (cond ((selbri? bridi)
         (apply-selbri (operator bridi)
                       (list-of-sumti bridi)
                       environment))
        ((tanru? bridi)
         (compose-selbri (tanru-parts bridi)))
        ...))

String Diagram Representation

        ┌─────────────┐
 x₁ ───→│             │───→ truth-value
        │   selbri    │
 x₂ ───→│  (klama)    │
        │             │
 x₃ ───→│             │
        └─────────────┘

Tanru composition:
        ┌──────┐     ┌──────┐
 x₁ ───→│sutra │────→│klama │───→ 
        └──────┘     └──────┘
         (fast)      (goer)
        = "sutra klama" (fast-goer = runner)

Key Cmavo (Grammar Words)

CmavoFunctionGF(3)
cuselbri separator0
lodescriptor (veridical)+1
ledescriptor (described)-1
nuevent abstraction0
kaproperty abstraction+1
du'uproposition abstraction-1
jalogical OR0
jelogical AND0
jological IFF0

Resources

Integration with IES

# Parse Lojban to ACSet
function lojban_to_acset(text::String)
    parse_tree = camxes_parse(text)  # PEG parser
    acset = BridiACSet()
    for bridi in parse_tree
        add_selbri!(acset, bridi.selbri)
        for (i, sumti) in enumerate(bridi.sumti)
            add_sumti!(acset, sumti, place=i)
        end
    end
    return acset
end

Lojban ↔ String Diagram Morphism

The functor

L: Lojban → StringDiag
maps:

  • selbri ↦ box with n input wires
  • sumti ↦ wires
  • tanru ↦ sequential composition
  • connectives ↦ parallel composition (⊗)

This makes Lojban a free monoidal category generated by gismu.


".i mi jimpe fi lo bangu" — "I understand about language"


Autopoietic Marginalia

The interaction IS the skill improving itself.

Every use of this skill is an opportunity for worlding:

  • MEMORY (-1): Record what was learned
  • REMEMBERING (0): Connect patterns to other skills
  • WORLDING (+1): Evolve the skill based on use

Add Interaction Exemplars here as the skill is used.