В семи томах том Информатика смысла Машинная лингвистика




НазваниеВ семи томах том Информатика смысла Машинная лингвистика
страница16/33
Дата29.11.2012
Размер4.61 Mb.
ТипДокументы
1   ...   12   13   14   15   16   17   18   19   ...   33

4.1. Формальное определение ЯПП


ЯПП определяет (в конечном счете) логическое выражение. При спецификации знаний нами принято использовать язык Лейбниц в той части, которая относится к логическим выражениям. Логические выражения - это средства для представления знаний, запросов и форм представления элементов БЗ. Выражения играют и вспомогательную роль при формировании элементов БЗ, например, подпрограмм.


Назначение. Данные ниже правила порождения элементов языка общения с Интеллсист не составляют точного формального определения, а служат пояснительным материалом понимания ЯПП. Здесь определены записи на ЯПП, комментарии и прагмы. Комментарии необходимы либо для определения понятий, представленных терминами, либо для пояснения некоторых выражений. Прагмы необходимы для передачи системе некоторых указаний для более эффективного выполнения ее действий.


Синтаксис

язык профессиональной прозы: абзац , конец абзаца ;

язык профессиональной прозы , абзац , конец абзаца.

абзац: запись на языке Лейбниц.

конец абзаца : пустая строчка.

запись на языке Лейбниц: запись утверждения ;

запись на языке Лейбниц , запись утверждения.

запись утверждения: утверждение , конец утверждения ; комментарий.

утверждение: последовательность обозначений понятий.

конец утверждения: символ точки ; символ точки с запятой.

обозначение понятия: термин ; литерал.

комментарий: символ тире , символ тире , последовательность символов ;

комментарий последовательность символов конец комментария.

термин: элемент термина ; термин , возможный пробел , элемент термина.

элемент термина: слово ЯПП ; знак ; литерал.

определяемый термин: элемент определяемого термина ; определяемый термин , возможный пробел , элемент определяемого термина.

элемент определяемого термина: слово ; знак ; литерал.

новый термин: ~ определяемый термин ~ возможный комментарий.

знак: не буквы и не цифры.

слово ЯПП: буква ;слово , буква ; слово , цифра.

слово: база слова ; база слова , символ подчеркивания , конец слова.

база слова: слово ЯПП.

конец слова: слово ЯПП , цифра ; конец слова , слово ЯПП ; конец слова , цифра.

пустая строчка: пробелы.


Ограничение синтаксиса. ЯПП строится на основе СеГ. Это значит, что текст знаний и запросов должен состоять из последовательностей терминов, если знаки пунктуации также именовать терминами, и отдельно от выражений из прагм и комментариев. Термины состоят из слов ЕЯ с возможным расширением алфавита слов цифрами и знаков клавиатуры (не буквы и не цифры). В определении термина (он заключается в знаки ~) слова состоят из двух частей: базы и конца, разделенных знаком подчеркивания. При формировании терминов используются только те графические знаки, которые представлены на клавиатуре, но не символы псевдографики, которые могут быть представлены в лексемах. Символ конца абзаца - это пустая строчка (из пустых символов и символа перехода на новую строчку).


База слова служит для идентификации термина или его части, а исходный конец слова предусматривается для вывода термина на экран при общении с пользователем и при отсутствии системы генерации текстов на ЕЯ по правилам СиГ. Каждое понятие имеет или может иметь значение (через запись факта или в результате логического вывода), полный набор значений или константное значение, они задаются в определении понятия.


Комментарии начинаются в любом месте строчки двумя минусами (дефисами) и продолжаются записью последовательности любых символов до конца строчки. Комментарий может продолжаться на следующей строчке с предшествующими двумя символами минусов (!).


Семантика

Формальная часть ЯПП - это либо запись из последовательности терминов, определенных для пользователя данной профессии, либо запись утверждений, определенных в ФЯ Лейбниц для системных программистов. Утверждение заканчивается точкой с запятой или точкой. Считается, что абзац содержит законченную мысль, формально представимую логическими выражениями языка Лейбниц (фразой). Абзац может состоять из одного предложения (утверждений) или из нескольких предложений, представляющих запись фактов, утверждения о фактах или правила построения утверждений о фактах. Смысл текстов (фраз и абзацев) на ЯПП вычисляется по правилам СеГ.


Каждое утверждение состоит из терминов лексикона или некоторых избыточных понятий. Кроме словных терминов утверждение может содержать данные, записанные в форме лексем языка Лейбниц. Некоторые данные могут изображаться словными терминами. Термины бывают стандартными (общеупотребительными), базовыми из БЗ или пользовательскими, которые вводит сам пользователь. Определяемый термин записывается строчкой в символах ~, он вносится в лексикон. Стандартные термины указаны в Приложении, их определения и характеристики содержатся в стандартном файле, который вызывается в процесс подготовки Интеллсист к работе. Литералы предназначены для представления имен и значений, на которые ссылаются имена.


Среди утверждений могут находиться, как было сказано, комментарии, представляющие избыточные записи для Интеллсист и поставляющие дополнительную информацию для пользователя или читателя знаний или запросов. Интеллсист сохраняет в лексиконе только те комментарии, которые помещены непосредственно за записью определяемого термина. Интеллсист полностью игнорирует символы остальных комментарий. Комментарий может помещаться в любой строчке текста. Комментарий предназначен для того, чтобы сделать текст более понятным человеку, желающему ознакомиться со свойствами и смыслом текста знаний и запросов. Комментарий может начинаться словом комментарий, завершаться двумя словами конец комментария и содержать произвольное число строчек из символов.


Примеры записей на ЯПП:

Для того, чтобы решить квадратное уравнение вводится запрос

~решение квадратного уравнения~:

найти Х, такой, что Х*Х - 25*Х + 3.5 = 0.


Примеры комментариев

--Это комментарий, т.к. строчка начинается с двух дефисов,

---------------------- только два первых дефиса важны для комментария,

-- для передачи комментария в Лейбниц-текст.


комментарий другой вид комментария, который эквивалентен записи

-- другой вид комментария, который эквивалентен записи конец комментария


4.1.1. Прагмы.

Назначение. Прагмы содержат указания для Интеллсист некоторого уровня о выполнении заданных действий, не влияющих на результаты логического вывода Интеллсист по существу или на использование БЗ. Прагмы используются для организации технологии обработки знаний, их содержание никоим образом не влияет на знания, они не изменяет их по существу, прагмы влияют на способы и формы представления знаний и на некоторые особенности технической обработки знаний и запросов.


Синтаксис.

прагма: прагма , простое имя прагмы , возможный параметр.

параметр: ( список аргументов ).

аргумент: логическое выражение.


Ограничение синтаксиса. Прагма начинается с зарезервированного слова прагма, за которым следует имя прагмы и возможно параметр или параметры, которые задают управляющую информацию. Прагмы допустимы в отдельной строчке текста описания БЗ в требуемом контексте. Список прагм приведен в Приложении.


Семантика. Прагма воспринимается системой как руководство к выполнению указаний пользователя или системного программиста. Ее смысл и действие описаны вместе с прагмой. Параметры прагмы указаны позиционно (в порядке следования ее формальных параметров) или в форме сопоставления формальных и фактических параметров.


Пример

интерфейс(Вывод).

подавлять(ссылка на таблице, ссылка на массив, виртуальная скорость).

листинг(включить). листинг(выключить).


Мир смыслов пользователя

4.2. Лексемы


Для записи лексем используется набор символов клавиатуры:

  • прописные и строчные буквы русского и латинского алфавитов,

  • цифры,

  • специальные и дополнительные символы,

  • символ пробела,

  • кодовые символы, набираемые специальной комбинацией указанных символов.

Из таких символов создаются лексемы по правилам языка Лейбниц.


Назначение. Основу смысловой области знаний составляют значения, представленные лексемами и выражающие смысл понятий и выражений. На базе лексем строятся типы данных, определяющих предметную область знаний. Этим предметам посвящены настоящий и следующий разделы.


Лейбниц-текст состоит из текстов одного или нескольких абзацев. Текст описания структуры БЗ и запросов - это последовательности лексем, каждая из которых состоит из символов. Слова также являются лексемами. Некоторые лексемы выражают сами себя, другие - являются частями терминов. Ниже рассматриваются правила для построения лексем. Лексемами являются односимвольные или многосимвольные ограничители, числа, выделенные символы, строки (константы) и термины (в частности, зарезервированные слова). Конструкция терминов уже рассмотрена. Конструкции ограничителей рассматриваются по мере необходимости, например в выражениях. Ограничители являются также терминами и средством для разделения словных терминов, если они представлены знаками. Ограничители также указывают на те действия, которые реализуются над именами или значениями терминов. Ограничители обеспечивают целостное восприятие всего текста. В Приложении 1 даны списки всех терминальных символов языка в виде сводки их кодов, изображений и наименований. Некоторые ограничители могут быть представлены только специальными зарезервированными словами, поскольку на традиционных клавиатурах использовано ограниченное число символов. С другой стороны, словные обозначения ограничителей нагляднее и способствуют пониманию текстов.


Синтаксис.

лексема: простое имя ; литерал ; дата ; время , агрегат литералов ;

ссылочный литерал.

литерал : символьный литерал ; логический литерал ; числовой литерал ;

строковый литерал.


Ограничения синтаксиса. Простое имя назначает пользователь. Все другие литералы, которые встречаются в записях различных специальностей, должны быть представлены в соответствии с изложенным синтаксисом.


Семантика. Значение простого имени задается пользователем или определяется в процессе логического вывода или запуска программы, полученной в результате логического вывода. Значение других лексем определяется по самой их записи.


Примеры.

идет дождь -- простое имя или термин,

21 сентября 1895 года -- дата,

3 часа 28 минут 48 секунд -- время,

nil -- ссылочный,

(1, 2, 3, 4, 5) -- агрегат массива,

[Петров, 35, 1500, “м”] -- агрегат записи,

{25, 35, 45, 55} -- агрегат множества,

«а» -- символьный литерал,

истина -- логический литерал,

378.49 -- числовой литерал,

«слово» -- строковый литерал.


4.2.1. Символьные литералы.

Назначение. Символьный литерал - это один из графических символов (включая пробел), используемый при обработке текста или в качестве распознавателя элементов текста.


Синтаксис.

символьный литерал: « знак » ; код символа.

знак: пусто ; пустой символ ; графический знак.

пустой символ: «пробел».

код символа: #целое.

пусто: .


Ограничения синтаксиса. Пробел между кавычками задается пропуском одной позиции символа. Пробел в синтаксической форме не принимается во внимание. Символ кавычки может задаваться в кавычках указанием двух кавычек и восприниматься как один символ кавычки. Любой символ может задаваться кодом символа после знака #. Код в кавычках уже не является символьным литералом.


Семантика. Графический символ запоминается своим внутренним кодом в соответствии с Приложением 1. Он представляет значение символьных величин. Смысл символьного литерала определяется его написанием.


Примеры. «а» -- символ буквы а,

«» -- пустой символ,

««»» --символ кавычки, левая и правая кавычки,

-- не различаются своими кодами,

#123 -- код символа.


4.2.2. Логические литералы.

Назначение. Значения истинности в классической или основной двузначной логике определяются внешне зарезервированными словами и терминами-синонимами (в общем случае терминами) пользователя. Термины истинности используются при формировании перечислимых, они определяют значения в многозначных логиках.


Синтаксис

логический литерал: ложь ; истина.

пользовательское логическое значение: термин.


Ограничение синтаксиса. Ложь соответствует отрицанию факта или отсутствию решения логического уравнения, истина соответствует утверждению факта или наличию всех возможных решений логического уравнения. Каждое пользовательское логическое значение определяется самим пользователем при описании синонима логического значения.


Семантика. Логический литерал представляет значение логических величин и изображает логические константы нуля и единицы. Смыслы лжи и истины ясны по своей сути. Пользовательские логические значения обычно (но не обязательно) представляются модальными словами или последовательностью слов с включением модальных слов. Последние используются при описании типа перечислимых. Смысл таких терминов интерпретируется самим пользователем.


Примеры.

ложь, истина -- константные лексемы логических величин,

нет, да, возможно, вероятно -- пользовательские логические значения.


4.2.3. Числовые литералы.

Назначение. Числа (числовые литералы) используются часто для обозначения значений (в фактах, утверждениях о фактах или правилах) величин числового типа.


Синтаксис

числовой литерал: число.

число: целое ; десятичное число ; десятичное число с порядком ;

число с основанием ; кардинал.

целое: цифра ; целое , цифра.

десятичное число: целое , символ точки , целое.

десятичное число с порядком: целое , разделитель порядка , порядок ;

десятичное число , разделитель порядка , порядок.

разделитель порядка: e ; E.

порядок: целое ; символ плюс , целое ; символ минус , целое.

число с основанием: основание # целое # ; основание # десятичное число #.

основание: 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9 ; 16-цифра.

цифра: 0 ; 1 ; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9.

16-цифра: цифра ; A ; B ; C ; D ; E ; F.

кардинал: омега целое ; алеф целое.

1   ...   12   13   14   15   16   17   18   19   ...   33

Похожие:

В семи томах том Информатика смысла Машинная лингвистика iconСобрание сочинений в семи томах 3 «Собрание сочинений в семи томах»: Время; 2008
Собрание сочинений М. М. Зощенко — самое полное издание прозы одного из крупнейших писателей-новаторов XX века. В него входят практически...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Излагаемые методы частично модифицированы по сравнению с их оригинальным изложением для их ориентирования и усиления при использовании...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Определяются логические лексемы, фундаментальные операции, правила преобразования логических уравнений, а также металогика для обоснования...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Словарь поможет пользователям Интеллсист и разработчикам машинных систем разнообразного назначения в написании отчетов, руководств...
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Основы информатики (Введение в информатику)
Вм на основе своих общих и профессиональных знаний без привлечения программистов для решения задач, для разрешения вопросов или проблем...
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Представление знаний (Структуры данных)
Приводимые примеры служат фрагментами прототипов записей знаний и запросов, предназначенных для создателей заданий и запросов к базе...
В семи томах том Информатика смысла Машинная лингвистика iconРавительство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том V уфа гилем 2010
Российская академия наук Уфимский научный центр ■ Институт истории, языка и литературы
В семи томах том Информатика смысла Машинная лингвистика iconЬство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том VI москва восточная литература 2011
Российская академия наук Уфимский научный центр Институт истории, языка и литературы
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Интеллектуальные системы (Системы решения проблем)
Интеллсист, их структуры и технологии работы с инструментарием составляют центральную часть тома. Оценка возможностей Интеллсист...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика и вычислительная техника” и специальностей 220100 “Вычислительные машины, комплексы, системы и сети” и 021800 “Теоретическая и прикладная лингвистика” Ульяновск 2003
Методические указания к выполнению лабораторных работ по программированию для студентов направления 552800 “Информатика и вычислительная...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница