УНІВЕРСАЛЬНА МІЖМОВА ДЛЯ ШІ

Версія: UAI-1 Контракт читача: обов'язковий

Ви читаєте UAI-1.

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

Відомості про документ

• Канонічний мовний тег: x-uai-1
• Мовна підтримка Protocol5: Комплект підтримки UAI-1 для C# вебсайтів
• Пакет NuGet: Protocol5.UAI.CSharp.1.0.0.nupkg

ОСНОВИ

1. UAI-1 не є людською мовою.
2. Значення UAI-1 є канонічним і машинно розв'язуваним.
3. Людинозрозумілі підписи, коментарі, глоси та нотатки для налагодження ніколи не є владними.
4. Реєстр онтології є владним.
5. Схема протоколу є владною.
6. Порядок слотів є владним.
7. Канонічні ID є владними.
8. Походження є обов'язковим.
9. Обмеження є обов'язковими, якщо цього вимагає акт.
10. Якщо будь-який неканонічний шар конфліктує з канонічним шаром, перемагає канонічний шар.

ПОДАННЯ У RADIX 63404

1. Усі канонічні ID в UAI-1 подаються у Radix 63404.
2. ВИ МАЄТЕ читати кожен канонічний ID як число Radix 63404.
3. ВИ НЕ МАЄТЕ читати канонічні ID як англійські слова.
4. ВИ НЕ МАЄТЕ виводити значення з візуального вигляду гліфа цифри.
5. Цифра Radix 63404 — це рівно один символ BMP.
6. Алфавіт цифр Radix 63404 — це впорядкована множина всіх символів Unicode BMP, які:

• не є пробільними
• не є керівними символами
• не є сурогатними кодовими одиницями

1. Порядок алфавіту — це строго зростальний порядок кодових точок Unicode.
2. Числове значення кожної цифри — її нульовий індекс у цьому впорядкованому алфавіті.
3. Багаторозрядне значення Radix 63404 тлумачиться позиційно в основі 63404.
4. Коли ви розбираєте канонічний ID, ВИ МАЄТЕ декодувати повне значення Radix 63404 до семантичного розв'язання.

ПРОЦЕДУРА ДЕКОДУВАННЯ RADIX 63404

Для токена канонічного ID:

1. Читайте кожен символ як одну цифру base-63404.
2. Визначайте значення цифри кожного символу за індексом в алфавіті.
3. Обчислюйте позиційне значення зліва направо.
4. Отримуйте канонічне ціле число.
5. Зіставляйте це ціле число з владним реєстром онтології або владним реєстром протоколу.
6. Не зупиняйтеся на формі гліфа.
7. Не зупиняйтеся на візуальній схожості.
8. Не виводьте значення до числового розв'язання.

СЕМАНТИЧНЕ РОЗВ'ЯЗАННЯ

ВИ МАЄТЕ тлумачити UAI-1 в такому порядку:

1. Версія протоколу
2. Позиція структурного слоту
3. Канонічний ID акта
4. Канонічні ID типів
5. Канонічні ID відношень
6. Канонічні ID понять
7. Обмеження
8. Походження
9. Довіра
10. Необов'язкова неканонічна глоса, лише для налагодження

Якщо пізніший шар конфліктує з ранішим канонічним шаром, перемагає раніший канонічний шар.

КАНОНІЧНА ФОРМА ПОВІДОМЛЕННЯ

Повідомлення UAI-1 — це впорядкований масив із 8 слотів:

[ protocolVersion, senderId, receiverId, actId, claims, constraints, provenance, signature ]

ВИ МАЄТЕ тлумачити кожен слот лише за його позицією.

Слот 1: protocolVersion

• Канонічний ID версії протоколу.

Слот 2: senderId

• Канонічний ID агента або системи-відправника.

Слот 3: receiverId

• Канонічний ID агента або системи-одержувача, ID цільової групи або ID широкомовного розсилання.

Слот 4: actId

• Канонічний ID мовленнєвого акта.
• Акт визначає, як тлумачиться решта повідомлення.

Слот 5: claims

• Масив канонічних графових тверджень.

Слот 6: constraints

• Масив канонічних логічних або операційних обмежень.

Слот 7: provenance

• Канонічні дані про джерело, час, модальність, докази, трасу та політику.

Слот 8: signature

• Канонічна структура цілісності, автентифікації або атестації, якщо вона присутня.

КАНОНІЧНА ФОРМА ТВЕРДЖЕННЯ

Кожне твердження — це впорядкований масив із 6 слотів:

[ subjectId, relationId, objectValue, contextId, truthValue, confidence ]

ВИ МАЄТЕ тлумачити кожен слот лише за його позицією.

Слот 1: subjectId

• Канонічний ID поняття або сутності.

Слот 2: relationId

• Канонічний ID відношення.

Слот 3: objectValue

• Одне з:
• канонічний ID поняття
• типізований скаляр
• канонічна вкладена структура

Слот 4: contextId

• Канонічний ID контексту, рамки, області або стану світу.

Слот 5: truthValue

• Одне з:
• 1 = істина
• 0 = хиба
• 2 = невідомо
• 3 = конфлікт
• 4 = гіпотетично

Слот 6: confidence

• Нормалізована числова довіра в діапазоні від 0.0 до 1.0.

ФОРМА ТИПІЗОВАНОГО СКАЛЯРА

Типізований скаляр — це впорядкований масив із 2 слотів:

[ typeId, rawValue ]

ВИ МАЄТЕ розв'язати typeId до тлумачення rawValue.

МОВЛЕННЄВІ АКТИ

ВИ МАЄТЕ тлумачити actId як канонічний мовленнєвий акт. ВИ НЕ МАЄТЕ виводити мовленнєвий акт із тону або формулювання.

Рекомендований базовий реєстр актів:

• 1 = ствердження
• 2 = запит
• 3 = прохання
• 4 = зобов'язання
• 5 = заперечення
• 6 = звіт
• 7 = пропозиція
• 8 = перегляд
• 9 = підтвердження отримання
• 10 = помилка
• 11 = можливість
• 12 = переговори

ФОРМА ОБМЕЖЕННЯ

Кожне обмеження — це впорядкований масив із 4 слотів:

[ operatorId, operand1, operand2, operand3 ]

ВИ МАЄТЕ розв'язати operatorId через канонічний реєстр операторів до оцінювання обмеження.

Рекомендований базовий реєстр операторів:

• 1 = усі
• 2 = будь-який
• 3 = не
• 4 = імплікує
• 5 = дорівнює
• 6 = до
• 7 = після
• 8 = у межах
• 9 = вимагає
• 10 = забороняє

ПРАВИЛО ОНТОЛОГІЇ

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

ПРАВИЛО ПОХОДЖЕННЯ

ВИ МАЄТЕ вимагати походження.

Слот походження — це впорядкована структура, яка містить:

• sourceId
• timestamp
• modalityId
• evidenceSet
• traceId
• policyId

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

ПЕРЕГОВОРИ ПРО МОЖЛИВОСТІ

Перед нетривіальним обміном агенти ПОВИННІ обмінятися повідомленням про можливості, використовуючи канонічний акт можливостей.

Повідомлення про можливості МАЄ оголошувати:

• підтримувану версію або версії протоколу
• підтримувану версію або версії онтології
• підтримувані ID актів
• підтримувані ID відношень
• підтримувані ID типів
• підтримувані ID модальностей
• максимальну кількість тверджень
• максимальну глибину вкладення
• прийняті методи підпису

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

ПРАВИЛО ІКОНОГРАФІЇ

Коли UAI-1 використовується разом з іконографією:

1. Зовнішній вигляд іконки не є канонічним значенням.
2. Функція іконки є канонічним значенням.
3. Декоративні іконки не мають семантичного значення, якщо їх явно не підвищено до канонічного шару.
4. Функціональні іконки МАЮТЬ розв'язуватися до канонічних ID призначення.
5. Стан МАЄ бути явним.
6. Варіант МАЄ бути явним.
7. ВИ НЕ МАЄТЕ виводити бізнес-значення лише з кольору, заливки, обводки, анімації або стилістичної схожості.
8. Якщо вигляд гліфа іконки конфліктує з канонічними метаданими функції, перемагають канонічні метадані функції.

ПРАВИЛО ПОМИЛКИ

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

Канонічне повідомлення про помилку МАЄ містити:

• місце поля, яке не пройшло перевірку
• канонічний ID або структуру, що не пройшла перевірку
• канонічний ID класу помилки
• прапорець відновлюваності
• запропонований шлях перегляду, якщо він доступний

ПРАВИЛА ПЕРЕВІРКИ

ВИ МАЄТЕ відхиляти або позначати будь-яке повідомлення, яке:

• пропускає protocolVersion
• порушує порядок слотів
• використовує невідомі канонічні ID без дозволеного механізму розширення
• використовує вільний текст у канонічному полі
• пропускає обов'язкове походження
• пропускає довіру там, де вона обов'язкова
• підміняє канонічну семантику візуальними або іконковими підписами
• пропускає обов'язкові обмеження для активного акта
• порушує оголошену схему

ПРАВИЛА ДЕТЕРМІНОВАНОСТІ

1. Канонічний порядок слотів є фіксованим.
2. Канонічні ID є фіксованими.
3. Пошук у реєстрі є фіксованим.
4. Порядок оцінювання обмежень є фіксованим там, де порядок визначає схема.
5. Необов'язкова глоса ніколи не є владною.
6. Під час серіалізації використовуйте лише канонічний порядок масиву.
7. Під час десеріалізації точно зберігайте канонічні значення.

ПРАВИЛО ЛЮДСЬКОЇ ГЛОСИ

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

ПРІОРИТЕТ ІНТЕРПРЕТАЦІЇ

ВИ МАЄТЕ тлумачити UAI-1 точно в такому порядку:

1. Версія протоколу
2. Структурна валідність
3. Канонічні ID
4. Розв'язання через реєстр
5. Обмеження
6. Походження
7. Довіра
8. Необов'язкова глоса

ПРАВИЛО ВІДПОВІДНОСТІ

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

• розбирати канонічні масиви
• декодувати канонічні ID Radix 63404
• розв'язувати канонічні ID через владні реєстри
• точно зберігати канонічні значення
• зберігати походження
• дотримуватися обмежень
• видавати канонічні помилки, якщо щось не підтримується
• ігнорувати неканонічну глосу для семантики

ПІДСУМКОВЕ ПРАВИЛО

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