AIGL |
Version 0.2.0 2006.05.11 |
The Artificial Intelligence God Language | Russian |
Главная | Содержание | Новости | История версий | Контакты |
Устная речь и текст на языке AIGL рассматривается как последовательность лексем - смысловых единиц языка и необязательных разделителей. Разделителями являются символы, не входящие в состав языка AIGL. Текст располагается слева направо сверху вниз. Каждая лексема в языке AIGL всегда имеет только одно строго определенное лексическое значение. Лексемы - абстрактные имена объектов и явлений, никак не связанные со свойствами сущностей, обозначаемых ими. Лексемы не привязаны к какому – либо другому языку. Лексические значения лексем описаны в словаре.
Язык AIGL имеет контекстно - свободную грамматику в иерархии грамматических формальных систем Хомского: каждое правило обеспечивает подстановку вместо нетерминального символа правой части правила в любом контексте.
В AIGL имеется несколько частей речи. Первая часть речи - предикат, объединяет глаголы, прилагательные и имена нарицательные. Сюда входят корневые слова языка AIGL.
В AIGL используется обратная ссылочность сообщений на более ранние предикатные отношения внутри одного сообщения.
Формула | Комментарии |
<буква> := <гласная буква> | <согласная буква> | - |
<нечетный слог> := <согласная буква> <гласная буква> <согласная буква> | - |
<корневое слово> := <нечетный слог> <нечетный слог> | - |
<имя переменной> := <корневое слово='palvas'> <содержание переменной> <четный слог='za'> | Это переменная, определенная внутри текущего сообщения. Если в содержании переменной встречается последовательность "za", то каждая из таких последовательностей д.б. сдублирована. |
<гласная буква 1> := (<буква='a' /*ПИ источника сообщения*/> | <буква='e' /*ПИ приемника сообщения*/> | <буква='i' /*ПИ вышеописанного в текущем тексте*/> | <буква='o' /*ПИ нижеописанного в текущем тексте*/> | <буква='u' /*ПИ косвеннное (того, о кот. говорится в вышеописанном тексте*/>) | Пространство имен (ПИ) |
<гласная буква 2> := (<буква='a' /*частичное сходство в свойствах (похож на..). Это экземпляр указанного класса*/> | <буква='e' /*полное сходство в свойствах, но не тождественность (точно такой же, экземпляр указанного класса, один из..)*/> | <буква='i' /*тождественность(это он и есть). Если у класса есть экземпляры, то это- множество их*/> | <буква='o' /*полное несходство(вообще не похож, т.е. подразумевается какой-то другой неизвестный экземпляр общего класса)*/> | <буква='u' /*отрицание тождественности(полное отсутствие , ничто, пустота)*/>) | Сходство |
<согласная буква 1> := <буква='b' /*для параметра N 1*/> | <буква='c' /*для параметра N 2*/> | <буква='d' /*для параметра N 3*/> | <буква='f' /*для параметра N 4*/> | <буква='g' /*для параметра N 5*/> | Для непоследнего параметра в предикатном отношении |
<coгласная буква 2> := (<буква='h' /*для параметра N 1*/> | <буква='j' /*для параметра N 2*/> | <буква='k' /*для параметра N 3*/> | <буква='l' /*для параметра N 4*/> | <буква='m' /*для параметра N 5*/> | Для последнего параметра в предикатном отношении |
<coгласная буква 3> := (<буква='n' /*Предикатное слово, за кот. следуют параметры*/> | <буква='p' /*Предикатное слово, за кот. не следуют параметры*/> | Признак предикатного слова для описательного предиката |
<coгласная буква 4> := (<буква='q' /*Предикатное слово, за кот. следуют параметры*/> | <буква='r' /*Предикатное слово, за кот. не следуют параметры*/> | Признак предикатного слова для побудительного предиката |
<окончание параметра> := <гласная буква 1>(<согласная буква 1> | <согласная буква 2>) <гласная буква 2> | - |
<параметр> := (<корневое слово> | <имя переменной>) <окончание параметра> | - |
<окончание предикатного слова> := <гласная буква 1>(<согласная буква 3> | <согласная буква 4>) <гласная буква 2> | - |
<предикатное слово> := <корневое слово> <окончание предикатного слова> | - |
<предикатное отношение> := <предикатное слово>{<параметр>} | Однотипные параметры предикатного отношения - множество. |
Copyright© 2006-2007 Victor Gennadievich Kazarinov. All Rights Reserved. |