Система для приложений, не предъявляющих высоких требований к памяти и быстродействию
ПЛАНЫ
- Арифметика: преобразование неравенств и др.
- Геометрия: аксонометрия и др.
- Производные, интегралы, соотношения с ними.
- Символьные вычисления,
- Модели
И др.
- ПРЕДЛОЖЕНИЯ
Естественный язык и нейросети эффективны и выразителны благодаря расплывчатости. Но для надёжных длинных рассуждений нужна математическая точность. Это нужно, в частности, для создания и понимания нового, а не только . выработки статистического, распознавания. Попытаемся построить точный язык W (только письменный, без претензий на краткость и художественность) так, чтобы на нём можно было передавать основное содержание фраз русского языка и строя словари W из выбранных русских слов, надеясь приблизиться к универсальности и простоте восприятия. Хорошо бы создать автоматический перевод с русского на W. Далее все лингвистические понятия будут относиться к языку W.
Текст, частично отражающий действительное или воображаемое, представлет последовательность предложений. Каждое из них пишется с новой строки. Считаем, что рассматриваему тексту соответствует одна модель (понятие модели приведено ранее). Предложение строится из вызделителей и их значений. Выделителю соответствует вопрос, на который отвечает его значение. Значения строятся из слов и словосочетаний, входящих в словарь. Для краткости словарные словосочетания булем тоже называть словами. В предложениях слова обозначают значения переменных. Различные вхождения словарных слов в текст и в предложгние обозначают значения различных переменных, если они не связаны ссылками (тогда они обознаают значение одной и той же переменной).
Предложение может быть повествовательным, повелительным, вопросительным или вычислительным.
Повествовательное предложение представляет последовательность его членов, характеризующих одно действие или однородные действия, возможно, с отсылками от этих членов и, возможно, начинающихся с предлогов или наречий (для краткости будем их тоже называть предлогами) из словаря предлогов. Перед каждым членом ставится соответствующий выделитель. Первым рекомендуется записывать подлежащее с выделителем "-ч ", оно отвечает на вопрос "кто" или "что", втором - сказуемое, выделитель "-д ", отвечает на вопрос "что делает".
Слова с одинаковым корнем, но разнными приставками (например, клеить, наклеить, заклеить, петь, спеть, запеть) записываются в словарь независимо. Различные суффиксы и окончания не употребляются.
Слова или группы слов в преложении однородны, если после исключения любого из них с их союзом получаются предложения одинаковой структуры. Между однородными пишется союз из словаря союзов.
Затем идут второстепенные члены :
- выделитель "-пм " (предмет действия), вопросы "что" (даёт что) или "кому" (даёт Коле) или "у кого" (берёт у Пети) "о ком" или "о чём" (пишет о Коле) или "во что" (играет в шашки) или "что делать" (начать петь); значение "себя" отсылает к подлежащему и заменяет возвратность глагола;
- "-м " (место действия), "где", "куда", "откуда",
- "-в" (время действия),"когда"; значение "было" задаёт прошедшее время, "будет" - будущее, времена глаголов не употребляются;
- "-пч " (причина или цель лействия), "почему". "зачем", "чтобы делать что", "чтобы было что" и др.
Группы слов могут заключаться в скобки "(...).
Предложение может содержать более одного члена одного и того же типа.
Причастие может передаваться дополнительным однородным сказуемым или дополнительным предложением со ссылкой:
"Ожидающий пассажир читает."
-ч пассажир-д ожидать и читать
"Ожиданемый поезд задерживается."
-д ожидать-пм поездод
-ч он -д задержиать-пм себя ("он" - ссылка на "поезд"):
Деепричастие может передаваться двумя предложениями: одним с временем одн "действ", где "действ" - ссылка на сказуемое второго:
"Пассажир читает, ожидая поезд."
-ч пассажир-д ожидать-пм поезд
-ч он-д читать-в действ
Аналогичные приёмы могут применяться и в других случаях,, например:
"Я был рад встретиться с ним"
-ч я-д встретить-пм себя-пм с он-в было
-ч я-д радовать-пм себя-пм действ
Отсылки к переменным модели, если они присутствуют, пишутся после описываемого члена друг за другом (если их несколько) и обозначаются "//тип значение ", гле "//тип" - выделитель, которому соответствует тип переменной модели. Значение может начинаться с вопросительного слова или/и предлога, затем идёт имя переменной моделии и, если нужно, её значение или его ограничение чрез знак арифметического отношения =,<,> и др. В записи имени переменной можно не повторять отсылающие слова и группы слов, например:
вместо " -д плыть-м от берег левый//д от берег левый "
можно " -д плыть-м от берег левый//д "
Значение отсылки может создавать переменную или, если оно - ссылка, отсылать к существующей переменной.
Типы отсылок:
- "д", "ц", "и", "c", "н", "{д}", "{и}", "{ц}", "{c}", "{н}" .
Для д или ц возможны вопросы " сколько их" (задаёт множественное число), "какой насколько"(так задаётся прилагательное), "который"(порядковое числительноне);
Отсылка может содержать свою отсылку "///сравнС ". Её значение - другое возможное, но не реали зованное, знаачение отсылающего члена предложения, которое может иметь свои отсылки, которые можно опустить, если они повторяют отсылки отсылающей отсылки.
Примеры:
"Под ним струя светлей лазури"
-ч струя//д светлый///сравнС лазурь-д находится-м под он
"люди стоят в очереди"
-ч человек//ц их-д стоять-м в очередь
"Петя читает библиотечную книгу"
-ч Петя -д читать -пм книга//с из библиотека
"Коя читал как чтец Петя"
-ч Коля -д читать//с как чтец=Петя-в было
Сказуемое должно присутствовать в предложении обязательно. Вопросы могут изменяться в зависимости от модификации обозначаемых ими членов, например, "что делает" - в зависиости от времени глагола и др. Точный смысл членов предложения определяется правилами вывода, связанными со словарём (см. далее).
Любой член предложения может быть простым, представленным словом или группой слов, или распространённым, представленным подчинённым предложением в скобках "(/.../)", в котором тогда можно опускать сказуемое, если это делается в естественном языке.
Допускается использование однородных предложений и подчинённых предложений с союзами между ними.
Примеры
"Из-за жары Петя и Коля свернули направо с дороги и спустились к реке, чтобы искупаться."
-ч Петя и Коля(-д свернуть-м направо -м от дорога) и (-д спустить-пм себя) -м к река-пч чтообы (искупать-пм себя)-пч из-за жара
Типы предложений.
- Вычислительные предложения были описаны. Повествовательные в скобках "(/.../)" могут входить в них как истинностные функции со значением "True". .
- Вопросительное предложение - это повествовательное с неизвестным значением (обозначается знаком "?" в закрывающей скобке: "/?)") (тогда предложение заключается в скобки "(/ /?)" или с выделенным членом с неизвестным значением ("/?)" в закрывающей скобке этого члена, тогда обязательно заключаемого в скобки).
- Повелительное предложение записывается как повествовательное со сказуемым в будушем времени и закрываюшей скобкой "/!)".
Примеры.
- "Если найдётся лодка, то мы переправимся."
(-ч лодка-д найти-пм себя)→(-ч я//ц -д переправить-пм себя-в будет)
"Меня никто не встретил"
-ч он-{ц} их=0-д встретить-пм-я-в было
"Он охотнно бы занял его место"
(возможность А)→(-ч он -д занять-пм место//чей он-//д охотность>0)
Примеры правил вывода. Знак вывода "|=>''
Выделяем пересекающиеся классы слов и формиулируем ситуацию применения ддля каждого правила над совместимыми наборами представителей классов, соответствующих ей.
Пусть Си - субъект, совершающий действие Ди, использувющее предмет Пи.
-ч Коля-д работать-пм на планшет
|=> -ч планшет-д использовать-пм себя-пм Коля
Добавим к предыдущей ситуации : Сп - субъект, которому принадлежит Пи.
-ч планшет-д принадлежать-пм Петя
|=> -ч Коля-д взять-пм планшет-пм у Петя
ч-Петя-д передать-пм планшет-пм Коля
Пусть П1, П2, П3 - предметы, имеющие место Пл - положение, Дип - действие, изменяющее положение П2
-ч лодка-д плыть-м от берег левый//д -м к берег правый//д
|=> -ч лодка(-м от берег левый//д)>(-м от берег левый//д-в было)
Несовместимые представители: ч- лодка-д идти
И т.д.
-