посредством сообщений.
сообщение: Совокупность, состоящая из одного или более предложений,
возможнокомандныхпредложений,ииспользующаясякакэлемент
информационного обмена между средой и информационной системой.
Сообщенияобрабатываютсяинформационнымпроцессором
информационной системы.
информационный процессор: Процессор, который в ответ на команду
выполняет действие над концептуальной схемой и/или информационной базой.
Информационныйпроцессорраспознает,относятсялисообщения,
полученные из среды, к данному языку. Сообщения, не относящиеся к данному
языку, отбрасываются. Правильные сообщения могут выражать изменение в
проблемной области или требовать извлечения одного или нескольких
предложений, имеющихся в концептуальной схеме или информационной базе
или выводимых из присутствующих в них предложений.
Сообщение, выражающее изменение в проблемной области, должно
содержать командное предложение или сопровождаться им. Это предложение
ссылается на описание действий для того, чтобы допустимое действие
произвелосоответствующееизменениевконцептуальнойсхемеи
информационной базе. Информационный процессор интерпретирует команду и
изменяет информационную базу или концептуальную схему в соответствии с
ограничениями и правилами поведения. Эти правила не только определяют,
будетлинепротиворечивой полученная совокупностьпредложенийв
концептуальной схеме и информационной базе, но также решают, можно ли
вообще изменять концептуальную схему и информационную базу в зависимости
от того, какие предложения в них уже имеются.
Информационный процессор игнорирует команду, если изменение не может
быть произведено в соответствии с ограничениями или правилами поведения. В
результате этого информационная база и концептуальная схема остаются без
изменения.
Еслисообщениевыражаеткомандудляизвлечениясовокупности
предложений, имеющихся в концептуальной схеме и информационной базе или
выводимых из них, информационный процессор интерпретирует команду. Он
выдает сообщение, содержащее соответствующую совокупность предложений
согласно ограничениям или правилам поведения, которые определяют, когда и
какая совокупность предложений, присутствующих в концептуальной схеме и
информационной базе, должна быть результатом команды. Эти правила должны
включать правила логическоговывода, еслиприменяются выводимые
предложения.
Информационный процессор игнорирует команду, если при выборке
необходимых предложений нарушаются ограничения или правила поведения.
Когда выдается команда, среде необходимо знать, принята ли команда или
отвергнута. Поэтому информационный процессор должен выдавать среде
сообщения по этому поводу.
Результат допустимого действия - это функция "управляющих" предложений,