формулирующих правила и ограничения предложений, подлежащих изменению
или выборке, и входного сообщения, включающего командное предложение и
дополнительные предложения, если это необходимо.
Управляющие предложения находятся в концептуальной схеме, хотя
предложения в информационной базе также могут играть управляющую роль.
Выбираемые или изменяемые предложения находятся в информационной базе.
Но эти предложения могут быть и в концептуальной схеме в тех случаях, когда
сама концептуальная схема подлежит изменению или выборке. В последнем
случае некоторые из управляющих предложений могут быть также найдены и в
информационной базе.
Предложение, выражающее высказывание как таковое, имеет значение
истинности. Значением истинности является:
- "истина", если оно явно объявлено истинным посредством сообщения,
принятогоотсредысогласноправилам,известныминформационному
процессору. Оно также считается истинным, если предложение выводимо из
таких явно сформулированных предложений в соответствии с правилами
вывода, известными информационному процессору;
- "ложь", если его отрицание может быть подобным образом выведено из явно
сформулированных предложений.
Значение истинности всех других предложений считается неопределенным.
Информационный процессор имеет двоякую задачу: принятие решения о
допустимости изменения совокупности предложений и выведение "новых"
предложений или генерация выходных сообщений.
3.3 Заполнение концептуальной схемы. Минимальная концептуальная схема
Первоначально информационному процессору известны только правила,
встроенные в него. Информационный процессор обеспечивается механизмом
интерпретации, который делает возможным распознавание и интерпретирование
некоторого минимального языка. Этот язык позволяет среде:
- расширить язык для включения конструкций, подходящих для описания
проблемной области;
- указывать команды;
- указывать полномочия;
-устанавливатьновыеправилаповеденияилогическоговывода,
относящиеся к концептуальной схеме и информационной базе;
- осуществлять описания действий для допустимых действий.
Далее информационный процессор будет снабжен набором алгоритмов,
позволяющих ему выводить новые предложения из уже имеющихся.
Этивстроенныеправилаповедениясоставляютминимальную
концептуальную схему информационной системы.