2. Обеспечение вывода. Сз, не имеющая полной информации о

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

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

3. Критичность к новой информации. Это способность проверить достоверность новой информации и согласовать ее с уже имеющимися знаниями.

Данному вопросу в проблематике ИИ уделяется много внимания.

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

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

5. Обучаемость и способность к переструктурированию знаний.

Совместно с механизмами критичности обучение должно противодействовать накоплению в СЗ ошибок и противоречий. Естественно, что обучаемость, а точнее самообучаемость, имеет первостепенную важность. В ходе функционирования СЗ должна обеспечиваться такая перестройка структуры знаний, в результате которой улучшаются или поддерживаются на определенном уровне такие эксплуатацион-

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

Таковы основные требования к СЗ. Отметим, что хотя каждое из них более или менее подробно изучалось в ИИ, не создано СЗ, удовлетворяющей всем этим требованиям одновременно. В то же время это представляется необходимым, поскольку требуемые свойства взаимно дополняют друг друга и вместе обеспечивают такие характеристики СЗ, как надежность, гибкость и компактность (рис. 12.3).

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

Рис 123 Взаимосвязь между свойствами и эксплуатационными характеристиками системы знаний об - обеспечивает, ум - уменьшает, сод - содержит, комп - компенсирует

Важнейшими из таких требований являются следующие:

представление должно обеспечивать возможность построения активных СЗ, т.е. таких СЗ, в которых структура собственно представления и структура решателя совмещены;

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

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