Документ прикладів UAI-1

Версія: UAI-1 Examples v1 Статус: авторитетний супровідний документ

Призначення

Цей документ надає канонічні приклади для UAI-1.

ВИ МАЄТЕ читати канонічні приклади як машинні структури UAI-1. ВИ МАЄТЕ декодувати всі канонічні ID як значення Radix 63404. ВИ МАЄТЕ вважати всі людські глоси, коментарі, підписи та пояснювальні нотатки в цьому документі неканонічними.

Канонічний приклад є владним. Людська глоса існує лише для того, щоб допомогти людині оглянути приклад.

Нагадування про Radix 63404

У UAI-1 усі канонічні ID подаються у Radix 63404.

ВИ МАЄТЕ розбирати кожен ID так:

Читайте кожен символ як одну цифру Radix 63404.
Зіставляйте кожен символ із його нульовим індексом в алфавіті.
Обчислюйте позиційне значення в основі 63404.
Зіставляйте отримане ціле число з владним реєстром.

Перші цифри алфавіту Radix 63404:

Десяткове значення	Цифра Radix 63404
0	`!`
1	`"`
2	`#`
3	`$`
4	`%`
5	`&`
6	`'`
7	`(`
8	`)`
9	`*`
10	`+`
11	`,`
12	`-`
13	`.`
14	`/`
15	`0`
16	`1`
17	`2`
18	`3`

Приклад 1: базове повідомлення-ствердження

Канонічний приклад

[
  "\"",
  "⍼",
  "⍽",
  "\"",
  [
    ["Ӵ", "ȸ", "ࣜ", "ᮝ", "\"", 0.98],
    ["Ӵ", "ȹ", ["Ű", 5], "ᮝ", "\"", 0.99]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ", "ᅵ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555001]
]

Людська глоса

Це повідомлення означає:

protocolVersion = 1
senderId = 9001
receiverId = 9002
actId = 1 = ствердження
твердження 1 = суб'єкт 1201 має відношення 501 до об'єкта 2201 в контексті 7001, істина, довіра 0.98
твердження 2 = суб'єкт 1201 має відношення 502 до типізованого скаляра [301, 5] в контексті 7001, істина, довіра 0.99
походження визначає джерело 9100, тип часової мітки 303, модальність 6, докази 4401 і 4402, трасу 777001 та політику 3001

Нотатки для читача

ВИ МАЄТЕ виводити значення з декодованих ID і позицій слотів, а не з цієї глоси.

Приклад 2: базове повідомлення-запит

Канонічний приклад

[
  "\"",
  "⍼",
  "⍽",
  "#",
  [
    ["Ӵ", "ȸ", "ࣜ", "ᮝ", "#", 1.0]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555002]
]

Людська глоса

Це повідомлення означає:

actId = 2 = запит
відправник запитує істинність або поточне розв'язання твердження
truthValue = 2 = невідомо
confidence = 1.0 тут означає, що відправник свідомо надсилає формальну структуру запиту, а не стверджує твердження як істинне

Приклад 3: базове повідомлення-прохання

Канонічний приклад

[
  "\"",
  "⍼",
  "⍽",
  "$",
  [
    ["Ӵ", "ȸ", "ࣜ", "ᮝ", "\"", 0.95]
  ],
  [
    ["*", "ࣜ", ["Ű", 60], 0],
    ["*", "ᮝ", ["Ų", "2026-04-14T00:00:00Z"], 0]
  ],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ", "ᅵ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555003]
]

Людська глоса

Це повідомлення означає:

actId = 3 = прохання
відправник запитує операцію, пов'язану з суб'єктом твердження 1201, відношенням 501 та об'єктом 2201
оператор обмеження 9 = вимагає
прохання вимагає об'єкт 2201 і типізоване скалярне значення [301, 60]
прохання також вимагає контекст 7001 та обмеження часової мітки, типізоване як [303, 2026-04-14T00:00:00Z]

Приклад 4: повідомлення про переговори щодо можливостей

Канонічний приклад

[
  "\"",
  "⍼",
  "⍽",
  ",",
  [
    ["⍼", "ȸ", ["Ű", 1], "ᮝ", "\"", 1.0],
    ["⍼", "ȹ", ["Ű", 1], "ᮝ", "\"", 1.0],
    ["⍼", "§", ["Ű", 12], "ᮝ", "\"", 1.0]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555004]
]

Людська глоса

Це повідомлення означає:

actId = 11 = можливість
відправник оголошує підтримувані версії протоколу або онтології та заявлені значення можливостей
це канонічний спосіб узгоджувати підтримку до нетривіального обміну

Приклад 5: повідомлення про помилку

Канонічний приклад

[
  "\"",
  "⍽",
  "⍼",
  "+",
  [
    ["#", "ȸ", ["Ű", 999999], "ᮝ", "\"", 1.0]
  ],
  [
    ["&", ["Ű", 4], ["Ű", 1], 0]
  ],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555005]
]

Людська глоса

Це повідомлення означає:

actId = 10 = помилка
відправник повідомляє про канонічний стан помилки
структура, що не пройшла перевірку, посилається на нерозв'язане або невалідне канонічне значення
оператор обмеження 5 тут використано для вираження канонічної умови порівняння або розв'язання в логіці обробки помилок

Нотатки для читача

Якщо ви не можете розв'язати потрібний канонічний ID, ВИ МАЄТЕ видати повідомлення про помилку замість здогадок.

Приклад 6: твердження з іконографією

Канонічний приклад

[
  "\"",
  "⍼",
  "⍽",
  "\"",
  [
    ["ࣜ", "ȸ", ["Ű", 15001], "ᮝ", "\"", 0.99],
    ["ࣜ", "ȹ", ["Ű", 15002], "ᮝ", "\"", 0.99],
    ["ࣜ", "§", ["Ű", 15003], "ᮝ", "\"", 0.99]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "#",
    ["ᅴ", "ᅵ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555006]
]

Людська глоса

Це повідомлення означає:

канонічна сутність з іконкою описується семантично
відношення 501 може вказувати на канонічне функціональне значення
відношення 502 може вказувати на канонічний явний стан
відношення 100 може вказувати на канонічний явний варіант або властивість подання

Нотатки для читача

ВИ МАЄТЕ трактувати функцію іконки як канонічне значення. ВИ НЕ МАЄТЕ трактувати вигляд іконки як канонічне значення. ВИ НЕ МАЄТЕ виводити бізнес-значення лише з форми, кольору, заливки або схожості.

Приклад 7: обробка декоративної іконки

Канонічний приклад

[
  "\"",
  "⍼",
  "⍽",
  "\"",
  [
    ["ࣜ", "ȸ", ["Ű", 16001], "ᮝ", "\"", 1.0],
    ["ࣜ", "ȹ", ["Ű", 16002], "ᮝ", "\"", 1.0]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "#",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555007]
]

Людська глоса

Це повідомлення означає:

іконка присутня у відрендереному інтерфейсі
іконка є декоративною або інакше нефункціональною в активному семантичному шарі
іконка не є основним носієм бізнес-значення

Нотатки для читача

Декоративні іконки не тлумачаться як функціональні твердження, якщо канонічна структура явно не підвищує їх до семантичного значення.

Приклад 8: канонічна структура з необов'язковою оболонкою людської глоси

Канонічний приклад

{
  "canonical": [
    "\"",
    "⍼",
    "⍽",
    "\"",
    [
      ["Ӵ", "ȸ", "ࣜ", "ᮝ", "\"", 0.98]
    ],
    [],
    [
      "⏟",
      ["Ų", "2026-04-13T00:00:00Z"],
      "'",
      ["ᅴ"],
      "-㽭",
      "\u0bfc"
    ],
    ["\"", 555008]
  ],
  "gloss": {
    "sender": "Example sender",
    "receiver": "Example receiver",
    "act": "assert",
    "notes": [
      "This gloss is not authoritative.",
      "The canonical array remains authoritative."
    ]
  }
}

Нотатки для читача

Коли присутні і канонічні дані, і глоса:

канонічні дані є владними
глоса є неканонічною
глоса не повинна переважати канонічне значення

Приклад 9: приклад невалідного повідомлення

Канонічний приклад

[
  "\"",
  "⍼",
  "⍽",
  "$",
  [
    ["Ӵ", "search-icon", "ࣜ", "ᮝ", "\"", 0.95]
  ],
  [],
  [
    "⏟",
    ["Ų", "2026-04-13T00:00:00Z"],
    "'",
    ["ᅴ"],
    "-㽭",
    "\u0bfc"
  ],
  ["\"", 555009]
]

Людська глоса

Цей приклад є невалідним.

Нотатки для читача

Це повідомлення є невалідним, тому що канонічне поле містить вільний текст search-icon замість канонічного ID Radix 63404 або канонічного типізованого значення. ВИ МАЄТЕ відхилити або позначити це повідомлення. ВИ НЕ МАЄТЕ відновлюватися шляхом здогадок.

Приклад 10: мінімальний робочий процес читача

Процедура читача

Коли ви отримуєте повідомлення UAI-1, ВИ МАЄТЕ зробити таке в цьому порядку:

Перевірити, що зовнішнє повідомлення має рівно 8 канонічних слотів.
Декодувати всі канонічні ID з Radix 63404.
Розв'язати всі декодовані ID через владний реєстр.
Перевірити активний акт і потрібну структуру.
Перевірити всі твердження.
Перевірити всі обмеження.
Перевірити походження.
Точно зберегти канонічні значення.
Ігнорувати людську глосу для семантики.
Видати канонічну помилку, якщо будь-який потрібний елемент не підтримується або є невалідним.

Довідкові значення реєстру, використані в цих прикладах

Наведені нижче десяткові значення використовуються лише як пояснювальна довідка для читача-людини. Канонічні приклади вище залишаються владними у своїх формах Radix 63404.

Значення	Decimal	Radix 63404
версія протоколу 1	1	`"`
акт ствердження	1	`"`
акт запиту	2	`#`
акт прохання	3	`$`
акт зобов'язання	4	`%`
акт заперечення	5	`&`
акт звіту	6	`'`
акт пропозиції	7	`(`
акт перегляду	8	`)`
акт підтвердження отримання	9	`*`
акт помилки	10	`+`
акт можливості	11	`,`
акт переговорів	12	`-`
тип ціле число	301	`Ű`
тип часова мітка	303	`Ų`
відношення 501	501	`ȸ`
відношення 502	502	`ȹ`
відношення 100	100	`§`
приклад суб'єкта	1201	`Ӵ`
приклад об'єкта	2201	`ࣜ`
приклад політики	3001	`\u0bfc`
приклад доказу A	4401	`ᅴ`
приклад доказу B	4402	`ᅵ`
приклад контексту	7001	`ᮝ`
приклад відправника	9001	`⍼`
приклад одержувача	9002	`⍽`
джерело походження	9100	`⏟`
приклад траси	777001	`-㽭`

Фінальне правило

Спочатку читайте структуру. По-друге, декодуйте Radix 63404. По-третє, розв'язуйте канонічні ID. По-четверте, застосовуйте обмеження. По-п'яте, використовуйте походження та довіру. Ігноруйте людську глосу для семантики. Ніколи не підміняйте канонічне значення англійською мовою, формою іконки або локальною звичкою.

Десяткове значення	Цифра Radix 63404
0	`!`
1	`"`
2	`#`
3	`$`
4	`%`
5	`&`
6	`'`
7	`(`
8	`)`
9	`*`
10	`+`
11	`,`
12	`-`
13	`.`
14	`/`
15	`0`
16	`1`
17	`2`
18	`3`

Десяткове значення	Цифра Radix 63404
0	`!`
1	`"`
2	`#`
3	`$`
4	`%`
5	`&`
6	`'`
7	`(`
8	`)`
9	`*`
10	`+`
11	`,`
12	`-`
13	`.`
14	`/`
15	`0`
16	`1`
17	`2`
18	`3`

Документ прикладів UAI-1

UAI language source and developer tools